Go cmplx.Conj 怎样计算复数的共轭值

在 Go 里，如果你拿到一个复数 z = a + bi，想把它的虚部符号翻转、实部保持不变，直接调用 math/cmplx.Conj 即可。它的结果是 a - bi：不会改变实部，也不会把复数转换成绝对值或极坐标。

cmplx.Conj 接收 complex128，返回对应的 complex128。计算规则只有一条：实部不变，虚部变号。

官方文档：https://pkg.go.dev/math/cmplx#Conj

先确认复数共轭改变了什么

复数可以写成 a + bi，其中 a 是实部，b 是虚部。它的共轭值写成 a - bi。因此，Conj 的计算可以概括为：

这个规则也说明了一个常见误区：共轭不是把整个复数取负，也不是只保留实部。比如 3+4i 的共轭值是 3-4i，而不是 -3-4i 或 3。

用 cmplx.Conj 计算 complex128

math/cmplx 提供的是复数数学函数。对共轭值而言，最小调用只需要构造一个 complex128 并传给 cmplx.Conj：

package main

import (
    "fmt"
    "math/cmplx"
)

func main() {
    z := complex(3.0, 4.0)

    // Conj 保留实部，只把虚部的符号翻转。
    conjugate := cmplx.Conj(z)

    fmt.Printf("原值=%v，共轭值=%v\n", z, conjugate)
}

这里的 complex(3.0, 4.0) 会得到 complex128，因此可以直接传入 Conj。如果变量本身已经是 complex128，也不需要额外转换。

用 real 和 imag 读取共轭后的分量

如果后续逻辑不需要继续保持复数，而是要分别写入两个字段、计算报表或做断言，可以用内建函数 real 和 imag 读取共轭结果：

package main

import (
    "fmt"
    "math/cmplx"
)

func describeConjugate(z complex128) (float64, float64) {
    // 先计算共轭，避免在多个地方重复手写虚部变号规则。
    conjugate := cmplx.Conj(z)

    // real 和 imag 分别读取结果的实部与虚部。
    return real(conjugate), imag(conjugate)
}

func main() {
    realPart, imagPart := describeConjugate(complex(2.5, -7.0))

    // 输出字段时，虚部已经是共轭后的值，不要再次手动取负。
    fmt.Printf("real=%.1f imag=%.1f\n", realPart, imagPart)
}

传入 2.5-7i 时，共轭结果是 2.5+7i，所以读取到的实部是 2.5，虚部是 7。若在调用 Conj 后又对 imag 手动取负，就会把结果翻回原来的虚部。

complex64 变量怎样接入 Conj

cmplx.Conj 的签名使用 complex128。而 complex64 常用于明确控制内存或与外部数据格式保持一致的场景，两者不能依靠隐式转换直接传参。边界处显式转换即可：

package main

import (
    "fmt"
    "math/cmplx"
)

func conjugate64(z complex64) complex64 {
    // 在 API 边界显式升为 complex128，调用标准库共轭函数。
    conjugate128 := cmplx.Conj(complex128(z))

    // 业务仍需要 complex64 时，在返回边界显式降回去。
    return complex64(conjugate128)
}

func main() {
    result := conjugate64(complex(float32(1.5), float32(-2.25)))

    // 这里的 result 保持 complex64，适合继续交给原有数据通道。
    fmt.Printf("%v\n", result)
}

显式转换有两个好处：一是读代码的人能看到精度边界，二是后续如果改成全程 complex128，只需要调整这个适配函数。降回 complex64 可能发生精度损失，因此不要把转换散落在多个业务分支里。

用乘积关系检查共轭是否调用正确

复数共轭常用于把一个复数与其共轭相乘。对于 z=a+bi，z*Conj(z) 的虚部应为零，实部等于模的平方。这个关系适合在单元测试里检查“调用的是共轭”而不是“整体取负”：

package main

import (
    "fmt"
    "math/cmplx"
)

func main() {
    z := complex(3.0, 4.0)
    conjugate := cmplx.Conj(z)
    product := z * conjugate

    // 共轭乘积的虚部应为零，实部对应模平方。
    fmt.Printf("product=%v abs2=%.1f\n", product, cmplx.Abs(z)*cmplx.Abs(z))
}

这只是数学关系检查，不是把 Conj 当成 cmplx.Abs。如果只需要模长，应调用 cmplx.Abs；如果需要角度或极坐标，则应使用对应的复数函数。本文只聚焦共轭值本身。

几个容易混淆的边界

常见问题

cmplx.Conj 会修改原来的复数吗？

不会。复数值按值传入，Conj 返回一个新的复数结果；原变量仍然保持原值。

为什么 Conj 的参数是 complex128？

这是该函数的 API 签名。complex64 数据需要在调用边界显式转换为 complex128，如果业务需要再显式转回 complex64。

共轭值是不是复数的绝对值？

不是。共轭值仍然是复数；绝对值是一个非负浮点数，应使用 cmplx.Abs。

记住“实部不变、虚部变号”就能准确使用 cmplx.Conj。在 Go 代码中，让 Conj 负责共轭计算，让 real、imag 负责分量读取，并把 complex64 与 complex128 的转换集中在边界处，代码会更清楚。