Mypy 检查数据类字段和别名

如何解决Mypy 检查数据类字段和别名

我在使用 mypy 和数据类，尤其是 field 函数时遇到了困难。

这是一个例子

from dataclasses import field,dataclass

@dataclass
class C:
    some_int: int
    some_str: str = field(Metadata={"doc": "foo"})
    another_int: int

c = C(42,"bla",43)

到目前为止，一切都很好。 mypy和python很开心

但是，如果我想围绕 field 做一个小帮手来轻松编写我的文档

def doc(documentation: str):
    return field(Metadata={"doc": documentation})

现在我这样写我的类：

@dataclass
class C:
    some_int: int
    some_str: str = doc("foo")
    another_int: int

然后 mypy 抛出

error: Attributes without a default cannot follow attributes with one

两者都是等价的，但似乎 mypy 在 field 周围有一个特殊情况（如果我理解正确的话）

https://github.com/python/mypy/blob/v0.790/mypy/plugins/dataclasses.py#L359

所以，我的问题是：是否有一种解决方法可以为 field 编写别名？

我应该在 mypy 上提出错误吗？