一，变量、对象和引用

动态类型模型由三部分构成：变量、对象和引用。变量和类型没有任何关系，类型是对象的，变量只是引用对象而已。例如，a=3，a是变量名，Python自动创建一个内存对象，值是3，变量a自动引用对象。

1，变量

对于一个变量，当第一次给它赋值时，就创建了变量，并把变量关联到内存对象。之后对变量的赋值，将会改变变量引用的对象。

从技术上来看，变量是指针类型，所谓的数据类型，是指变量引用的对象的类型，类型的概念存在于对象中，而不是变量中。

当变量出现在表达式中时，它会被当前引用的对象所代替，无论这个对象是什么类型。

2，对象

从技术上讲，对象是一块内存空间，存储头部和内容。每个对象都有两个标准的头部信息：一个类型标志符用于标识对象的类型，一个计数器用于标识被应用的次数。当对用被引用的次数为0时，Python会自动回收该对象占用的内存空间。

3，引用

变量和对象通过引用关联在一起，在使用变量时，Python自动通过引用获取或设置对象的值。

二，通用类型分类

Python的核心类型，通常细分为：整数、字符串、元组、列表、字典，也可以按照操作分为整数、序列和映射，也可以按照对象是否支持原处修改，把类型分为可变类型和不可变类型。

1，按照操作分类

• 整数是不可变的对象，支持算术运算；
• 集合是无序的，支持集合操作；
• 字符串、列表和元组是序列，元素的位置是顺序的，可以按照偏移对序列进行索引和分片操作；
• 字典是映射，元素之间没有顺序，但是通过映射来获取值，而不是通过偏移。

2，按照可变性分类

对象的可变性是指对象是否可以原处修改，原处修改是指对象的内存空间是否可以被修改。

Python的类型从可变性上可以分为两类：可变类型和不可变类型，

• 可变类型：列表、字典
• 不可变类型： 整数，字符串、元组，集合

可变对象可以在原处被修改，不可变对象一旦创建成功，就保持不变。

三，赋值和共享引用

在使用赋值符号（=）时，如果变量对变量“赋值”，产生共享引用，两个变量引用同一个对象；如果是使用对象对变量赋值，产生的结果是创建新的对象，同时使变量引用新的对象。

例如，把变量赋值给变量时，变量之间存在共享引用，也就是说，多个变量名引用同一个对象，

a=3 b=a

此时，变量a和b同时指向一个对象。变量名赋值给变量名，使得两个变量引用相同的对象。

当把对象赋值给变量时，并不是替换了原始的对象，而是让这个变量去引用另一个完全不同的对象。

例如，当变量重新赋值时，a='abc'，变量a引用的是另一处内存空间。此时，b是3，而a是abc。

a='abc'

1，共享引用和可原处修改

当共享引用的对象是可变类型时，对可变对象的修改，会反应到共享引用的变量上。

例如，变量l1和l2是共享引用，引用的对象是列表，而列表支持原处修改：

l1=[1,2,3] l2=l1

当修改变量l1引用的对象的值时，变量l1和l2引用的还是同一个内存空间，l1和l2的值是相同的。

l1[0]=5

2，共享引用和相等

==和is是不同的“相等”比较，前者是指值相等，后者是指对象的同一性（同一个对象）。

例如，a和b既是值相等，也是对象同一的。

a=[1,2] b=a

例如，a和b是值相等，但是对象不是同一个，这说明，可变类型的常量的缓存是不可复用的。

a=[1,2] b=[1,2]

例如，x和y既是值相等，也是对象同一的，这说明，不可变类型的常量的缓存是复用的。

x=1 y=1

四，深拷贝和浅拷贝