python中的动态分派和继承

python中的动态分派和继承,python,dynamic-dispatch,Python,Dynamic Dispatch,我正在尝试修改Guido的multimethod(动态调度代码): 来处理继承和可能的无序参数 e、 g.(继承问题) 有没有比反复检查每个项目的super()直到找到一个更好的方法 e、 g.(参数排序问题) 我是从碰撞检测的角度考虑这个问题的 e、 g 两者都应该触发吗 foo(Car,Truck) # Note: @multimethod(Truck,Car) will throw an exception if @multimethod(Car,Truck) was registere

我正在尝试修改Guido的multimethod(动态调度代码):

来处理继承和可能的无序参数

e、 g.(继承问题)

有没有比反复检查每个项目的super()直到找到一个更好的方法

e、 g.(参数排序问题) 我是从碰撞检测的角度考虑这个问题的

e、 g

两者都应该触发吗

foo(Car,Truck) # Note: @multimethod(Truck,Car) will throw an exception if @multimethod(Car,Truck) was registered first?
我正在寻找一个“优雅”的解决方案。我知道我可以用蛮力来克服所有的可能性,但我正在努力避免这种情况。我只是想在坐下来敲定解决方案之前得到一些意见/想法

谢谢

super()
返回一个代理对象,而不是父类(因为您可以有多个继承),所以这不起作用。使用
isinstance()
是最好的选择,尽管没有办法使它像使用
type(arg)
查找字典那样优雅


我不认为允许其他参数排序是个好主意;它很容易导致令人不快的惊喜,并且使它与继承兼容也是一个令人头疼的问题。但是,为“如果所有参数都是a类型,则使用此函数”或“如果所有参数都是{a,B,E}类型,则使用此函数”创建第二个修饰符将非常简单。

关于继承问题:这可以通过稍微更改MultiMethod来完成。(遍历self.typemap并使用
issubclass
检查):


请注意,
self.typemap
是一个dict,dict是无序的。因此,如果使用@multimethod注册两个函数,其中一个函数的类型是另一个函数的子类,那么
foo
的行为可能是未定义的。也就是说,结果将取决于self.typemap中typemap\u类型在循环
中首先出现的
typemap\u类型

您可能想看看PEAK Rules,它是python中通用分派的另一个实现,可以处理继承。
foo(Car(),Truck()) and
foo(Truck(), Car()) and
foo(Car,Truck) # Note: @multimethod(Truck,Car) will throw an exception if @multimethod(Car,Truck) was registered first?
registry = {}

class MultiMethod(object):
    def __init__(self, name):
        self.name = name
        self.typemap = {}
    def __call__(self, *args):
        types = tuple(arg.__class__ for arg in args) # a generator expression!
        for typemap_types in self.typemap:
            if all(issubclass(arg_type,known_type)
                   for arg_type,known_type in zip(types,typemap_types)):
                function = self.typemap.get(typemap_types)
                return function(*args)
        raise TypeError("no match")
    def register(self, types, function):
        if types in self.typemap:
            raise TypeError("duplicate registration")
        self.typemap[types] = function

def multimethod(*types):
    def register(function):
        name = function.__name__
        mm = registry.get(name)
        if mm is None:
            mm = registry[name] = MultiMethod(name)
        mm.register(types, function)
        return mm
    return register

class A(object):
  pass

class B(A):
    pass

class C(object):
    pass

@multimethod(A,A)
def foo(arg1,arg2):
  print 'works'


foo(A(),A()) #works

foo(A(),B()) #works

foo(C(),B()) #raises TypeError