std::abs(z) 安全计算复数模长，内部防溢出归一化；std::conj(z) 高效获取共轭，类型保持且零开销；二者均只需 <complex>，优于手写公式或手动构造。
std::complex::abs() 计算模长，别手写 sqrt(real()*real() + imag()*imag())
直接调用 std::abs() 或成员函数 std::complex::abs() 就行，它内部已做数值稳定处理（比如防溢出缩放），比手动平方相加再开方更安全。尤其当实部或虚部很大时，real()*real() 可能溢出 double 范围，而 std::abs() 会先归一化再计算。
示例：
立即学习“C++免费学习笔记（深入）”；
#include <complex>
#include <iostream>
int main() {
std::complex<double> z(3.0, 4.0);
std::cout << std::abs(z) << "\n"; // 输出 5
}
- 对
float、double、long double版本都适用，重载由参数类型自动选择 - 不要用
std::sqrt(z.real()*z.real() + z.imag()*z.imag())—— 看似等价，实则在边界值上行为不同 - 头文件只需
<complex>，无需额外数学头文件
std::complex::conj() 获取共轭，不是取负 imag()
用 std::conj(z) 或 z.conj()，它返回新对象，不修改原复数。虽然共轭确实是实部不变、虚部变号，但手动写 std::complex<double>(z.real(), -z.imag()) 不仅啰嗦，还容易漏掉模板类型推导（比如 float 版本误用 double 构造）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
示例：
立即学习“C++免费学习笔记（深入）”；
std::complex<float> z(2.5f, -1.0f); auto z_conj = std::conj(z); // 类型仍是 std::complex<float> // z_conj == (2.5f, 1.0f)
-
std::conj()是<complex>中的非成员函数，支持 ADL，推荐优先使用 - 成员函数
conj()返回std::complex<T>，不是引用，不可链式赋值 - 对
std::complex<int>这类非常规类型，std::conj()仍有效，但注意整数除法或溢出风险
模和共轭组合使用时注意临时对象生命周期
像 std::abs(std::conj(z)) 这种写法完全合法，因为 std::conj(z) 返回的是纯右值（临时对象），而 std::abs() 接受 const 引用参数，绑定无问题。但若你中间存了引用，比如 const auto& c = std::conj(z); std::abs(c);，在 C++17 前可能有悬垂引用风险（取决于编译器是否启用临时量延长）。
- 安全做法：直接连用，或明确用值接收：
auto c = std::conj(z); - 避免对
std::conj(z)取地址或存为const T&并跨作用域使用 - 性能上无额外开销 —— 移动构造或 RVO 通常让这一步零成本
自定义数值类型配合 std::complex 时，abs/conj 可能不工作
如果你用 std::complex<MyFloat>，而 MyFloat 没提供 std::abs(MyFloat) 和 MyFloat operator-(MyFloat)，那么 std::abs(z) 和 std::conj(z) 会编译失败。标准库依赖 ADL 查找 abs 和一元负号运算符。
- 必须为
MyFloat定义namespace mylib { double abs(MyFloat x) { ... } }（或类似返回类型） - 确保
-x对MyFloat有定义，否则conj()内部无法取负虚部 - 没有隐式转换到内置浮点类型时，
std::abs()不会自动回退到模板版本
