python - 打字模块中的什么类型描述了一个类？什么类型描述了一个函数？

Question

Python 3.5 中的新typing模块提供了许多用于类型注释的工具。它是否提供了封装类概念的对象或类型？功能的概念如何？

在下面定义装饰器的代码中，应该代表什么class_？应该代表什么function？(typing.Callable是不够的，因为例如一个类是可调用的，但代码试图识别方法。) （模块本身的no_type_check()装饰器typing可能是这样行为的装饰器的原型。no_type_check()它本身没有任何注释，类型提示或其他。）

import typing

def is_double_underscore_name (name):
    return len(name) > 4 and name.startswith('__') and name.endswith('__')

# This code will not run, because 'class_' and 'function' are names that do not have any
# predefined meaning. See the text of the question.

# Note: This modifies classes in-place but (probably) does not modify functions in-place;
# this is not a considered design decision; it is just the easiest thing to do in a very
# basic example like this.
def do_something (class_or_function: typing.Union[class_, function]):
    if isinstance(class_or_function, class_):
        for name in class_or_function.__dict__:
            if not is_double_underscore_name(name):
                object = class_or_function.__dict__[name]
                if isinstance(object, function):
                    class_or_function.__dict__[name] = do_something(object)
        return class_or_function
    else:
        ... # return the function, modified in some way

Answer 1

类是类型的实例type。

函数的类型为types.FunctionType或types.BuiltinFunctionType。

方法的类型为types.MethodType或types.BuiltinMethodType。

types很长一段时间以来，它一直是 Python 的一部分。