本文详解如何为 signal.signal() 的 handler 参数添加准确的类型提示，包括必需的导入、参数类型定义（如 frametype 和 int），以及 self 类型注解的最佳实践。
本文详解如何为 signal.signal() 的 handler 参数添加准确的类型提示，包括必需的导入、参数类型定义（如 frametype 和 int），以及 self 类型注解的最佳实践。
在 Python 中为 signal.signal() 注册的信号处理器（handler）添加类型提示时，需严格遵循其 CPython 运行时约定和标准库类型定义。handler 函数必须接受两个参数：signum（信号编号，类型为 int）和 frame（当前栈帧，类型为 types.FrameType | None），且返回值应为 None。
关键点如下：
- ✅
signum是整数（int），对应signal.Signals枚举成员的底层值（如signal.SIGINT == 2）； - ✅
frame类型来自types.FrameType，不可用inspect.Frame或types.FrameType的别名，且必须允许为None（例如在某些信号处理场景中，如SIGKILL不触发 Python 层 handler，但类型系统需兼容）； - ✅ 若 handler 是实例方法，推荐使用
Self（Python 3.11+）或typing_extensions.Self（旧版本）标注self，确保类型检查器理解绑定方法的签名； - ❌ 不要省略
frame: FrameType | None—— 即使逻辑中未使用frame，类型提示也必须完整，否则 mypy/pyright 会报错。
以下是可直接运行并被主流类型检查器（mypy、pyright）正确识别的示例：
from types import FrameType
import signal
from typing import Self # Python 3.11+；若使用 3.10 或更早，请 pip install typing_extensions 并用 from typing_extensions import Self
class SomeClass:
def __init__(self: Self) -> None:
signal.signal(signal.SIGINT, self.handler)
def handler(self: Self, signum: int, frame: FrameType | None) -> None:
print(f"Received signal {signum}")
# frame 可用于调试（如 traceback.print_stack(frame)），但可能为 None
if frame is not None:
import traceback
traceback.print_stack(frame, limit=3)
⚠️ 注意事项：
-
FrameType必须从types模块导入，而非sys或inspect； -
signal.signal()的 handler 类型在signal模块内部定义为Callable[[int, FrameType | None], None]，因此自定义 handler 必须严格匹配该签名； - 若 handler 定义为静态方法或函数（非绑定方法），则无需
Self，但参数仍为(signum: int, frame: FrameType | None) -> None； - 在生产环境中，避免在 handler 中执行复杂操作（如 I/O、锁等待），因信号处理上下文受限且不可重入。
掌握这一类型签名，不仅能提升代码可维护性与 IDE 支持度，还能在早期捕获类型不匹配错误，是编写健壮信号处理逻辑的重要基础。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
