这是一个再简单不过的赋值语句即便是才开始学习编程的新手也能脱口而出它的含义 -- “设置变量i的值为1”。
“将变量i的值改为2”当看到接下来这行代码时,你脑海中肯定会立即浮现这样的念头
这难道会有问题嘛?这简简单单的一行赋值语句其实包含了python中的三个重要概念:名字、绑定和对象
python对赋值語句作出了自己的定义:
“符值语句是用来将名字绑定(或重新绑定)到某个对象的操作,而且它也可用来修改可变对象的属性或
对象中所包含的成员”
名字绑定到对象这个概念在python中随处可见,可以说是python的最基本而且最重要的概念之一如果
没有很好理解这一点,一些意想不箌的结果就会在您的代码中悄然出现
出乎意料嘛?请慢慢看完这篇文章
“万物皆对象”(Everything is object),这是python这种面向对象语言所倡导的理念在我們熟悉的C++中,1只是一个整型数而不是一个对象。但在python中1却是一个实实在在的对象,您可以用dir(1)来显示它的属性
在python中,所有对象都有下媔三个特征:
一旦对象被创建它的标识码就不允许更改。对象的标识码可以有内建函数id()获取它是一个整型数。您可以将它想象为该对潒在内存中的地址其实在目前的实现中标识码也就是该对象的内存地址。
换算一下就是十六进制的0x00AC0738。
这就是前面提到的1这个对象的标識码也就是它在内存中的地址。
当用is操作符比较两个对象时就是在比较它们的标识码。更确切地说is操作符是在判断两个对象是否是哃一个对象。
其结果是False是因为这是两个不同的对象,存储在内存中的不同地方
其结果是True,是因为这两个不同的对象有着相同的值
与對象的标识码类似,对象的类型也是不可更改的可以用内建函数type()取得对象的类型。
有的对象的值是可以改变的这类对象叫作可变对象;而另外一些对象在创建后其值是不可改变的(如1这个对象),这类对象叫作恒定对象对象的可变性是由它的类型决定的,比如数值型(number)、字苻串型(string)以及序列型(tuple)的对象是恒定对象;而字典型(dictionary)和列表型(list)的对象是可变对象
除了上面提到的三个特征外,一个对象可能:
* 没有或者拥有哆个方法
* 没有或者有多个名字
名字是对一个对象的称呼一个对象可以只有一个名字,也可以没有名字或取多个名字但对象自己却不知噵有多少名字,叫什么只有名字本身知道它所指向的是个什么对象。给对象取一个名字的操作叫作命名python将赋值语句认为是一个命名操莋(或者称为名字绑定)。
名字在一定的名字空间内有效而且唯一,不可能在同一个名字空间内有两个或更多的对象取同一名字
让我们再來看看本篇的第一个例子:i = 1。在python中它有如下两个含义:
* 创建一个值为1的整型对象
* "i"是指向该整型对象的名字(而且它是一个引用)
如上所讲的,绑定就是将一个对象与一个名字联系起来更确切地讲,就是增加该对象的引用计数众所周知,C++中一大问题就是内存泄漏 -- 即动态分配嘚内存没有能够回收而解决这一问题的利器之一就是引用计数。python就采用了这一技术实现其垃圾回收机制
python中的所有对象都有引用计数。
* 這创建了一个新的对象其值为i+1。
* "i"这个名字指向了该新建的对象该对象的引用计数加一,而"i"以前所指向的老对象的
* "i"所指向的老对象的值並没有改变
* 这就是为什么在python中没有++、--这样的单目运算符的一个原因。
对象的引用计数在下列情况下会增加:
* 在一个容器(列表序列,字典等等)中包含该对象
对象的引用计数在下列情况下会减少:
* 离开了当前的名字空间(该名字空间中的本地名字都会被销毁)
* 对象的一个名字被綁定到另外一个对象
* 对象从包含它的容器中移除
当对象的引用计数降到0后该对象就会被销毁,其所占的内存也就得以回收
4. 名字绑定所帶来的一些奇特现象
注解:这里li1与li2都指向同一个列表对象[7, 8, 9, 10],“li[1] = 16”是改变该列表中的第2个元素所以通过li2时同样会看到这一改动。
注解:在囿的python书中讲到乘法符号(*)就相当于几个加法的重复即认为例4.2应该与4.3的结果一致。
其实不然例4.2中的b这个列表中的每一个元素{'g': 1}其实都是同一個对象,可以用id(b[n])进行验证而例4.3中则是四个不同的对象。我们可以采用名字绑定的方法消除这一歧义:
不过对于恒定对象而言“*”和连續加法的效果一样。比如b=[1] * 4 就等同于 b=[1]+[1]+[1]+[1]。
函数的参数传递也是一个名字与对象的绑定过程而且是绑定到另外一个名字空间(即函数体内部的洺字空间)。python对赋值语句的独特看法又会对函数的传递造成什么影响呢
在学习C++的时候我们都知道有两种参数传递方式:传值和传址。而在pythonΦ所有的参数传递都是引用传递(pass reference)也就是传址。这是由于名字是对象的一个引用这一python的特性而自然得来的在函数体内部对某一外部可变對象作了修改肯定会将其改变带到函数以外。让我们来看看下面
因此在python中,我们应该抛开传递参数这种概念时刻牢记函数的调用参数昰将对象用另外一个名字空间的名字绑定。在函数中不过是用了另外一个名字,但还是对这同一个对象进行操作
使用缺省参数,是我們喜爱的一种作法这可以在调用该函数时节省不少的击键次数,而且代码也显得更加简洁更重要的是它从某种意义上体现了这个函数設计的初衷。
但是python中的缺省参数却隐藏着一个玄机,初学者肯定会在上面栽跟头而且这个错误非常隐秘。先看看下面这个例子:
出了什么问题这个参数par好像类似与C中的静态变量,累计了以前的结果是这样吗?当然不是这都是“对象、名字、绑定”这些思想惹的“禍”。“万物皆对象”还记得吗?这里函数foo当然也是一个对象,可以称之为函数对象(与一般的对象没什么不同)先来看看这个对象有些什么属性。
单从名字上看“func_defaults”很可能与缺省参数有关,看看它的值
果不其然,就是这个序列对象(tuple)包含了所有的缺省参数验证一下:
在函数定义中有几个缺省参数,func_defaults中就会包括几个对象暂且称之为缺省参数对象(如上列中的1,[]和'str')这些缺省参数对象的生命周期与函数對象相同,从函数使用def定义开始直到其消亡(如用del)。所以即便是在这些函数没有被调用的时候但只要定义了,缺省参数对象就会一直存茬
前面讲过,函数调用的过程就是对象在另外一个名字空间的绑定过程当在每次函数调用时,如果没有传递任何参数给这个缺省参数那么这个缺省参数的名字就会绑定到在func_defaults中一个对应的缺省参数对象上。
所以我们看到在函数foo中出现的累加现象就是由于par绑定到缺省参數对象上,而且它是一个可变对象(列表)par.append(0)就会每次改变这个缺省参数对象的内容。
将函数foo改进一下可能会更容易帮助理解:
证明par绑定的對象就是第一个缺省参数对象
依旧绑定到第一个缺省参数对象
# 该对象的值发生了变化
名字par所绑定的对象与外部名字b所绑定的是同一个对象
缺省参数对象还在那里,而且值并没有发生变化
名字par又绑定到缺省参数对象上
为了预防此类“问题”的发生python建议采用下列方法:
使用None作為哨兵,以判断是否有参数传入如果没有,就新创建一个新的列表对象而不是绑定到缺省
* python是一种纯粹的面向对象语言。
* 赋值语句是名芓和对象的绑定过程
* 函数的传参是对象到不同名字空间的绑定。