使用 pylint 重新定义函数

如何解决使用 pylint 重新定义函数

我的文件/模块顶部有以下内容，说明如何定义各种类型（有点像 C 文件中的声明）：

Env = dict  # The Interpreter environment is a map of {key: value}

然后在代码的实际内容中，我像这样重新定义了 Env：

class Env(dict):
    "An environment dict,containing the parent Env (or None) where created."
    def __init__(self,parent=None):
        self.parent = parent
    # etc.

Pylint 给我以下警告：

function-redefined: 类已定义第 16 行

我明白为什么要这样做，但在上述情况下是故意的。处理这个问题的建议方法是什么？执行以下操作似乎是最权宜之计 的方式（但是如果我应用此“让我们在此处关闭此一”哲学），但在这种特殊情况下有人会建议什么？

class Env(dict): # pylint: disable=function-redeFinition

另外，做 # pylint: 的事情叫什么名字？ （注释/注释/Pragma/?）

---

此外，这里有一个关于 mypy 中的类型重新定义的有用主题：https://github.com/python/mypy/issues/1191。