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 类型注解的信息？