Pyright项目中TypedDict对实验性PEP 728参数的处理问题分析

在Python类型检查工具Pyright的最新版本中，发现了一个关于TypedDict对实验性参数处理的潜在问题。这个问题涉及到Python类型系统中TypedDict的特殊行为，特别是当它遇到PEP 728提出的实验性参数时。

TypedDict是Python类型系统中的一个重要特性，它允许开发者定义具有特定键值类型的字典结构。在正常情况下，当TypedDict遇到未知的关键字参数时，Pyright会正确地报错，提示用户该参数不被支持。例如，当使用一个完全不相关的参数"bar"时，Pyright会明确地指出TypedDict不支持这个参数。

然而，对于PEP 728中提出的两个实验性参数"closed"和"extra_items"，Pyright的行为却有所不同。即使用户没有显式启用实验性功能（通过设置enableExperimentalFeatures为true），Pyright也不会对这些参数报错，而是默默地忽略它们。这种行为实际上是一种伪支持，因为这些参数在没有启用实验性功能的情况下并不会产生任何实际效果。

这种行为可能会给开发者带来困惑，因为它表面上看起来像是在支持这些参数，但实际上并没有按照预期工作。更合理的做法应该是当检测到这些实验性参数时，Pyright应该明确提示用户需要启用实验性功能才能使用这些特性。

在技术实现层面，这个问题涉及到类型检查器对类定义参数的解析和处理逻辑。Pyright需要区分哪些参数是TypedDict正式支持的，哪些是实验性的，哪些是完全不支持的。对于实验性参数，应该有一个明确的启用机制和相应的提示信息。

这个问题已经在Pyright 1.1.395版本中得到修复。修复后的版本会正确处理这些实验性参数，确保类型检查行为的一致性和明确性。这个修复体现了类型检查工具在平衡新特性引入和稳定性保证方面的重要考量。

对于Python开发者来说，这个案例提醒我们在使用实验性特性时需要特别注意工具的版本和配置，同时也展示了类型检查工具在Python生态系统中扮演的重要角色。通过不断完善这些工具，我们可以获得更可靠和一致的开发体验。