Python是强类型的吗？

Question

Python是强类型的吗？

我遇到过一些链接，说Python是一种强类型语言。

但是，我认为在强类型语言中你不能这样做：

bob = 1bob = "bob"

我认为强类型语言在运行时不接受类型更改。也许我对强/弱类型的定义是错误的（或过于简单化）。

那么，Python是一种强类型还是弱类型的语言

Answer 1

Python是强有力的动态类型。强类型意味着值的类型不会以意外的方式改变。只包含数字的字符串不会神奇地变成一个数字，就像Perl中可能发生的那样。每种类型的更改都需要显式转换。动态类型意味着运行时对象（值）具有类型，而不是静态类型，其中变量具有类型。至于你的例子bob = 1bob = "bob"这是因为变量没有类型; 它可以命名任何对象。之后bob=1，你会发现type(bob)返回int，但之后bob="bob"，它会返回str。（注意，这type是一个常规函数，因此它会计算其参数，然后返回值的类型。）与旧的C语言形成鲜明对比，后者是弱的，静态类型的，因此指针和整数几乎可以互换。（在许多情况下，现代ISO C需要转换，但默认情况下我的编译器对此仍然宽容。）我必须补充一点，强类型和弱类型更像是一个连续体而不是布尔选择。C ++具有比C更强的类型（需要更多转换），但是类型系统可以通过使用指针强制转换来破坏。动态语言（如Python）中类型系统的强度实际上取决于其原语和库函数如何响应不同类型。例如，+重载是因为它适用于两个数字或两个字符串，但不是字符串和数字。这是在+实现时所做的设计选择，但从语言的语义开始并不是必需的。实际上，当您+在自定义类型上重载时，可以将其隐式转换为数字：def to_number(x):     """Try to convert x to a number."""     if x is None:         return 0     # more special cases here     else:         return float(x)  # works for numbers and stringsclass Foo(object):     def __add__(self, other):         other = to_number(other)         # now do the addition（我所知道的唯一一种完全强类型，也就是严格类型的语言是Haskell，其中类型是完全不相交的，只有通过类型类才可以控制形式的重载。）

Answer 2

您将'强类型'与'动态类型'混淆。我无法1通过添加字符串来更改类型'12'，但我可以选择存储在变量中的类型，并在程序运行时更改它。与动态类型相反的是静态类型; 变量类型的声明在程序的生命周期内不会改变。强类型的反面是弱打字; 值的类型可以在程序的生命周期中更改。