Python变量本质是名字绑定而非内存容器，a=10表示名字a指向整数对象10；名字无类型，类型属于对象；赋值即重绑定，引用计数与名字空间共同支撑动态类型机制。
Python变量本质是名字绑定，不是内存容器
Python中没有“变量”这个传统概念，只有“名字（name）”。当你写 a = 10，解释器做的不是把整数10存进叫a的盒子，而是创建一个整数对象 10，再让名字 a 指向它。名字本身不携带类型信息，类型属于对象——这是动态类型的根本前提。
名字空间与引用计数共同支撑动态绑定
每个作用域（模块、函数、类等）维护一个字典（locals() 或 globals()），键是名字，值是对象的引用。执行 a = "hello" 就是往当前名字空间字典里插入 {"a": id_of_hello_string}。同时，Python用引用计数跟踪对象被多少名字（或数据结构）引用；当 a 被重新赋值为 2.5，原字符串对象引用减1，a 指向新浮点对象。
赋值即重绑定，类型切换自然发生
- a = 42 → 名字a绑定到int对象
- a = [1, 2, 3] → 同一名字a解绑旧int，绑定到list对象
- type(a) 返回当前所指对象的类型，不是a本身的属性
- 函数参数、返回值、容器元素全部遵循同一机制：传递的是对象引用，名字只是临时标签
动态性不等于无约束，运行时检查保障类型安全
虽然绑定自由，但操作会触发运行时类型检查。例如 "abc" + 123 不会在赋值时报错，而是在执行加法时抛出 TypeError——因为字符串的 __add__ 方法拒绝接收整数。这种“鸭子类型”依赖对象是否实现了所需方法，而非声明的类型。
