4

我正在尝试修改 Guido 的多方法（动态调度代码）：

http://www.artima.com/weblogs/viewpost.jsp?thread=101605

处理继承和可能乱序的参数。

例如（继承问题）

class A(object):
  pass

class B(A):
  pass

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


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

foo(A(),B()) #fails

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

例如（参数排序问题）我从碰撞检测的角度考虑这个问题。

例如

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?

我正在寻找一个“优雅”的解决方案。我知道我可以通过所有的可能性暴力破解我的方式，但我试图避免这种情况。在坐下来敲定解决方案之前，我只是想获得一些输入/想法。

谢谢

4

2 回答 2

2

super()返回一个代理对象，而不是父类（因为你可以有多重继承），所以这是行不通的。使用isinstance()是你最好的选择，尽管没有办法让它像使用type(arg).

我认为允许替代参数排序不是一个好主意。它很容易导致令人讨厌的意外，并且使其与继承兼容也将是一个非常令人头疼的问题。然而，为“如果所有参数都是类型 A”或“如果所有参数都是类型 {A、B、E}”而创建第二个装饰器将非常简单。

于 2011-01-09T20:08:14.053 回答
2

关于继承问题：这可以通过对 MultiMethod 稍作改动来完成。（遍历 self.typemap 并检查issubclass）：

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

请注意，这self.typemap是一个字典，并且字典是无序的。因此，如果您使用@multimethod 注册两个函数，其中一个函数的类型是另一个函数的子类，那么其行为foo可能是未定义的。也就是说，结果将取决于typemap_types循环中哪个先出现for typemap_types in self.typemap。

于 2011-01-09T20:08:16.433 回答