封装sys.exit()到函数后Pylance报未绑定变量，如何解决？

方法一：给log_exit函数添加Never返回类型注解 #

Pylance无法自动识别自定义函数会终止程序执行，通过标注返回类型为Never，可以明确告诉类型检查器：这个函数永远不会正常返回，调用后的代码路径不会被执行。

Python 3.10+可直接使用typing.Never，低于3.10版本需导入typing_extensions.Never，修改后的代码如下：

import logging
import sys
from typing import Never  # Python 3.10+
# from typing_extensions import Never  # Python <3.10

def log_exit(
    msg: str | Exception
) -> Never:
    logging.error("error, msg {}".format(msg))
    sys.exit(1)
     
try:
    a = 1
except Exception as e:
    log_exit(e)

b = a + 1  # 此时Pylance不会再警告a未绑定

方法二：将sys.exit(1)替换为raise SystemExit(1) #

sys.exit(n)本质是抛出SystemExit异常，直接在函数中抛出该异常，Pylance能识别这是程序终止路径，从而消除误报：

import logging
import sys

def log_exit(
    msg: str | Exception
) -> None:
    logging.error("error, msg {}".format(msg))
    raise SystemExit(1)
     
try:
    a = 1
except Exception as e:
    log_exit(e)

b = a + 1  # 无警告

临时应急方案：使用# type: ignore注释 #

如果不想修改函数逻辑，可在警告行添加注释强制忽略类型检查，但该方法会掩盖真实类型问题，仅建议临时使用：

b = a + 1  # type: ignore

内容的提问来源于stack exchange，提问作者blex-max