Python 3.12+VS Code(PyLance)泛型类型检查为何未按预期报错？

你的问题核心在于Python类型系统遵循PEP-0484定义的数值塔规则：bool <: int <: float，也就是bool是int的子类，int又是float的子类，所以类型检查器会认为bool类型的值符合Prop[float]的泛型约束——这完全是按规则执行的结果。

至于为什么类型检查器不阻止这种容易引发逻辑问题的转换，原因有两个：

1. 贴合Python运行时行为：在Python实际运行中，True确实可以隐式转换为1.0，False转为0.0，不会抛出异常。类型检查器的核心目标是保证代码在运行时的类型安全，而非预判业务逻辑是否合理——如果强制禁止bool转float，反而会出现「代码运行没问题但类型检查报错」的假阳性，违背类型检查的初衷。
2. 类型系统的设计权衡：Python是动态语言，类型系统是逐步引入的，需要兼容既有的代码生态。数值塔规则是为了适配Python中数值类型的隐式转换特性，避免过度严格的类型检查破坏现有代码的兼容性。

如果你确实需要严格限制Prop[float]只能接收float类型（排除bool和int），有两种解决方案：

• 自定义严格类型约束：使用TypeVar指定严格的类型范围，而非允许子类型的bound参数：

  from typing import TypeVar, Generic
  
  # 限制T只能是float本身，不接受任何子类型
  StrictFloatT = TypeVar('StrictFloatT', float)
  
  class Prop(Generic[StrictFloatT]):
      def __init__(self, value: StrictFloatT):
          self.value = value
  
  Prop(3.14)  # 正常通过类型检查
  Prop(True)  # PyLance会触发类型错误
  Prop(1)     # 同样会触发类型错误
  

• 修改PyLance全局设置：在VS Code的设置中搜索python.analysis.useNumericTower，将其设置为false，数值塔规则会被禁用，此时bool和int都不会被识别为float的子类型。

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