编译后的Python代码是否仍然属于动态类型语言范畴？

这个问题的答案需要根据你使用的编译/打包工具的实现逻辑，以及你是否额外修改了代码语法来判断：

• 针对cx_Freeze这类打包工具
  它的本质是将Python解释器、你的代码（会先编译成.pyc字节码）、三方依赖全部封装到一个可执行包中，全程没有修改Python代码本身的运行逻辑，所有语法特性和原生Python完全一致，100%保留动态类型的全部运行特性：包括type()动态类型判断、setattr()动态修改类/实例属性、exec()动态执行代码、变量随时绑定不同类型的值等操作都可以正常执行。
• 针对Cython工具
  要分两种使用场景判断：
  • 如果你只是把原生Python代码（没有加任何Cython专属的静态类型声明）直接用Cython编译成C扩展，编译后的代码依然完全基于Python的对象模型运行，所有动态类型特性都可以正常使用，仅会对循环等逻辑做C层面的提速，不会改变原有运行特性。
  • 如果你在代码中加入了Cython专属的cdef/cpdef声明、静态类型标注（比如cdef int num = 10），那么你主动声明了静态类型的部分会失去动态特性，比如上述例子中的num只能存储整型值，不能再赋值字符串、列表等其他类型的对象；但代码中没有加静态声明的普通Python对象部分，依然保留全部动态类型特性。

总结 #

只要你没有主动使用Cython的静态类型语法强制固定变量/对象的类型，不管是用cx_Freeze打包还是Cython编译原生Python代码，最终的程序都会完整保留Python作为动态类型语言的全部运行特性。

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