Python 3.6.4中-1j与0-1j转换为字符串为何存在差异？

这个问题我之前调试的时候碰到过，其实本质是Python 3对复数的字符串表示做了针对性优化，核心和**浮点数的负零（negative zero）**处理有关，咱们一步步说：

先确认现象 #

先在Python 3.6.4里跑一下验证代码：

>>> str(-1j)
'-1j'
>>> str(0-1j)
'(-0-1j)'
>>> repr(-1j)
'-1j'
>>> repr(0-1j)
'(-0-1j)'

而在Python 2.7.14里，两者的str()和repr()结果都是'-1j'，确实存在明显差异。

核心原因：负零的显示区分 #

Python 3开始，复数的字符串表示逻辑会准确反映浮点数的符号位信息，而Python 2完全忽略了负零的存在：

• -1j 本质是 complex(0.0, -1.0)：实部是正零，虚部是-1.0，符合简化表示的条件，所以直接输出'-1j'。
• 0-1j 本质是 complex(-0.0, -1.0)：实部是负零（虽然数值上和正零相等，但浮点数底层符号位为负），这时候Python 3会明确显示负零，并且因为实部非"常规零"，会用括号包裹整个复数，输出'(-0-1j)'。

底层机制差异 #

Python 2的处理逻辑 #

Python 2的复数字符串转换函数会直接把负零当成普通零处理，不管实部/虚部的符号位，只要数值为零就简化省略，所以0-1j和-1j的输出完全一致。

Python 3的处理逻辑 #

Python 3重构了复数的__str__和__repr__实现：

1. 当复数的实部是零但符号为负（负零），或者虚部是零但符号为负时，不会省略这个零，而是明确显示负号。
2. 当实部不为零（包括负零）时，会用括号包裹整个复数，避免歧义。

另外要注意，虽然字符串表示不同，但两个复数的数值是完全相等的：

>>> -1j == 0-1j
True

毕竟负零和正零在数值上是等价的，只是浮点数底层存储的符号位不同而已。

内容的提问来源于stack exchange，提问作者Stefan Pochmann