python 动态类型

Python进阶09 动态类型

动态类型(dynamic typing)是Python另外一个重要的核心概念。咱们以前说过,Python的变量(variable)不须要声明,而在赋值时,变量能够从新赋值为任意值。这些都与动态类型的概念相关。编程

动态类型

在咱们接触的对象中,有一类特殊的对象,是用于存储数据的。常见的该类对象包括各类数字,字符串,表,词典。在C语言中,咱们称这样一些数据结构为变量。而在Python中,这些是对象。缓存

对象是储存在内存中的实体。但咱们并不能直接接触到该对象。咱们在程序中写的对象名,只是指向这一对象的引用(reference)。数据结构

引用和对象分离,是动态类型的核心。引用能够随时指向一个新的对象:函数

a = 3
a = 'at'
  • 第一个语句中,3是储存在内存中的一个整数对象。经过赋值,引用a指向对象3。code

  • 第二个语句中,内存中创建对象‘at’,是一个字符串(string)。引用a指向了'at'。此时,对象3再也不有引用指向它。Python会自动将没有引用指向的对象销毁(destruct),释放相应内存。对象

  • (对于小的整数和短字符串,Python会缓存这些对象,而不是频繁的创建和销毁。)内存

a = 5
b = a
a = a + 2
  • 再看这个例子。字符串

  • 经过前两个句子,咱们让a,b指向同一个整数对象5(b = a的含义是让引用b指向引用a所指的那一个对象)。string

  • 但第三个句子实际上对引用a从新赋值,让a指向一个新的对象7。此时a,b分别指向不一样的对象。table

  • 咱们看到,即便是多个引用指向同一个对象,若是一个引用值发生变化,那么其实是让这个引用指向一个新的引用,并不影响其余的引用的指向。

  • 从效果上看,就是各个引用各自独立,互不影响。

其它数据对象也是如此:

L1 = [1,2,3]
L2 = L1
L1 = 1

但注意如下状况

L1 = [1,2,3]
L2 = L1
L1[0] = 10
print L2
  • 在该状况下,咱们再也不对L1这一引用赋值,而是对L1所指向的表的元素赋值。结果是,L2也同时发生变化。

  • 缘由何在呢?由于L1,L2的指向没有发生变化,依然指向那个表。表其实是包含了多个引用的对象(每一个引用是一个元素,好比L1[0],L1[1]..., 每一个引用指向一个对象,好比1,2,3), 。而L1[0] = 10这一赋值操做,并非改变L1的指向,而是对L1[0], 也就是表对象的一部份(一个元素),进行操做,因此全部指向该对象的引用都受到影响。

  • (与之造成对比的是,咱们以前的赋值操做都没有对对象自身发生做用,只是改变引用指向。)

列表能够经过引用其元素,改变对象自身(in-place change)。这种对象类型,称为可变数据对象(mutable object),词典也是这样的数据类型。

而像以前的数字和字符串,不能改变对象自己,只能改变引用的指向,称为不可变数据对象(immutable object)。

咱们以前学的元组(tuple),尽管能够调用引用元素,但不能够赋值,所以不能改变对象自身,因此也算是immutable object.

从动态类型看函数的参数传递

函数的参数传递,本质上传递的是引用。好比说:

def f(x):
    x = 100
    print x

a = 1
f(a)
print a
  • 参数x是一个新的引用,指向a所指的对象。若是参数是不可变(immutable)的对象,a和x引用之间相互独立。对参数x的操做不会影响引用a。这样的传递相似于C语言中的值传递。

若是传递的是可变(mutable)的对象,那么改变函数参数,有可能改变原对象。全部指向原对象的引用都会受影响,编程的时候要对此问题留心。好比说:

def f(x):
    x[0] = 100
    print x

a = [1,2,3]
f(a)
print a

动态类型是Python的核心机制之一。能够在应用中慢慢熟悉。

总结

引用和对象的分离,对象是内存中储存数据的实体,引用指向对象。

可变对象,不可变对象

函数值传递

相关文章
相关标签/搜索