PEP 767：注解只读属性
内容提要
PEP 767 提出了在 Python 中使用 ReadOnly 类型修饰符来标记类和协议属性为只读。这一特性旨在通过静态类型检查器强制执行只读属性的使用，解决了缺乏简洁标记方式的问题，增强了类型系统的表达能力。
延伸解读
只读属性的实用性
PEP 767 引入的 ReadOnly 修饰符为 Python 的类型系统提供了一种简洁的方式来标记只读属性。这一特性不仅提升了代码的可读性，还能在静态类型检查中有效防止意外修改，减少了潜在的错误。开发者在设计类时，可以利用这一特性来明确属性的可变性，增强代码的安全性。
与现有类型检查器的兼容性
PEP 767 在设计时考虑了与现有类型检查器的兼容性，这意味着开发者在使用 ReadOnly 修饰符时，能够无缝集成到现有的代码库中。尽管如此，开发者仍需注意不同类型检查器对 ReadOnly 的支持程度，确保代码在不同环境下的一致性和稳定性。
与其他修饰符的结合使用
ReadOnly 修饰符可以与其他类型修饰符（如 ClassVar 和 Annotated）结合使用，这为开发者提供了更大的灵活性。在设计复杂数据结构时，合理组合这些修饰符可以更好地表达属性的意图，提升代码的可维护性和可扩展性。
Q&A
PEP 767 的主要目的是什么？
PEP 767 的主要目的是在 Python 中引入 ReadOnly 类型修饰符，以便标记类和协议属性为只读，增强类型系统的表达能力。
ReadOnly 修饰符如何影响属性的使用？
使用 ReadOnly 修饰符的属性在运行时不允许被赋值或删除，除非在初始化时。
PEP 767 如何解决 Python 类型系统的不足？
PEP 767 通过提供一种简洁的方式来标记属性为只读，解决了当前 Python 类型系统缺乏此功能的问题。
ReadOnly 修饰符可以与哪些其他类型修饰符结合使用？
ReadOnly 修饰符可以与 ClassVar 和 Annotated 等其他类型修饰符结合使用。
PEP 767 在初始化时对只读属性的赋值有什么限制？
在初始化时，只读属性只能在声明该属性的类及其子类中赋值，且没有限制赋值次数。
PEP 767 对现有类型检查器的兼容性有何考虑？
PEP 767 考虑了与现有类型检查器的兼容性，确保新特性不会破坏现有的类型检查功能。
