使用类包装器和 __new__ 装饰类

Code:

import functools


class MyInt1(int):

    def __new__(cls, x, value):
        print("MyInt1.__new__", cls, x, value)
        return super().__new__(cls, x, base=2)

    def __init__(self, x, value):
        print("MyInt1.__init__", self, x, value)
        self.value = value
        super().__init__()


class MyInt2:

    def __init__(self, x, value):
        print("MyInt2.__init__", self, x, value)
        self.value = value


def decorator(class_):

    class Wrapper(class_):

        def __new__(cls, *args, **kwargs):
            print("Wrapper.__new__", cls, args, kwargs)
            obj = super().__new__(cls, *args, **kwargs)
            ...
            return obj

        def __init__(self, *args, **kwargs):
            print("Wrapper.__init__", self, args, kwargs)
            functools.update_wrapper(self, class_)
            super().__init__(*args, **kwargs)

    return Wrapper


c = decorator(MyInt1)("101", 42)
print(c, c.value)
c = decorator(MyInt2)("101", 42)
print(c, c.value)

Output:

Wrapper.__new__ <class '__main__.decorator.<locals>.Wrapper'> ('101', 42) {}
MyInt1.__new__ <class '__main__.decorator.<locals>.Wrapper'> 101 42
Wrapper.__init__ 5 ('101', 42) {}
MyInt1.__init__ 5 101 42
5 42
Wrapper.__new__ <class '__main__.decorator.<locals>.Wrapper'> ('101', 42) {}
Traceback (most recent call last):
  File "tmp2.py", line 42, in <module>
    c = decorator(MyInt2)("101", 42)
  File "tmp2.py", line 28, in __new__
    obj = super().__new__(cls, *args, **kwargs)
TypeError: object() takes no parameters

• 如果我真的不知道传递给装饰器的类是什么，应该如何处理？
• 为什么它不适用于常见模式？
• 为什么默认__new__不接受__init__论点？

我发现的唯一方法是inspect.isbuiltin检查super().__new__和分支，但这很脏。

很难找到有关 Python 基类（对象）行为的详细信息，该行为是为了实际实现而实现的__init__创建新类时：

object's own __init__ and __new__除此之外，方法不带任何参数self and cls。然而，如果它们是从子类（恰好是 Python 中定义的所有其他类）调用的，这些方法的每个方法都会检查子类是否定义了其中一个而不是另一个（即对象的__init__检查正在实例化的类是否也已定义__new__或不）。

如果任一方法发现相反的方法已被覆盖而其本身没有被覆盖，它只会吞掉任何额外的参数：因此是一个用户的类__init__可以有参数，而不必担心相同的参数 - 将被传递给object.__new__会导致错误，

因此，您遇到的问题是，在此检查期间，例如，对象的__new__发现你的包装纸有__init__定义 - 因此它不会吞咽任何参数 - 和错误，因为有额外的参数。

如果您保留此模式，解决此问题的唯一方法是在装饰器中重新实现相同的逻辑：

def decorator(class_):

    def has_method(cls, meth):
        # (FIXME:the check bellow does not take in account other applications of this decorator)
        return any(meth in ancestor.__dict__ for ancestor in cls.__mro__[:-1]):

    def has_new(cls):
        return has_method(cls, "__new__")

    def has_init(cls):
        return has_method(cls, "__init__")

    class Wrapper(class_):

        def __new__(cls, *args, **kwargs):
            print("Wrapper.__new__", cls, args, kwargs)
            if  (args or kwargs) and not has_new(cls) and has_init(cls):
                args, kwargs = (), {}
            obj = super().__new__(cls, *args, **kwargs)
            ...
            return obj

        def __init__(self, *args, **kwargs):
            print("Wrapper.__init__", self, args, kwargs)
            functools.update_wrapper(self, class_)
            cls = self.__class__
            if (args or kwargs) and not has_init(cls) and has_new(cls):
                args, kwargs = (), {}
            super().__init__(*args, **kwargs)

    return Wrapper

https://mail.python.org/pipermail/python-list/2016-March/704027.html https://mail.python.org/pipermail/python-list/2016-March/704027.html是存在这种行为的暗示 - 我已经在官方文档中看到过它，但在某些地方我不记得是哪个。