如何在自定义 dict 子类中键入提示 .values() 的返回类型？

Question

当我使用mypy 键入检查以下类时，它会引发错误

错误：从声明为返回“Optional[SomeDictValueType]”的函数返回 Any

在get_by_id 中，.values() 的类型未正确定义/限制。

class SomeDict(dict):
    def __init__(self) -> None:
        self._some_attribute: SomeRandomType = None

    def get_by_id(self, id: str) -> Optional[SomeDictValueType]:
        for p in self.values():
            if p._id == id:
                return p
        return None

我在网上找到了类似的问题，并尝试了以下方法：

1. 向__setitem__ 添加类型提示，如here 所述

    def __setitem__(self, key: str, value: SomeDictValueType) -> None:
        super(SomeDict, self).__setitem__(key, value)
   

2. 在类头中使用Mapping 解释here

    class SomeDict(dict, Mapping[str, SomeDictValueType]): ...
   

如果不使用# type: ignore，我怎样才能摆脱这个错误？此类的实例永远不会保存SomeDictValueType 以外的类型的值。

---

编辑：
这是重现错误的简约示例。将以下代码sn-p保存到python文件中，在上面执行mypy --strict <filename>.py。

from typing import Optional

class SomeDict(dict):  # type: ignore
    def __init__(self) -> None:
        self._some_attribute: Optional[str] = None

    def get_by_id(self, id: str) -> Optional[int]:
        for p in self.values():
            if p._id == id:
                return p
        return None

应该抛出以下错误：

test.py:10：错误：从声明返回的函数返回任何 "可选[int]"

Answer 1

mypy 是正确的。由于您遍历values()，它无法判断dict值的类型是什么，它认为它是Any。

Answer 2

我想，我只是想通了。我认为您不能从打字定义中继承（我在开始时尝试过一次，但出现另一个错误并且看起来不够接近）。
在我看来，以下 sn-p 将是最简单的错误重现示例的解决方案。

from typing import Optional, Dict

class SomeDict(Dict[str, int]):
    def __init__(self) -> None:
        self._some_attribute: Optional[str] = None

    def get_by_id(self, id: str) -> Optional[int]:
        for p in self.values():
            if p == 5:
                return p
        return None