Python面向对象：杂七杂八的知识点

为何有这篇"杂项"文章

实在是由于python中对象方面的内容太多、太乱、太杂，在写相关文章时比我所学过的几种语言都更让人"糟心"，不少内容似独立内容、又似相关内容，放这也可、放那也可、放这也很差、放那也很差。

因此，用一篇单独的文章来收集那些在我其它文章中很差归类的知识点，并且会随时更新。

class、type、object的关系

在python 3.x中，类就是类型，类型就是类，它们变得彻底等价。

要理解class、type、object的关系，只需几句话：

1. object是全部类的祖先类，包括type类也继承自object
   
2. 全部class自身也是对象，全部类/类型都是type的实例对象，包括object和type自身都是type的实例对象

论证略，网上一大堆。

鸭子模型(duck typing)

Duck typing的概念来源于的诗句"When I see a bird that walks like a duck and swims like a duck and quacks like a duck, I call that bird a duck."。

意思是：若是我看到一只鸟走路像一只鸭子，游泳像一只鸭子，叫起来像一只鸭子，那么我就认为这只鸟是一只鸭子。

在python中，鸭子模型很是容易理解。下面是典型的鸭子模型示例：

class Duck():
    def walk(self):
        print("duck walk")
    def swim(self):
        print("duck swim")
    def quacks(self):
        print("duck quacks")

class Bird():
    def walk(self):
        print("bird walk")
    def swim(self):
        print("bird swim")
    def quacks(self):
        print("bird quacks")

对于Python来讲，鸭子模型的意思是：只要某个地方须要调用Duck的walk、swim、quacks方法，就可让Bird也做为Duck，由于它也实现了这3个方法。

Python并不强制检查类型，只要对象实现了某个所须要的方法，就认为这是能够接受的对象。

它还传达一种思想，A类对象能放在一个地方，若是想让B类对象也能够放在这个地方，只须要让B实现这个地方所须要的方法就能够。

鸭子模型贯穿了python中的运算符重载行为，也贯穿了整个Python的类设计理念。例如print()执行的时候须要调用__str__方法，因此只要实现了__str__方法的类，均可以被print()调用。

绑定方法和非绑定方法

绑定之意，在于方法是否与实例对象(或类名)进行了绑定。

当经过实例对象去调用方法时，或者说会自动传递self的方法是绑定方法，其它经过类名调用、手动传递self的方法调用是非绑定方法，在3.x中没有非绑定方法的概念，它直接被看成是普通函数。

例如：

class cls():
    def m1(self):
        print("m1: ", self)
    def m2(arg1):
        print("m2: ", arg1)

当经过cls类的实例对象去调用m一、m2的时候，是绑定方法：

>>> c = cls()
>>> c.m1
<bound method cls.m1 of <__main__.cls object at 0x000001EE2DA75860>>
>>> c.m1()
m1:  <__main__.cls object at 0x000001EE2DA75860>

>>> c.m2
<bound method cls.m2 of <__main__.cls object at 0x000001EE2DA75860>>
>>> c.m2()
m2:  <__main__.cls object at 0x000001EE2DA75860>

也就是说，绑定方法中是绑定了实例对象的，无需手动去传递实例对象。例如：

>>> cc = c.m1
>>> cc()
m1:  <__main__.cls object at 0x000001EE2DA75860>

当经过类名去访问的时候，是普通函数(非绑定方法)：

>>> cls.m1
<function cls.m1 at 0x000001EE2DA78620>
>>> cls.m2
<function cls.m2 at 0x000001EE2DA786A8>

>>> cls.m1(c)
m1:  <__main__.cls object at 0x000001EE2DA75860>
>>> cls.m2(c)
m2:  <__main__.cls object at 0x000001EE2DA75860>

惟一须要在乎的是，并不是必定要经过实例对象去调用方法，经过类方法也能的调用，也能手动传递实例对象。此外，类中的方法并不是必定要求有self参数。

静态方法和类方法

python的面向对象中有3种类型的方法：普通的实例方法、类方法、静态方法。

• 普通实例方法：经过self参数传递实例对象自身
  
• 类方法：传递的是类名而非对象
  
• 静态方法：不经过self传递

从这些方法的简单定义上看，很容易知晓实例方法能够操做类属性、对象属性，而类方法和静态方法只能操做类属性，不能操做对象属性。

因此，要实现类方法、静态方法须要合理地定义、传递参数。例如：

class cls():
    def m1(self, arg1):
        print("m1: ", self, arg1)
    def m2(arg1, arg2):
        print("m2: ", arg1)

显然这里m2()是静态方法，m1根据调用方式能够是类方法，也能够是实例方法，甚至是静态方法。例如：

# m1做为实例方法
>>> c.m1("hello")
m1:  <__main__.cls object at 0x000001EE2DA75BA8> hello

# m1做为类方法，经过类名调用，并传递类名做为self参数
>>> cls.m1(cls,"hello")
m1:  <class '__main__.cls'> hello

# m1做为静态方法，经过类名调用，随意处置self参数
>>> cls.m1("asdfas","hello")
m1:  asdfas hello

这样的调用方式并无什么问题，python是容许这样作的，很自由，但很容易犯错。好比想要经过对象名去调用上面的m2，arg1就必须看成self同样解释成对象自身，换句话说只能传递一个参数c.m2("arg2")，这显然有悖静态方法的编码方式。

在python中，要定义严格的类方法、静态方法，须要使用内置的装饰器函数classmethod()、staticmethod()来装饰，装饰后不管使用对象名去调用仍是使用类名去调用，均可以。

例如：

class cls():
    def m1(self,arg1):
        print("m1: ", self, arg1)
    @classmethod
    def m2(self,arg1):
        print("m2: ", self, arg1)
    @staticmethod
    def m3(arg1, arg2):
        print("m3: ", arg1, arg2)

上面定义了普通方法、类方法和静态方法。若是尚不了解装饰器的用法，暂时只需知道上面的@xxx将它下面的函数(方法)扩展成了类方法、静态方法便可。

调用实例方法：

>>> c = cls()
>>> c.m1("hello")
m1:  <__main__.cls object at 0x000001EE2DA840B8> hello

注意输出的self是"...object..."，和下面的类方法调用注意区分比较。

调用类方法。由于@classmethod已经将m2包装成了类方法，因此m2的第一个self参数将老是表明类名，而不管是使用对象去调用m2仍是使用类名去调用m2。

>>> c.m2("hello")
m2:  <class '__main__.cls'> hello

>>> cls.m2("hello")
m2:  <class '__main__.cls'> hello

若是输出m2方法，会发现它已是绑定方法，也就是说和类名进行了绑定(这里不是和对象名进行绑定)。

>>> c.m2
<bound method cls.m2 of <class '__main__.cls'>>

>>> cls.m2
<bound method cls.m2 of <class '__main__.cls'>>

调用静态方法。

>>> c.m3("hello","world")
m3:  hello world
>>> cls.m3("hello","world")
m3:  hello world

静态方法都是未绑定的函数:

>>> c.m3
<function cls.m3 at 0x000001EE2DA789D8>
>>> cls.m3
<function cls.m3 at 0x000001EE2DA789D8>

通常来讲，类方法用于在类中操做/返回和类名有关的内容，静态方法用于在类中作和类或对象彻底无关的操做。一个比较好理解的例子是，一个Employee类，要检查员工的年龄范围在16-35，若是年龄在这范围内，就返回一个员工对象，能够将这个逻辑定义为类方法。若是只是检查年龄范围来决定True或False这样和类/对象无关的操做，则定义为静态方法。

class Employee:
    @staticmethod
    def age_ok(age):
        if 16<age<35:
            return True
        else:
            return False

    @classmethod
    def age_check(cls, age):
        if 16<age<35:
            return cls(...)

私有属性

python没有private关键字来修饰属性使其变成私有属性，可是带上双下划线前缀的属性且没有后缀下划线的属性(__X)能够认为是私有属性。它仅仅只是约定性的私有属性，不表明外界真的不能访问。

实际上，使用__X这样的属性，在类的内部访问时会自动进行扩展为_clsname__X，也就是加个前缀下划线，再加个类名。由于扩展时加上了类名，使得这个属性在名称上是独属于这个类的。

例如：

class cls():
    __X = 12
    def m1(self,y):
        self.__Y = y
        print(self.__X)
        print(self.__Y)

>>> print(cls.__dict__.keys())
dict_keys([..., '_cls__X', 'm1', ....])

>>> c = cls()
>>> c.m1(22)
12
22
>>> print(c.__dict__.keys())
dict_keys(['_cls__Y'])

由于已经扩展了属性的名称，因此没法在类的外界经过直接的名称__X去访问对应的属性。

>>> c.__Y
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
AttributeError: 'cls' object has no attribute
'__Y'
>>> c.__X
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
AttributeError: 'cls' object has no attribute
'__X'

>>> cls.__X
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
AttributeError: type object 'cls' has no attribute '__X'

前面说了，这种加双下划线前缀的属性仅仅只是一个约定形式，虽然在外界没法直接经过名称去访问，可是仍有很多方法去访问。例如经过扩展后的名称、经过字典__dict__：

>>> cls._cls__X
12
>>> c._cls__Y
22
>>> c.__dict__['_cls__Y']
22

要想严格地声明属性的私有性，能够编写装饰器类，在装饰器类中完成属性的判断。

方法的默承认变参数陷阱

若是一个方法的参数给了默认参数，且这个默认参数是一个可变类型，那么这里有一个陷阱：使用这个默认参数的时候各对象会共享这个可变默认值。

例如：

class A:
    def __init__(self, arg=[]):
        self.data = arg
    def add(self, value):
        self.data.append(value)

# 两个不一样对象，且都使用参数arg的默认值
a1 = A()
a2 = A()

# 向两个对象中添加元素
a1.add("a1")
a2.add("a2")

print(a1.data)
print(a2.data)

执行结果：

['a1', 'a2']
['a1', 'a2']

发现a1和a2这两个不一样的对象中的data居然是相同的数据，若是输出下它们的data属性，会发现是同一个对象：

>>> a1.data is a2.data
True

这是由于参数的默认值是在申请变量以前就先评估好的，也就是在赋值给参数变量arg以前，这个空列表就已经存在了。而后使用默认值来构造对象时，这些对象都使用同一个空列表，而这个空列表是可变的类型，因此不管谁修改这个列表都会影响其它对象。

若是不使用默认值，那么每一个对象的列表就是独占的，不会被其它对象修改。

a3 = A([])
a3.add("a3")
print(a3.data)

结果：

['a3']

MethodType：添加外部函数做为方法

python的types模块中提供了一个MethodType(funcName, instance)函数，它能够将类外部定义的函数funcName连接到实例对象或类上。

例如链接到实例对象上：

# 注意外部函数上加了self参数
def func(self, age):
    print(age)

class cls:
    pass

>>> c = cls
>>> import types
>>> c.printage = types.MethodType(func, c)
>>> c.printage(22)
22

type.MethodType()是将某个可调用对象(这里的func)动态地连接到实例对象或类上，使其临时做为对象或类的方法属性，只有在被调用的时候才会进行属性的添加。

须要注意的是，当外部函数连接到实例对象上时，这个连接只对这个实例对象有效，其它对象是不具有这个属性的。若是连接到类上，那么全部对象均可以访问这个连接的方法。

__call__

正常状况下定义了一个类，调用这个类表示建立一个对象。

class cls:
    pass

c = cls()

可是，对象c再也不是可调用的对象，也就是说，它不能再被执行。

>>> callable(c)
False

python对象的__call__可让实例对象也变成可调用类型，就像函数同样。

class cls:
    def __call__(self, *args, **kwargs):
        print('__call__: ', args, kwargs)

>>> c = cls()
>>> c(1,2,3,x=4,y=5)
__call__:  (1, 2, 3) {'x': 4, 'y': 5}

>>> callable(c)
True

将类定义为一个可调用对象是很是有用的，它能够像函数同样去修饰、扩展其它内容的功能，特别是编写装饰器类的时候。

例如，正常状况下写装饰器总要返回一个新装饰器函数，可是想要直接使用类做为装饰器，就须要在这个类中定义__call__，将__call__做为函数装饰器中的装饰器函数wrapped()。下面是一个示例：

import types
from functools import wraps

class DecoratorClass():
    def __init__(self, func):
        wraps(func)(self)
        self.callcount = 0
    def __call__(self, *args, **kwargs):
        self.callcount += 1
        return self.__wrapped__(*args, **kwargs)
    def __get__(self, instance, cls):
        if instance is None:
            return self
        else:
            return types.MethodType(self, instance)

上面是装饰器类，能够像函数装饰器同样去装饰其它函数。

@DecoratorClass
def add(x, y):
    return x + y

>>> add(2,3)
5
>>> add(3,4)
7
>>> add.callcount
2

判断对象是否可调用的几种方式

根据前面的说明可知，判断一个对象是不是可调用的依据有2种方式：

1. 使用内置函数callable(X)，X可调用则返回True，不然False
   • 注：返回False必定表示不可调用，但返回True不表明必定可调用
     
2. 判断是否认义了__call__方法。使用hasattr(obj,'__call__')便可判断

>>> callable(c)
True

>>> hasattr(c,'__call__')
True

__slots__

python是一门动态语言，并且是极其开放的动态语言。在面向对象上，它容许咱们随意地、任意时间地添加属性。例如：

class cls():
    attr1 = 111     # 在类中添加属性
    def __init__(self):
        self.attr2 = 222   # 添加实例对象的属性

>>> c = cls()
>>> c.attr3 = 333    # 在类的外部添加属性
>>> c.__dict__.keys()
dict_keys(['attr2', 'attr3'])

若是想要限定对象只能拥有某些属性，可使用__slots__来限定，__slots__能够指定为一个元组、列表、集合等。

例如：

class cls():
    __slots__ = ['a', 'b']

>>> c = cls()
>>> c.a=13
>>> c.b=14
>>> c.cc=15     # 报错
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
AttributeError: 'cls' object has no attribute
'cc'

但注意：

1. __slots__定义在类级别上，它仅仅只限定实例对象属性，不会限制类属性
   
2. __slots__不会被子类继承
   
3. __slots__定义后，对象默认就没有了__dict__属性
   • 但能够将__dict__放进__slots__的范围内来容许__dict__
     
4. 还有几个注意点在下面的示例中解释

例如：

class cls():
    __slots__ = ['a', 'b']
    x = 13      # 容许定义类属性

c = cls()
c.a = 14
c.b = 15
cls.y = 16   # 容许定义类属性

print(c.x, c.a, c.b, c.y)

print(cls.__dict__.keys()) # 类有__dict__属性
print(c.__dict__.keys())   # 报错，对象没有__dict__属性

能够将__dict__放进__slots__中，使得对象能够带有属性字典。但这会让__slots__的限定失效：实例对象能够继续添加任意属性，那些不在__slots__中的属性会加入到__dict__中。

class cls1():
    __slots__ = ['a', 'b', '__dict__']

cc = cls1()
cc.a = 14
cc.b = 15
cc.c = 16
cc.d = 17
print(cc.__slots__)
print(cc.__dict__.keys())

输出结果：

['a', 'b', '__dict__']
dict_keys(['c', 'd'])

由于子类不会继承父类的__slots__，因此若是父类中没有定义__slots__的话，由于子类能够访问父类的__dict__，这会使得子类自身定义的__slots__的属性限定功能失效。

class cls1():
    pass

class cls2(cls1):
    __slots__ = ['a', 'b']

ccc = cls2()
ccc.a=13
ccc.b=14
ccc.ddd=15

print(ccc.__slots__)
print(ccc.__dict__.keys())

结果：

['a', 'b']
dict_keys(['ddd'])

多重继承和__mro__和super()

python支持多重继承，只需将须要继承的父类放进子类定义的括号中便可。

class cls1():
    ...

class cls2():
    ...

class cls3(cls1,cls2):
    ...

上面cls3继承了cls1和cls2，它的名称空间将链接到两个父类名称空间，也就是说只要cls1或cls2拥有的属性，cls3构造的对象就拥有(注意，cls3类是不拥有的，只有cls3类的对象才拥有)。

但多重继承时，若是cls1和cls2都具备同一个属性，好比cls1.x和cls2.x，那么cls3的对象c3.x取哪个？会取cls1中的属性x，由于规则是按照(括号中)从左向右的方式搜索父类。

再考虑一个问题，若是cls1中没有属性x，但它继承自cls0，而cls0有x属性，那么，c3.x取哪一个属性。

这在python 3.x中是一个比较复杂的问题，它根据MRO(Method Resolution Order)算法来决定多重继承时的访问顺序，这个算法的规则能够总结为：先左后右，先深度再广度，但必须遵循共同的超类最后搜索。

下面是一个访问顺序图示：

每一个类都有一个__mro__属性，这个属性是一个元组，从左向右的元素顺序表明的是属性搜索顺序。

class D():
    pass
class C(D):
    pass
class B(D):
    pass
class A(B, C):
    pass

>>> A.__mro__
(<class '__main__.A'>, <class '__main__.B'>, <class '__main__.C'>, <class '__main__.D'>, <class 'object'>)
>>> D.__mro__
(<class '__main__.D'>, <class 'object'>)

不只多重继承时是按照MRO顺序进行属性搜索的，super()引用的时候也同样是按照mro算法来引用属性的，因此super并不必定老是引用父类属性。

例如：

class D():
    def __init__(self):
        print("D")

class C(D):
    def __init__(self):
        print("C")
        super().__init__()

class B(D):
    def __init__(self):
        print("B")
        super().__init__()  # 调用的不是父类D的构造方法

class A(B, C):
    def __init__(self):
        print("A")
        super().__init__()

a = A()

输出结果为：

A
B
C
D

面向对象中，通常不推荐使用多重继承，由于很容易出现属性引用混乱的问题，并且有些面向对象的语言根本就不支持多重继承。但在Python中，使用多重继承的状况也很是多，若是真的要使用多重继承，必定要设计好类。一种更好的方式是使用Mixin类，见下文。

关于Mixin

Mixin的wiki页：https://en.wikipedia.org/wiki/Mixin

对于那些想要从多个类中继承的方法，若是想要避免多重继承可能引发的属性混乱，能够将这些方法单独编写到一个类中，而这个功能/方法相对单一的类称为Mixin类。

Mixin类经过特殊的多重继承方法来扩展主类的功能，却又很安全，不会出现多重继承时属性混乱的问题。

例如：

class Mixin1():
    def test1(self):
        print("test1 method provided by Mixin1")

class Mixin2():
    def test2(self):
        print("test2 method provided by Mixin1")

class Base():
    def mymethod(self):
        print("mymethod is the base method")

class Myclass(Mixin1, Mixin2, Base):
    pass

上面的Mixin1和Mixin2是Mixin类，它们都只有一个方法，功能很是单一，它们能够看做是Base类的功能扩充类，也能够认为Mixin类是主类Include的类。

例如wiki页中给的一个例子，class TCPServer中提供了UDP/TCP server的功能，这时每一个链接都经过一个相同的进程进行处理。可是能够将class ThreadingMixIn经过Mixin的方法对TCPServer进行扩充：

class ThreadingTCPServer(ThreadMixIn, TCPServer):
    pass

这至关于将ThreadingMixIn类中的方法添加到了TCPServer类中，使得每一个新链接都会建立一个新的线程，这个功能是ThreadMixIn提供的，但看上去做用在TCPServer上。

关于Mixin类，有几个编码规范须要遵照：

1. 类名使用Mixin结尾，例如ListMixin、AbcMixin
   
2. 多重继承时Mixin类放在主类的前面，或者说主类放在最后面，避免主类有和Mixin类中重名函数而使得Mixin类失效
   
3. Mixin类中不规定只能定义一个方法，而是少定义一点，让功能尽可能单1、独立

抽象类

抽象类是指：这个类的子类必须重写这个类中的方法，且这个类无法进行实例化产生对象。

先说明在Python中如何定义抽象类。Python中的abc模块(Abstract Base Classes)专门用来实现抽象类、接口。

例如，在设计某个程序的缓存接口时，想要让它将来既可使用普通的cache，也可使用redis缓存。那么只须要定义一个抽象的类Cache，里面实现两个抽象方法get()和set()，之后不管使用普通的cache仍是redis缓存，都只需让这两种缓存类型实现且必须实现get()和set()便可。

import abc

class Cache(metaclass=abc.ABCMeta):
    @abc.abstractmethod
    def get(self, key):
        pass

    @abc.abstractmethod
    def get(self, key, value):
        pass

# 子类继承时，必须实现这两个方法
class CacheBase(Cache):
    def get(self, key):
        pass
    def set(self, key, value):
        pass

class Redis(Cache):
    def get(self, key):
        pass
    def set(self, key, value):
        pass

若是子类没有实现或者少实现了抽象类中的方法，在构造子类实例化对象的时候就会当即报错。

在Python中大多数时候不建议直接定义抽象类，这可能会形成过分封装/过分抽象的问题。若是想要让子类必须实现父类的某个方法，能够在父类方法中加上raise来抛出异常NotImplementedError，这时若是子类对象没有实现该方法，就会查找到父类的这个方法，从而抛出异常。

class Cache():
    def get(self, key):
        raise NotImplementedError("must define get method")
    def set(self, key):
        raise NotImplementedError("must define set method")

使用raise NotImplementedError的方式来模拟抽象类，它只有在调用到set/get的时候才会抛异常，在实例化对象的时候或者没有调用到这两个方法的时候不会报错。