实例变量的类型

Question

假设我有一个这样的类，

class Employee:
    pass

我为 Employee 创建两个对象，如下所示

john = Employee()
rob = Employee()

..并创建实例变量

john.age = 12
rob.age = '15'

编译器接受这两个对象并打印年龄（约翰的年龄为 int 和rob 的年龄（字符串形式）。这怎么逻辑呢？每个对象中具有不同类型的相同数据属性。

谢谢。

Answer 1

因为通过说rob.age，您没有创建具有特定类型的类范围数据属性；您只是创建一个实例本地的、特定于实例的属性，该属性引用一个具体实体，即字符串 '15'。要创建类范围的属性，您必须说 Employee.age = ... 或在 class Employee: 块内设置 age。通过将属性设置为描述符，我想您可以在每次设置时检查其类型并将其限制为整数或字符串或其他任何内容；但一般来说，类属性或实例属性都只是对象的名称，Python 关心的只是 .age 命名对象。

请注意，Python 无论如何都无法真正猜出你的意思。如果您说 john.age 是 12，那么您似乎希望 Python 猜测所有其他 .age 属性也应该是数字。但为什么 Python 不应该更进一步，猜测它们是整数——或者更好的是，它们是正偶数呢？我真的认为在任何情况下，Python 从单个赋值推断出某种猜测，以了解如何在类的所有其他实例中处理该属性，都是不合理的。

Answer 2

从根本上来说，这就是当您拥有动态类型语言时所得到的。

类型是在运行时而不是声明时确定的。

它有优点也有缺点，但我相信在大多数开发环境中优点大于缺点。

（Ruby、Python、PHP 等都是这么做的）

Answer 3

Python 编译器不关心也不需要关心您将什么类型的值绑定到属性/名称； Python 的动态特性意味着重要的类型检查（通常实际上是属性检查）是在运行时完成的。

Answer 4

术语“变量”在 Python 中很容易混淆。

Answer 5

请务必理解这个基本原则：在 Python 中，变量没有类型。 值有类型。这是 Python 作为动态类型语言的本质，类似于 Lisp 和 Javascript，但与 C、C++ 和 Java 不同。

>>> foo = 5       # foo now holds a value of type int
>>> foo = 'hello' # foo now holds a value of type string

以下是 Wikipedia 有关 Python 中输入的条目的摘录：

Python 使用鸭子类型并已输入
对象但无类型变量名。
不检查类型约束
编译时间；相反，操作
对象可能会失败，这意味着
给定的对象不适合
类型。尽管是动态类型的，
Python 是强类型的，禁止
未明确定义的操作
（例如，将一个数字添加到
字符串）而不是默默地
试图理解它们。

如果您想学习 Python，请阅读有关此主题的更多内容（尤其是 Duck Typing 是什么）。

---

PS 这个问题与对象的属性完全正交。属性只是 Python 中的其他“变量”，它也可以保存值。这些值可以是不同的类型。