用于参数化继承的元类

Question

我已经阅读了一些关于 Python 元类的教程。我以前从未使用过，但我需要一个相对简单的东西，而且所有教程似乎都针对更复杂的用例。我基本上想创建一个模板类，它具有一些预先指定的主体，但将其基类作为参数。因为我是从 C++/D 模板中得到这个想法的，所以这里有一个我想要编写的代码在 C++ 中的示例：

template<class T>
    class Foo : T {
        void fun() {}
    }

Answer 1

虽然它当然可以用元类来完成，但你可以在没有它们的情况下做你想做的事，因为在 Python 中，类本身就是对象。这意味着——令人惊讶的是——基本上只需要对 C++ 代码进行几乎一对一的翻译。除了因此相对简单之外，它还可以在 Python 2 和 3 中无需修改即可工作。

def template(class_T):
    """Factory function to create subclasses of class_T."""

    class Foo(class_T):
        def fun(self):
            print('%s.fun()' % self.__class__.__name__)

    Foo.__name__ += '_' + class_T.__name__  # rename the subclass to reflect its heritage
    return Foo

class Base1:
    def bar(self):
        print('Base1.bar()')

class Base2:
    def bar(self):
        print('Base2.bar()')

Foo_Base1 = template(Base1)
print('Foo_Base1 base classes: {}'.format(Foo_Base1.__bases__))

Foo_Base2 = template(Base2)
print('Foo_Base2 base classes: {}'.format(Foo_Base2.__bases__))

subclass1 = Foo_Base1()
subclass1.fun()
subclass1.bar()
subclass2 = Foo_Base2()
subclass2.fun()
subclass2.bar()

输出：

Foo_Base1 base classes: (<class __main__.Base1 at 0x00A79C38>,)
Foo_Base2 base classes: (<class __main__.Base2 at 0x00A79DC0>,)
Foo_Base1.fun()
Base1.bar()
Foo_Base2.fun()
Base2.bar()

（名称难以想象）template() 函数中的代码是通常称为class factory 的示例或工厂模式的实现。因此，顺便说一句，您可能会发现 my answer 对问题 What exactly is a Class Factory? 提供了丰富的信息。

编辑：添加了代码来为每个返回的子类创建不同的类名——这受到@aaronasterling 的洞察力（在现已删除的评论中）关于调试类时潜在混淆的启发制造的总是具有相同的名称。

Answer 2

这在 Python 中毫无意义，因为它没有模板。我对 C++ 中的参数化模板的理解（这是相当模糊的，因为我已经有很多年没有看过它们了），它就像一个类工厂，并且可以创建你给它的任何类的子类，它有额外的方法或添加的属性。

在 Python 中，您可以使用工厂函数执行此操作，该函数接受一个类并在运行时返回一个新类：

In [1]: def subclassFactory(cls):
   ...:     class Foo(cls):
   ...:         def fun(self):
   ...:             return "this is fun"
   ...:     return Foo
   ...: 

In [2]: class A(object):
   ...:     pass
   ...: 

In [5]: C = subclassFactory(A)

In [6]: C
Out[6]: <class '__main__.Foo'>
In [7]: c = C()
In [9]: c.fun()
Out[9]: 'this is fun'
In [10]: isinstance(c, A)
Out[10]: True