PR Category

Execute Infrastructure

PR Types

Improvements

Description

Under @SigureMo ’s guidance, this PR enables the use of the super function within SOT. Once merged, encountering super will no longer trigger a breakgraph.

在这里记录一下需要注意的地方:

• super() 参数为空时，在函数 handle_super_init_without_args 中从 vframe 中取出 super() 的参数
  • py3.11 不再使用 CALL_FUNCTION 这个字节码，所以要在 PRECAL 与 CALL 中添加 super() 的参数，见commit fec5355
  • py3.12 之后添加了字节码 LOAD_SUPER_ATTR 这个字节码，这个优化指令将多个操作合并为一步，使 super() 调用更高效，见commit 35bbd41
  • py3.13 会在编译期，将 super 的参数自动填入，所以并没有调用 handle_super_init_without_args
• SuperVariable 的 getattr 中，取 __mro__ 部分用 GetAttrTracker 跟踪；多重继承中，从 __mro__[1:] 开始查找属性/方法；bind 过程中，是 function 持有 instance 而不是 instance 持有 function

    def getattr(self, name: str, default=None) -> VariableBase:
        from .callable import FunctionVariable
        mro = VariableFactory.from_value(
            self.cls.get_py_value().__mro__,
            self.graph,
            GetAttrTracker(self.cls, "__mro__"),
        )
        # `__mro__` contains currently class, so remove it
        super_mro = mro.get_wrapped_items()[1:]
        for super_cls in super_mro:
            if not super_cls.hasattr(name):
                continue
            attr = super_cls.getattr(name)
            if isinstance(attr, FunctionVariable):
                attr = attr.bind(self.obj, name)
            return attr

• self.function(*args, **kwargs) 实际上等价于 self.__class__.function.__get__(self, self.__class__)(*args, **kwargs) , 即 Python 描述符协议

PCard-66972