Go cmplx.Abs 怎样计算复数的模长

在 Go 里，如果手上有一个 complex128，想得到它到原点的距离，直接调用 math/cmplx.Abs 即可。它的函数签名是 func Abs(x complex128) float64：输入是复数，返回的是非负的 float64 模长，而不是另一个复数。

官方地址：https://pkg.go.dev/math/cmplx#Abs

我第一次在信号幅度的中间层里遇到这个函数时，最容易混淆的不是调用方式，而是返回值的语义：3+4i 经过 cmplx.Abs 后是 5，后续可以直接拿它做阈值判断、排序或格式化输出。下面只围绕模长这件事展开，不把相位、极坐标和字符串解析混进来。

复数的模长到底表示什么

把复数写成 z=a+bi，其中 a 是实部，b 是虚部。它的模长记作 |z|，几何意义是复平面上的点 (a,b) 到原点的距离，结果是一个不小于零的实数。

因此，下面几组值的模长分别是：

这也解释了为什么负实部或负虚部不会让模长变成负数。符号会影响点在复平面中的位置，但距离本身仍然是非负值。

用 cmplx.Abs 计算 complex128 的模长

最小调用只需要导入 math/cmplx。官方文档把 Abs 定义为复数的 absolute value，也就是 modulus。

package main

import (
	"fmt"
	"math/cmplx"
)

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

	// Abs 的输入是 complex128，返回值是表示模长的 float64。
	modulus := cmplx.Abs(z)

	// 保留一位小数只影响展示，不改变 modulus 的数值类型。
	fmt.Printf("z=%v, |z|=%.1f\n", z, modulus)
}

这个示例的关键不是把 3+4i 算成某个固定答案，而是确认类型流向：z 是复数，modulus 是 float64。如果模长要进入阈值判断，可以直接比较：

package main

import (
	"fmt"
	"math/cmplx"
)

func withinLimit(z complex128, limit float64) bool {
	// 先取得模长，再与业务阈值比较，阈值保持为 float64。
	return cmplx.Abs(z) 

如果你的业务只需要判断“距离是否超过上限”，这种写法比先拆分实部、虚部再手写平方和更直接，也能把意图写在函数名和比较式里。

输入来自实部和虚部时怎么组织

很多数据不是一开始就以复数形式存在，而是分别保存为两个浮点字段。这时可以先用内置 complex 构造复数，再交给 cmplx.Abs。实部和虚部应使用相同大小的浮点类型；使用 float64 时得到的是 complex128。

package main

import (
	"fmt"
	"math/cmplx"
)

type Sample struct {
	Real float64
	Imag float64
}

func modulusOf(s Sample) float64 {
	// 用同为 float64 的两个分量构造 complex128，再统一计算模长。
	z := complex(s.Real, s.Imag)
	return cmplx.Abs(z)
}

func main() {
	s := Sample{Real: -3, Imag: 4}
	fmt.Printf("%.1f\n", modulusOf(s))
}

把构造和测量分成两行有一个实际好处：以后排查异常时，可以单独观察 Real、Imag 和构造出的复数，不会被一条长表达式遮住。

complex64 变量为什么要显式转换

标准库函数的签名固定为 cmplx.Abs(x complex128) float64。而 complex64 的实部和虚部是 float32，它与 complex128 是不同的命名类型，所以建议把转换写在靠近调用的位置。

package main

import (
	"fmt"
	"math/cmplx"
)

func modulusOf64(z complex64) float64 {
	// 显式转换标出从 float32 分量精度到 float64 计算边界。
	return cmplx.Abs(complex128(z))
}

func main() {
	z := complex(float32(3.0), float32(4.0))
	fmt.Printf("%.1f\n", modulusOf64(z))
}

这里的转换不是把原始 complex64 重新测量成另一个精度来源，而是把现有值转换为 complex128 以满足 API 参数类型。转换后继续使用 cmplx.Abs，最终仍然得到 float64。

如果数据从一开始就需要更高的浮点精度，可以直接用 float64 分量构造 complex128；不要为了省略一次转换，把精度选择藏在接口调用里。

用边界值确认自己选对了函数

我通常会先看四类输入：零复数、纯实数、纯虚数和同时含有实虚部的普通复数。它们能快速暴露“把模长当成实部”或“误以为返回复数”的问题。

package main

import (
	"fmt"
	"math/cmplx"
)

func main() {
	values := []complex128{
		0,
		-5,
		2i,
		3 + 4i,
	}

	for _, z := range values {
		// 每个结果都是 float64，模长只表达距离，不表达方向。
		fmt.Printf("%v -> %.1f\n", z, cmplx.Abs(z))
	}
}

几个容易混淆的边界可以这样记：

• cmplx.Abs(z) 得到模长；需要实部和虚部时，使用 real(z) 与 imag(z)。
• 需要角度或方向时，Abs 不是目标函数；不要把模长当成相位。
• 模长为零只说明复数位于原点，不代表输入变量没有被赋值。
• 展示精度由 fmt.Printf 的格式控制，不能把格式化后的字符串再当成精确数值继续计算。

写在最后

计算 Go 复数模长时，最小而清楚的做法就是把 complex128 交给 cmplx.Abs，接收它返回的 float64。输入来自两个分量时先构造复数；输入是 complex64 时显式转换；业务需要方向或角度时，再选择对应的其它函数。这样每一层的数学含义和 Go 类型都能对得上。

相关问题

cmplx.Abs 的返回值为什么不是 complex128？

因为模长是复平面上的距离，本身是实数，所以 API 返回 float64。只有仍然表示复数的运算才会继续返回复数类型。

complex64 可以直接传给 cmplx.Abs 吗？

建议显式写成 cmplx.Abs(complex128(z))，让类型边界清楚可见，也方便读者判断精度转换发生在哪里。

只想比较大小时需要先手写平方根公式吗？

不需要。直接调用 cmplx.Abs 表达“取得模长”的意图即可；只有在有明确的性能或数据布局约束时，才另行设计专用计算路径。