为何Python已赋值变量类型为class？与‘一切皆对象’的矛盾解惑

你的三个观察与疑问对应的本质 #

先明确核心：Python里的类本身就是对象，这是解开所有疑惑的关键。下面逐个拆解：

1. 整数变量是对象，<class 'int'>是它的“类型对象”

当你执行a = 1，a确实是对象——它是int类的实例。而type(a)返回的int并非“非对象的类”，它本身也是个对象，是用来生成所有整数实例的类对象。

• 你可以自行验证：type(int)会输出<class 'type'>，这说明int这个类，是type元类的实例对象。
• 直白点说：a是int的对象，int是type的对象，全都是对象。

2. 实例的类型就是它的类对象

你定义Something类并实例化出s，type(s)返回<class '__main__.Something'>完全合理：

• s是Something类创建的实例对象，而Something本身也是个对象（type的实例）。
• 这里的“类型”指的就是该实例所属的类对象，而类对象本身也是对象的一种。

3. object是根类，type是元类

• 当你执行t = object，t直接指向object这个类对象，所以打印t会显示<class 'object'>。
• type(t)返回<class 'type'>，因为object作为一个类，它是type的实例。
• 补充个闭环逻辑：type本身也是object的子类（执行issubclass(type, object)会返回True），整个Python的对象系统是自洽的闭环，所有元素都是对象。

为什么没有矛盾？ #

“Python一切皆对象”的真实含义是：

• 不光1、s这种具体实例是对象，连int、Something、object这些用来定义类型的类，本身也都是对象。
• type()函数的作用是返回某个对象的“所属类型”，而这个“类型”本质上就是另一个对象（类对象）。
• 你看到的<class ...>，是某个类对象的字符串表示，而这个类对象本身也属于更高一层的类型（元类type）。

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