當變量類型是預期類型的子集時，Mypy 抱怨類型不兼容

Question

嘗試構建一個xarray Dataset ，我們在其中構建 arguments “coords”和“attrs”的輸入，然后將其傳遞給構造函數：

coordinates = {"time": ("time", time_coordinates)}
attributes = {"some_flag": False}
...
ds = xr.Dataset(data_vars=variables, coords=coordinates, attrs=attributes)

讓我感到困惑的是 mypy 的mypy針對此代碼運行：

error: Argument "coords" to "Dataset" has incompatible type "Dict[str, Tuple[str, Any]]"; expected "Optional[Mapping[Hashable, Any]]"
error: Argument "attrs" to "Dataset" has incompatible type "Dict[str, bool]"; expected "Optional[Mapping[Hashable, Any]]"

dict不是Mapping嗎？ 而且str也不是Hashable嗎？ 無論如何，不是Any類型的Tuple和bool嗎？ 我在這里對 mypy 和/或 Python 類型提示有什么不明白的地方？

Answer 1

使用來自Selcuk的信息，我發現了這個有點冗長的解決方案，如mypy 文檔中所述：由於Mapping的鍵是不變的，因此需要明確提示str的類型為Hashable 。 （雖然字符串是Hashable的子類型，但Mapping的鍵不是協變的，不允許子類型。）。 或者，正如塞爾丘克在他的評論中所說：

str是Hashable ，但由於dict是可變數據類型，因此您必須為鍵傳遞完全相同的類型，而不是子類型。 被調用的 function 可能會在傳遞的參數中添加另一個Hashable鍵，從而破壞源。

coordinates: Dict[Hashable, Tuple[str, Any]] = {
    "time": ("time", time_coordinates)
}
attributes: Dict[Hashable, Any] = {"some_flag": False}