Python 类与对象编程详解八（object和type）

上一篇 Python 类与对象编程详解七（单例模式）
这篇博客主要描述Python的新风格对象(new-style objects)，如下：

1. <type ‘type’>和<type ‘object’>分别是什么？
2. 用户自定义的类和实例之间是怎么联系的？它们和内置类型又是怎么联系的？
3. 什么是元类(metaclasses)？
   New-style表明这篇博客所说的内容只适用于版本为2.2及以上的python。

开始之前

最主要，是理解type和object的区别与联系。我们平时用的最多的是Object，比如你定义一个类时，会继承object:

>>> class Test(object):
...     pass

这里你定义了一个自定义类Test，不难看出，Test继承了object，也就是说，object是Test的超类(或者说基类)。
接下来，你可以再定义一个类：

>>> class subTest(Test):
...     pass

subTest继承了Test,同时，因为Test继承了object，所以也可以说subTest继承了object。在这里涉及到一个重要的知识点，那就是继承具有传递性。如果你仔细观察，你会发现另外一个知识点，那就是：object是所有类的超类（这句话至关重要）。那type是什么呢？它是object的类型（也就是说object是type的实例），同时，object又是type的超类。
“type是object的类型，同时，object又是type的超类”这句话看起来就充满疑点：那到底是先有object还是先有type呢？其实，“先有object和还是type问题”就像“先有鸡还是先有蛋问题”。到底先有谁呢？不急，请继续看：
你要明白这些，先要知道，python是面向对象的语言。在python里面，一切皆为对象。
一切皆为对象？这里对于一部分人来说，可能不是很容易理解。这么说吧，在python里，int整形是对象，整数2也是对象，你定义的函数啊，类啊都是对象，你定义的变量也是对象。总之，你在python里能用到的都可以称之为对象。
好了，把python里一切皆为对象给整明白后，你要明白在面向对象的体系中，存在两种关系：

• 父子关系（图中以实线描述）：这种关系存在于某个类（subclass）是另一个类（superclass）的特别版本之中。通常描述为“子类是一种父类”。比如：蛇是一种爬行动物(Snake is a kind of reptile)。其中，蛇(snake)是子类,爬行动物(reptile)是父类。蛇拥有爬行动物的特征，同时，又拥有标志自己是一条蛇的特征。
• 父子关系（图中以实线描述）：这种关系存在于某个类（subclass）是另一个类（superclass）的特别版本之中。通常描述为“子类是一种父类”。比如：蛇是一种爬行动物(Snake is a kind of reptile)。其中，蛇(snake)是子类,爬行动物(reptile)是父类。蛇拥有爬行动物的特征，同时，又拥有标志自己是一条蛇的特征。

用实线表示父子关系，是因为父与子的关系更加“贴实”。比如有人叫你列出有关蛇的词，你可能会说蛇是爬行动物，但你不会说出蛇是Squasher…
我想如果把上面的两种关系用代码表示出来你会更加直观：

>>> class reptile(object):
...     feature = "有标志自己是爬行动物的特征"
...     name = "爬行动物"
...
>>> class snake(reptile):
...     snake_feature = "除了有标志自己是爬行动物特征，还有自己是蛇的特征"
...     name = "蛇"
...
>>> Squasher = snake()

class reptile(object)和class snake(reptile)就是代表父子关系。object是reptile的基类，reptile是snake的超类（基类）。这里有没有想起来 object是所有类的超类？
Squasher = snake()是类型实例关系。将类snake实例化就得到了Squasher。
这时候，有两条很有用的规则：

1. Dashed Arrow Up Rule:If X is an instance of A, and A is a subclass of B, then X is an instance of B as well.翻译过来应该是“虚线向上规则”:如果X是A的实例，同时A又是B的子类，那么，X也是B的实例。
2. Dashed Arrow Down Rule:If B is an instance of M, and A is a subclass of B, then A is an instance of M as well.翻译过来应该是“虚线向下规则”：如果B是M的实例，同时A是B的子类，那么，A也是M的实例。其实这条规则很少会用到，但却和这篇博客要讲的内容息息相关。我来略作分析，从“如果B是M的实例”这句话得出，B是实例，“A是B的子类” --> B是一个（父）类。B是实例，同时又是一个类？怎么回事？看完这篇博客，你会知道答案的。
   
   在这里，我来解释一下为什么叫"虚线向上规则"，通过观察上图右边，我们可以清晰地见到一个带箭头的虚线，从X端出发，射向A端，此时，A端为箭头端，虚线代表类型实例关系，所以A端是类型，即X是A的实例（换句话说，A是X的类型），通过命令X.__class__我们可查看X的类型。再看，一条带箭头的实线从A端射向B端，B端是箭头端，实线代表父子关系，所以B端是父类，即A是B的子类。这时候，我们通过将X端射向A端的虚线，向上抬，射向B端（你应该可以看到上图右上方有一条标志为implied[这个单词意思是隐藏]的向上虚线），就实现了表述X也是是B的实例的目的。也名副其实，虚线向上嘛。虚线向下规则也可以这样推出来，我就不演示了。
   总的来说，面向对象体系里，有两种关系，一种是父子关系，通过父类与子类来描述，另一种是类型实例关系，通过类和实例来描述。而两条规则，是将类之间，类与实例之间的关系联系在一起。
   到这里，可以进入主题了。

基本概念

对象内部：The Object Within

上面我们说了面向对象，那么对象（object）是什么呢？对象是python的重要核心之一：它是某个实体的抽象描述。对象拥有下面的特征：

1. 对象标识（Identity）：同一个（父）类实例化出来的对象，往往具有许多相同的特征，但是这些具有许多相同特征的对象肯定都有一个唯一的对象标识，当然，不同父类实例化出来的对象也是用对象标识作为判断对象的条件之一的；
2. 值（A value）：这意味着对象包含一堆属性。我们可以通过objectname.attributename的方式操作属性;
3. 类型（A type）:每个对象都有一个确切地类型。例如，对象“2”的类型是int;
4. 一个或多个“Bases”（One or more bases）：不是所有对象都有Bases，但一些特殊的对象会有，比如：类。Bases类似于面向对象语言中的“基类”，“超类”。

如果你想知道一个对象在内存中的位置，你可以调用id(对象)来查看。在这里，我再次强调，在python中，一切都有对象的概念。数字2是对象，类型int也是对象…
type和Bases（如果它们存在）非常重要，因为它们定义了一个对象和另一个对象之间的关系。请记住，type和Bases本身也是对象，稍后会提到。
你也许会认为，对象有名字，但名字并不是对象的组成部分。对象的名字存在于这个对象的命名空间（namespace）之外或者是另一个对象的属性。也就是说：名字和这个对象不是存储在同一个“地方
例子：测试一个整数对象

>>> two = 2  #==>(1)
>>> type(two)  #==>(2)
<class 'int'>
>>> type(type(two))