Python如何为带默认参数的函数定义Callable类型消除PyCharm警告

你当前使用的Callable[[str, Optional[int]], str]标注语义是「接受两个必填参数，第一个为str类型，第二个为int/None类型，返回str」，和length参数带默认值、可选传入的实际语义不匹配，因此PyCharm会触发缺少参数的警告。

方法1：PEP 677 简洁写法（Python 3.12+ 或引入typing_extensions） #

PEP 677 扩展了Callable的标注语法，给带默认值的参数添加= ...标记，即可表示该参数可选传入：

# Python 3.12+ 原生支持
from typing import Callable

def create_object() -> Callable[[str, int = ...], str]:
   def create(name: str, length: int = 10) -> str:
      # 执行相关逻辑
      return f"{name}_{length}"
   return create

如果是低于3.12的Python版本，安装typing_extensions后导入其提供的Callable即可使用该语法：

pip install typing-extensions

from typing_extensions import Callable
from typing import Optional

def create_object() -> Callable[[str, int = ...], str]:
   def create(name: str, length: int = 10) -> str:
      return f"{name}_{length}"
   return create

方法2：Protocol 自定义可调用类型（Python 3.8+ 兼容性最优） #

如果需要兼容更多版本，或者函数签名更复杂（有关键字参数、可变参数等），可以用Protocol精准定义可调用对象的签名：

from typing import Protocol

class CreateFunc(Protocol):
    def __call__(self, name: str, length: int = 10) -> str: ...

def create_object() -> CreateFunc:
   def create(name: str, length: int = 10) -> str:
      return f"{name}_{length}"
   return create

该写法所有主流类型检查工具（PyCharm、mypy、pyright）都支持，语义表达最精确。

不要使用Callable[..., str]规避警告，该写法会丢失所有参数的类型校验能力，完全失去类型标注的意义。

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