Python中哪些调用不触发__call__？如何判断可调用对象调用依赖？

我的问题答案可能依赖于Python解释器的实现，我想了解所有主流Python解释器（尤其是CPython）下的情况。

先看一个可调用对象c的示例：

class C:
    def __call__(self):
        pass

c = C()

调用这个c会触发c.__call__，而该方法可能还会递归调用自身的__call__。但并非所有可调用对象c在调用链中都会始终依赖c.__call__。

举个具体例子：假设cls是types.WrapperDescriptorType类，取get := vars(cls)["__get__"]这个可调用对象，调用它时无法始终依赖get.__call__——因为get的类型就是cls，而call := vars(cls)["__call__"]的类型也是cls！如果获取get.__call__需要用到get.__get__，那获取过程中会在某个环节调用get（比如get(get, get, cls)）。实际上，get.__call__并不是通过call.__get__(get, cls)获取的，而是通过get(call, get, cls)获取的。

核心问题：给定一个可调用对象c，如何判断调用它是否始终依赖c.__call__？

我需要一种尽可能健壮、适用于未来所有Python版本的方法。

1. 核心判断逻辑：区分两类可调用对象 #

调用行为是否依赖c.__call__，本质上取决于该对象属于Python层面可重载__call__的用户态对象，还是解释器内置的底层可调用结构：

• 普通用户定义类的实例、函数、方法等，调用时必然触发__call__的查找逻辑——这类对象的调用行为完全遵循Python的方法解析机制（MRO）。
• 像types.WrapperDescriptorType这类内置描述符对象，属于解释器核心实现的底层结构，它们的调用逻辑直接由解释器核心代码（比如CPython的C层）处理，不会走常规的__call__属性查找流程，甚至它们的__call__属性本身就是通过自身的__get__逻辑动态生成的。

2. 健壮的判断实现 #

要实现跨版本、跨解释器的可靠判断，关键是识别并排除解释器内置的、绕过常规__call__机制的类型：

import inspect
import types

def relies_on_call(c):
    # 定义解释器内置的、不依赖__call__的可调用类型集合
    builtin_no_call_types = (
        types.WrapperDescriptorType,
        types.MethodWrapperType,
        types.MethodDescriptorType,
        types.ClassMethodDescriptorType,
        types.BuiltinFunctionType,
        types.BuiltinMethodType
    )
    # 先排除内置底层类型
    if isinstance(c, builtin_no_call_types):
        return False
    # 类本身是可调用对象，依赖类的__call__方法创建实例
    if isinstance(c, type):
        return hasattr(c, "__call__")
    # 普通实例检查其类是否定义了__call__
    return hasattr(type(c), "__call__")

这个方法的核心逻辑：

• 先过滤掉所有已知的内置底层可调用类型，这类对象的调用逻辑完全由解释器核心处理，不依赖Python层面的__call__。
• 剩余的可调用对象（用户类、类实例、自定义函数等），调用时必然依赖自身或其类的__call__方法。

3. 跨解释器兼容性说明 #

• CPython：上述内置类型的定义明确，它们的调用逻辑直接在C层实现，完全绕过Python的__call__查找流程。
• PyPy：虽然虚拟机实现机制不同，但对用户态可调用对象的处理逻辑与CPython一致，内置底层对象同样不依赖Python层面的__call__。
• Jython/IronPython：核心内置可调用对象由Java/.NET层处理，同样不会触发Python层面的__call__方法。

关键结论 #

判断的核心是区分对象的归属：用户态可调用对象必然依赖__call__，解释器内置的底层可调用对象则直接由核心逻辑处理。通过维护内置底层类型的白名单并验证__call__的存在性，就能得到跨版本、跨解释器的健壮判断结果。

内容的提问来源于stack exchange，提问作者Takuo Matsuoka