如何使用Python类型提示模拟带运行时边界的值并执行静态分析

我完全懂你现在的处境——要对接不能修改的外部代码，还要靠静态分析揪出那些逻辑上不可能触发的分支，同时又不能给运行时套上紧箍咒。下面给你几个实用的方案，都是基于Python类型系统和主流静态分析工具（比如mypy）来实现的：

方案1：NewType + 类型守卫（无需额外插件） #

这个方案用标准库的类型工具，让静态分析工具识别出值的范围，同时完全不限制运行时的灵活性：

from typing import NewType, TypeGuard

# 创建一个名义类型，专门代表1-100的整数
BoundedInt1To100 = NewType("BoundedInt1To100", int)

def is_bounded_1_to_100(val: int) -> TypeGuard[BoundedInt1To100]:
    # 运行时直接返回True，不做任何限制
    return True

class MockMyClass:
    def __init__(self, min_val: int, max_val: int, value: int):
        self.min = min_val
        self.max = max_val
        self._value = value
    
    @property
    def ival(self) -> BoundedInt1To100:
        # 通过类型守卫告诉静态分析工具：这个值属于受限类型
        return is_bounded_1_to_100(self._value) and self._value

mock100 = MockMyClass(1, 100, 50)

# 用mypy分析时，这个分支会被标记为"条件永远为假"的不可达代码
if mock100.ival > 220:
    print("This should be flagged as unreachable since 220 exceeds max value of 100.")

原理：NewType让静态分析工具把BoundedInt1To100当成和普通int不同的类型，而TypeGuard函数则向工具承诺“这个值符合1-100的范围”。运行时我们跳过实际校验，完全不影响代码的灵活性。

方案2：利用assert语句（最简实现） #

如果不想额外定义类型，用assert就能快速实现需求，只要记得在运行时关闭断言即可：

class MockMyClass:
    def __init__(self, min_val: int, max_val: int, value: int):
        self.min = min_val
        self.max = max_val
        self._value = value
    
    @property
    def ival(self) -> int:
        # 静态分析工具会识别这个assert，认为值一定在min和max之间
        assert self.min <= self._value <= self.max
        return self._value

mock100 = MockMyClass(1, 100, 50)

# mypy会判断这个条件永远不成立，标记为不可达代码
if mock100.ival > 220:
    print("This should be flagged as unreachable since 220 exceeds max value of 100.")

注意事项：运行时要加上-O参数（比如python -O your_script.py），这样断言会被自动忽略，允许值超出范围；如果不加-O，断言会触发，限制运行时的值。

方案3：Annotated + mypy插件（更灵活的元数据方式） #

如果需要给类型附加更多元数据（比如动态范围），可以用Annotated结合支持范围校验的mypy插件：

from typing import Annotated

# 用Annotated给int附加范围元数据
BoundedInt1To100 = Annotated[int, {"min": 1, "max": 100}]

class MockMyClass:
    def __init__(self, min_val: int, max_val: int, value: int):
        self.min = min_val
        self.max = max_val
        self._value = value
    
    @property
    def ival(self) -> BoundedInt1To100:
        return self._value

mock100 = MockMyClass(1, 100, 50)

# 搭配支持Annotated范围校验的mypy插件，就能识别出这个不可达分支
if mock100.ival > 220:
    print("This should be flagged as unreachable since 220 exceeds max value of 100.")

原理：Annotated允许给类型添加任意元数据，虽然默认mypy不会处理这些数据，但有很多第三方插件可以识别这些元数据，实现静态范围校验。

根据你的需求，我优先推荐方案1或者方案2：方案1类型定义清晰，不依赖运行时参数；方案2代码最简洁，只要注意运行时的-O参数即可。

备注：内容来源于stack exchange，提问作者Vladimir Gromes