math.copysign() 的核心行为是将第一个参数的绝对值与第二个参数的符号组合成新浮点数；返回 double 或 float 类型，数值为 |magnitude|，符号取自 sign，严格处理 ±0、nan 和无穷。
Math.copySign() 的核心行为是什么
Math.copySign() 不是“创建”新数值的构造函数，而是把一个数值的绝对值和另一个数值的符号位“拼接”起来——它只改符号，不改量级。结果的类型始终是 double（重载版本可返回 float），且对 NaN 和无穷有明确定义：符号取自第二个参数，数值部分取自第一个参数的绝对值。
为什么 Math.copySign(5, -1) 返回 -5.0 而不是 -5
因为 Math.copySign() 所有重载都返回浮点类型：double copySign(double magnitude, double sign) 和 float copySign(float magnitude, float sign)。即使传入整数常量（如 5、-1），它们也会被自动提升为 double，结果必然是 -5.0，不是 int。若需整数结果，必须显式强制转换，但要注意溢出风险：
int result = (int) Math.copySign(5, -1); // 得到 -5
- 强制转换会截断小数部分，对纯整数输入安全
- 若
magnitude是Double.NaN，结果仍是NaN，强转后为0（Java 中(int)NaN == 0） - 若
magnitude是Double.POSITIVE_INFINITY且sign为负，结果为-Infinity，强转会得到Integer.MIN_VALUE
处理零符号和负零的典型陷阱
Java 中 0.0 和 -0.0 是不同值，Math.copySign() 会严格保留符号位。这在科学计算或比较逻辑中容易出错：
-
Math.copySign(3.0, 0.0)→3.0 -
Math.copySign(3.0, -0.0)→-3.0 -
Math.copySign(-3.0, 0.0)→3.0（先取绝对值再贴符号） - 用
==比较0.0 == -0.0为true，但Double.equals(0.0, -0.0)也为true；真正区分要用Double.doubleToRawLongBits()
替代方案：自己写 int 版本时要注意什么
标准库没有 int copySign(int, int)，有人会手写：(sign >= 0) ? Math.abs(value) : -Math.abs(value)。但这有缺陷：
-
Math.abs(Integer.MIN_VALUE)仍返回Integer.MIN_VALUE（溢出），导致copySign(Integer.MIN_VALUE, -1)错误地得Integer.MIN_VALUE而非预期的-Integer.MIN_VALUE（即自身） - 正确做法是用位运算：
value >= 0 == sign >= 0 ? value : -value，但需先判断value == Integer.MIN_VALUE单独处理 - 更稳妥的是直接用
Math.copySign((double)value, sign)再转回int，毕竟double可精确表示所有int值
符号位操作看似简单，但零的正负、整数溢出、浮点精度边界，每个都可能在某个分支里悄悄翻车。
