Python 的动态类型介绍

1.在Python中没有变量的声明以及变量的类型:

  • 变量的类型实在运行过程中自动决定的,而不是通过声明来决定的
  • 变量首次赋值时,创建它。之后的再次赋值会改变该变量的值

2.类型的概念是存在于对象中而不是变量名中。变量名是通用的,它只是在特定时刻引用某个特定的对象而已。

  • 当变量出现在表达式中时,它会马上被当前引用的对象所代替
  • 任何变量名在使用前必须明确地赋值。用未赋值的变量会产生错误。

在Python内部,变量实际上是指向对象内存空间的一个指针

graph LR
id1(变量名)-->|引用|id2(对象);
style id2 fill:#ccf,stroke:#f66,stroke-width:2px,stroke-dasharray: 5, 5;

3.每个表达式生成的结果,python都创建了一个新的对象去表示这个值

4.Python对象缓存了不变的对象并对其进行复用,如小整数和小字符串。但是逻辑上看,每个表达式的结果值都是不同的对象,占用不同的内存。

5.每个对象都有两个标准的头部信息:

  • 类型标志符:标识了该对象的类型(见第10条)
  • 引用计数器:决定了是否可以回收这个对象(见第8条)

    引用计数器记录了当前指向该对象的引用的数目。一旦它为0, 则该对象的内存空间就会自动回收

6.给一个变量赋新值,并不是替换原始的对象,而是让这个变量去引用完全不同的一个对象。

7.多个变量名引用同一个对象时,称为共享引用:

graph LR
id1(变量a) -->|引用|id2(对象)
id3(变量b) -->|引用|id2(对象)
style id2 fill:#ccf,stroke:#f66,stroke-width:2px,stroke-dasharray: 5, 5;
  • 在共享引用中,对象的原地修改操作会影响到所有的引用该对象的变量
  • 共享引用的多个变量之间,is比较的结果为True

    ==操作符比较的是两个变量引用的对象是否具有相同的值

    is操作符比较的是两个变量是否引用的是同一个对象

8.sys模块的getrefcount函数会返回对象的引用次数,如:
getrefcount()运行结果

这里可以看到Python对象缓存了不变的对象并对其进行复用

9.动态类型是Python多态的基础,因为没有类型约束。Python的多态是x.method的方法运行时,method的意义取决于x的类型,属性总是在运行期解析

10.查看对象的类型用type()函数,如:
type()运行结果

11.Python提供了几种方法来查看对象的属性以及详细信息:

  • dir(x):查看x所指对象的属性
  • help(x.attr):查看x所指对象的attr属性
  • help(x):查看x所指对象的详细信息
    dir、help运行结果

12.None对象是一个特殊的Python对象,它总是False,一般用于占位。它有一块内存,是一个真正的对象。它不代表未定义,事实上它有定义。

  • None是所有函数和方法的默认返回值
    type(None)

13.Python中,任何东西都是对象类型(见第10条),类型本身也是对象类型:

  • type(x)返回变量x指向对象的类型
  • isinstance(x,typename)用于测试x所指对象是否是typename类型
  • 调用类型名是对这些对象构造函数的调用,而不仅仅是类型转换
    任何东西都是对象类型

14.基本上在代码中进行类型检查是错误的,着破坏了代码的灵活性,限制了代码的类型。Python代码不关心特定的数据类型,只关心接口,这就是Python的多态设计

  • 一个操作的意义取决于被操作对象的类型。同样的操作对不同的对象来说意义可能不同,前提是该对象支持该操作
  • 若对象不支持某种操作,则Python会在运行时检测到错误并自动抛出一个异常

15.Python可以在旧版本中开启新版本的特性,只需用在模块文件中使用: from __future__ import 特性名