Python 中 dataclass 风格定义异常类，正确吗？

python 源码中有下面这样的异常定义：

class OSError(Exception): errno: int strerror: str # filename, filename2 are actually str | bytes | None filename: Any filename2: Any if sys.platform == "win32": winerror: int 

因此我经常按上面的风格定义异常类，比如这次的：

class Error(Exception): code: str message: str 

这样子写，一直工作良好。也许是因为我之前从没访问里面的属性？ 这次，我写了下面的代码：

assert e.code in ("unauthorized", "permission") 

收到很温馨的提示：

 assert e.code in ("unauthorized", "permission") ^^^^^^ AttributeError: 'Error' object has no attribute 'code' 

问了 Claude ，回答为：

你提到的这种异常定义方法确实在 Python 源码中存在，特别是在类型提示和静态类型检查方面。这种定义方式主要用于类型注解和静态类型检查工具（如 mypy ）。让我解释一下这种定义的目的和工作原理： 1. 类型注解的目的： 这种定义主要是为了提供类型信息，而不是实际定义属性。它告诉类型检查器这个类预期会有哪些属性，以及这些属性的预期类型。 2. 运行时行为： 这些注解在运行时不会创建实际的属性。实际的属性创建通常在类的 `__init__` 方法或其他方法中完成。 3. 兼容性和灵活性： 这种方式允许在不改变运行时行为的情况下添加类型信息，这对于大型的、需要保持向后兼容性的项目（如 Python 标准库）非常有用。 4. 静态类型检查： 静态类型检查工具可以使用这些注解来检查代码，即使这些属性可能在运行时动态创建。 5. 文档作用： 这些注解也起到了文档的作用，告诉开发者这个类预期会有哪些属性。 在 `OSError` 的例子中，这些属性可能在异常被实际创建时（可能是在 C 代码中）被设置，而不是在 Python 的 `__init__` 方法中。 需要注意的是，这种定义方式主要用于 Python 的内置类型和标准库，在普通的 Python 代码中，我们通常会使用 `__init__` 方法来初始化属性，就像我在前面的回答中建议的那样。 对于你自己的代码，除非你有特殊需求（比如为了兼容性或与特定的类型检查工具配合），否则最好还是使用常规的方式定义和初始化属性。 你对这种定义方式还有其他疑问吗？或者你想了解更多关于 Python 类型注解的信息？