可调用实例参数的表示法是什么?

What is the notation for a callable instance parameter?

我正在尝试找到最优雅的方式来帮助 IntelliSense 捕获可调用对象的预期参数集。

考虑以下代码:

class Box:
    def __init__(self, f: callable) -> None:
        self.f: callable = f

    def callF(self):
        self.f(self, 5, 6, 77, 65)

可以看到,可调用对象 f 没有在参数中明确定义。

我可以尝试用委托修复它:

from __future__ import annotations

class Box:

    class BoxFDelegate:
        def f(self, a:int, b:int, c:int, d:int):
            pass

    def __init__(self, f: Box.BoxFDelegate.f) -> None:
        self.f: Box.BoxFDelegate.f = f

    def callF(self):
        self.f(self, 5, 6, 77, 65)

委托模式很棒,但它需要在代码主体的其他地方子class委托:

class D(Box.BoxFDelegate):
    def f(self, a:int, b:int, c:int, d:int):
        ...

class Main:
    def boxing():
        boxDelegate = D()
        box = Box(boxDelegate)
        ...

作为委托的一种可能变体,是将委托方法包含到 Main class:

class Main(Box.BoxFDelegate):
    def boxing():
        box = Box(self.f)
        ...

    def f(self, a:int, b:int, c:int, d:int):
        ...

这个符号更短,但是如果我有很多不同的 class Box 个实例怎么办?

在完美世界中,我可以通过以下方式完成这样的问题:

class Main(Box.BoxFDelegate):
    def boxing():
        boxes = [
                    Box(lambda a, b, c, d: ...),
                    Box(lambda a, b, c, d: ...),
                    Box(lambda a, b, c, d: ...),
                ]

不幸的是,这种方式是只写的。

如何做到类型简洁,不被后期维护代码的开发者暴打?

请看@SuperStormer 的评论。结果应该是这样的:

from __future__ import annotations
from typing import Callable


class Box:
    def __init__(self, f: Callable[[Box, int, int, int, int], None]) -> None:
        self.f = f

    def call_f(self) -> None:
        self.f(self, 5, 6, 77, 65)