表达式必须是指向完整对象类型的指针_Python动态类型简介

缺乏类型声明语句的情况

- - 变量、对象和引用
    - 变量在赋值的时候才创建，它可以引用任何类型的对象，并且必须在引用之前赋值
      - 类型的概念是存在于对象中而不是变量名中
    - 引用关系
      - 变量是一个系统表的元素，拥有指向对象的连接的空间
      - 对象是分配的一块内存，有足够的空间去表示它们所代表的值
      - 引用是自动形成的从变量到对象的指针
    - 从概念上讲，在脚本中，每一次通过运行一个表达式生成一个新的值，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中多态的根本