京公网安备11010502063487号本机真实用mypy验证TypedDict的必填/可选字段约束，并证明运行时它就是一个普通dict，isinstance检查会直接抛TypeError。
本机真实用sys.getsizeof对比四种数据结构写法的内存占用和可变性，发现NamedTuple比dataclass更重、TypedDict最重也最不设防。
本机真实验证overload按参数类型精确匹配返回类型，同时证明运行时真正执行的永远只有那份未被装饰的实现。
本机真实用cast()验证类型谎言在运行时零成本、延迟到真正使用时才暴露，再用isinstance验证参数化泛型的类型擦除边界。
本机真实对比有无类型标注的函数在调用同一个不存在的方法时mypy的反应差异，找出隐式Any这个最常见的检查盲区。
本机真实验证Python 3.14的PEP 649延迟注解求值机制，注解表达式的真正计算成本被推迟到首次访问__annotations__那一刻。
本机真实验证count()的有状态无限性、groupby只按连续元素分组的经典陷阱，以及product代表百万级组合空间时近乎零成本的懒惰内存占用。
本机真实对partial对象再包一层partial，验证.func/.args/.keywords内省属性，以及嵌套partial在构造时展平合并到最底层函数的实现细节。
本机真实验证singledispatch沿MRO链条查找handler，子类没单独注册也能自动命中父类handler，并量出这份灵活性真实的调用开销。
本机真实验证defaultdict的[]读取会插入幽灵key而.get()不会，Counter减法丢弃非正数结果，以及ChainMap是活视图而非快照。
本机真实检查heapify后的底层列表，证明堆序是比完全排序弱得多的不变量，完全排序需要付出跟sorted()同量级的代价。
本机真实验证bisect_left/right对重复值区间的边界定位，并故意对乱序数据调用bisect，证明它不会报错只会静默给出毫无意义的结果。