将装饰器限制为受支持类的方法

如何解决将装饰器限制为受支持类的方法

我想写一个方法装饰器。例如，它是一个标准的互斥函数。

FuncT = typing.TypeVar("FuncT",bound=Callable)

def mutexed(fun: FuncT) -> FuncT:
    """
    Decorate a method to prevent multiple threads running it,or other mutexed methods from the same object,at the same time.
    """
    def inner(self,*args,**kwargs):
        with self._lock:
            return fun(self,**kwargs)
    return typing.cast(FuncT,inner)

此模式仅适用于方法，特别是仅适用于具有self._lock的类的方法。我们可以相当简单地描述此类，例如使用协议

class Lockable(Protocol):
    _lock: threading.Lock

我的问题是如何限制装饰器，以便MyPy会抱怨尝试装饰裸函数或非Lockable类的方法。

---

一种行不通的方法是将Callable类型的第一个参数明确为Lockable。例如，

FuncT = typing.TypeVar("FuncT",bound=Callable[[Lockable],Any])

（可以使用带有附加参数的支持方法，但会使示例变得冗长。）但是，即使这个简单示例也失败了，因为Callables的参数默认是互变的。对于Lockable的子类型的类并不满意，而是希望Lockable继承自此类！