python - Cython 正确性

Question

Cython 生成的代码是否总是与生成它的 Python 代码一样正确？

它可能会帮助其他读者解决 Cython 静态类型声明和其他 Cython 功能(如果有的话)的使用问题，尽管我只对通过将 Python 模块重命名为 *.pyx 来创建 Cython 文件的情况感兴趣。

我只关心 Cython 涵盖的 Python 子集。

Answer 1

一般来说，是的。当然还有bugs (虽然很多都围绕着扩展支持的 Python 子集，但实际上导致生成的 C 代码不正确的错误相对较少)，并且有一些必要的 caveats (尽管看起来该短列表中只有一项偏离了 Python 语义)。

当您在纯 Python 模式下添加静态类型时，在某些情况下，它是作为 Cython 编译还是作为 Python 代码运行会有所不同。我想到了无符号整数(例如:如上面一个链接中所述，如果 n 是无符号的并且 range(-n, n)<，则 -n 将环绕 因此是空的)，以及整数溢出(Python 将 ints (C longs) 提升为 longs (abritary-精度整数))。