Python无需声明数据类型时，编译器如何识别int与char？

Python是动态类型语言，和C/C++这类静态类型语言的核心区别在于：类型信息不是绑定在变量上，而是绑定在对象本身的。

• 当你执行c = 2时，Python会先在内存中创建一个代表整数2的int对象，然后让变量c指向这个对象。
• 当你再执行c = 'a'时，Python会创建一个代表字符'a'的str对象，然后把c的指向从之前的int对象切换到这个str对象。

那Python怎么区分这些对象的类型？每个Python对象在内存里都有一个头部结构，里面包含关键信息：

• 类型指针：指向该对象所属的类型定义（比如int、str的类型对象）
• 引用计数：记录有多少变量指向这个对象，用于后续的垃圾回收
• 其他元数据（比如对象的大小等）

你可以用type()函数直接验证这一点：

c = 2
print(type(c))  # 输出 <class 'int'>
c = 'a'
print(type(c))  # 输出 <class 'str'>

和C/C对比的话，C/C的变量本身就带有类型属性，编译阶段就固定了变量的内存大小和类型，不能随意赋值其他类型的值。而Python的变量更像一个"标签"，可以贴在任何对象上，对象自己才带着明确的类型身份。

另外，Python解释器在执行代码时，会根据对象的类型指针，调用对应的底层操作方法。比如对int对象做加法，和对str对象做加法，触发的是完全不同的逻辑。

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