基於裝飾器和inspect模組對函式引數型別進行檢查。

from functools import wraps
from inspect import signature


def assert_type(*type_args, **type_kwargs):
    def dec(fn):
        sig = signature(fn)
        bound_types = sig.bind_partial(*type_args, **type_kwargs).arguments

        @wraps(fn)
        def wrapper(*args, **kwargs):
            bound_values = sig.bind(*args, **kwargs)
            for name, value in bound_values.arguments.items():
                if name in bound_types:
                    if not isinstance(value, bound_types[name]):
                        raise TypeError('Argument {} must be {}'.format(name, bound_types[name]))

            return fn(*args, **kwargs)

        return wrapper

    return dec

　　上面的程式碼中，使用inspect中的signature方法獲取了fn的Signature簽名，然後使用bind_partial方法建立了(*type_args, **type_kwargs)到func引數的對映(也就是一個字典)。

# 使用
@assert_type(a=int, b=int)
def add(a, b=1):
　　return a+b