您遇到的困惑很常见，因为术语“强类型”和“弱类型”可以根据上下文以不同的方式解释。让我们澄清一下这些术语的一般含义以及它们如何应用于 Python。

强类型与弱类型

• 强类型语言：在强类型语言中，变量的类型是严格执行的。在没有显式转换的情况下，不允许执行涉及不兼容类型的操作（例如将整数添加到字符串）。强类型可防止可能导致意外结果的隐式类型强制。
• 弱类型语言：在弱类型语言中，语言可能会以不总是显而易见的方式隐式转换（或强制转换）类型。例如，在某些弱类型语言中，您可能能够将字符串添加到整数，语言会自动转换其中一种类型以使操作成为可能。

动态类型与静态类型

• 动态类型语言：在 Python 等动态类型语言中，变量的类型在运行时确定，并且可以在执行期间将变量重新分配给不同类型的值。这意味着最初保存整数的变量以后可以保存字符串而不会出现任何问题。
• 静态类型语言：在静态类型语言中，变量的类型在编译时确定，通常无法更改。您必须声明变量的类型，并且不能在没有显式类型转换的情况下将其重新分配给其他类型。

Python 的类型

Python 是强类型的，但是也是动态类型的。

• 强类型：Python 不允许隐式类型转换，因为这种转换可能会导致行为不明确。例如，将字符串添加到整数将导致出现错误，TypeError除非您明确转换其中一种类型。

# This will raise a TypeError result = 1 + "1"

• 动态类型：Python 允许你将变量重新分配给不同类型的值，因为变量的类型是在运行时确定的。这就是为什么你可以这样做：

bob = 1 bob = "bob"

这里，bob首先分配一个整数，然后分配一个字符串。这是可能的，因为 Python 是动态类型的。

结论

Python 是强类型的，因为它在运行时强制执行类型规则，并且不会在不兼容的操作之间隐式转换类型。但是，它也是动态类型的，这意味着变量类型是灵活的并且在运行时确定，允许您在执行期间将变量重新分配给其他类型。

因此，虽然您最初对强类型的理解可能与静态类型（类型在运行时不会改变）联系过于紧密，但在 Python 中，强类型是指强制执行类型规则而不进行自动转换，而不是变量类型的不变性。