缺乏类型声明语句的情况
-
-
- 变量、对象和引用
- 变量在赋值的时候才创建,它可以引用任何类型的对象,并且必须在引用之前赋值
- 类型的概念是存在于对象中而不是变量名中
- 引用关系
- 变量是一个系统表的元素,拥有指向对象的连接的空间
- 对象是分配的一块内存,有足够的空间去表示它们所代表的值
- 引用是自动形成的从变量到对象的指针
- 从概念上讲,在脚本中,每一次通过运行一个表达式生成一个新的值,Python都创建了一个新的对象(一块内存)去表示这个值
- 从内部来看,作为一种优化,Python缓存了不变的对象并对其进行服用
- 从逻辑的角度看,这工作起来就像每一个表达式结果的值都是一个不同的对象,而每一个对象都是不同的内存
- 从技术上来讲,对象有更复杂的结构而不仅仅是有足够的空间表示它的值那么简单
- 每个对象都有两个标准的头部信息
- 一个类型标志符去标识这个对象的类型
- 一个引用的计数器,用来决定是不是可以回收这个对象
- 变量在赋值的时候才创建,它可以引用任何类型的对象,并且必须在引用之前赋值
- 类型属于对象,而不是变量
- 变量没有类型
- 实际上并没有改变变量的类型,只是让变量引用了不同类型的对象而已
- Python的变量就是在特定的时间引用了一个特定的对象
- Python中的类型是与对象相关联的,而不是和变量关联
- 变量没有类型
- 对象的垃圾收集
- 每当一个变量名被赋予了一个新的对象,之前的那个对象占用的空间就会被回收
- Python在每个对象中保持了一个计数器,计数器记录了当前指向该对象的引用的树木。一旦(并精确在同一时间)这个计数器被设置为零,这个对象的内存空间就会自动回收
- 垃圾收集最直接的、可感受到的好处
- 可以在脚本中任一使用对象而不需要考虑释放内存空间
- 共享引用
- 多个变量名引用了同一个对象
- 变量总是一个指向对象的指针,而不是可改变的内存区域的标签
- 给一个变量赋一个新的值,并不是替换了原始的对象,而是让这个变量去引用完全不通的一个对象
- 共享引用和在原处修改
- 变量、对象和引用
-
>>> L1 = [1, 2, 3]
>>> L2 = L1
>>> L1[0] = 99
>>> L1, L2
([99, 2, 3], [99, 2, 3])
-
- 这个列表对象是与其他对象共享的(被其他对象引用),那么一个像这样在原处的改变,将会影响程序的其他部分。
- 如果不想要这样的现象发生,需要Python拷贝对象,而不是穿件引用。
- 拷贝列表的方法包括内置列表函数以及标准库的copy模块
- 最常用的方法就是从头到尾的切片
>>> L2 = L1[:]
-
- L2引用的是L1对象的一个拷贝,两个变量指向了不同的内存区域
- 这种切片技术不会应用再其他的可变的核心类型(字典和结合)
- 复制一个字典或集合应该使用X.copy()
- 共享引用和相等
- ==操作符,用作相等的检查
- is操作符,用作检查对象的同一性
- 如果两个变量名精确到指向同一个对象,它会返回True
- 这是一种更严格形式的相等测试
- 实际上,is只是比较实现引用的指针
- sys模块中的getrefcount函数会返回对象的引用次数
- 对象缓存和复用机制与代码是没有关系的,是Python为了执行速度而采用的优化其模块的众多方法中的一种
动态类型随处可见
-
-
- 从实际的角度来说,动态类型意味着你将写更少的代码。
- 同等重要的是,动态类型也是Python中多态的根本
-