是否在实例化时设置了Python3.x dictionary lint type check(typing)

更新扩展和添加键似乎不会更改字典声明的类型

这是故意的。如果有声明为类型的变量 Dict[str, int] ,如果您不小心尝试运行类似于 var['foo'] = 'bar' 是的。

在这种情况下,因为你 d 对于字符串到整数的dict,mypy假设您希望该类型只是 dict[字符串,整数] 是的。

如果希望代码键入check,则有几个选项:

1. 明确声明您希望字典的值是什么类型,并使用断言或强制转换来确认某些键的类型是您希望它们是什么类型:

   def foo(a: int = 1, b: str = "b") -> None:
       d: Dict[str, Union[int, str]] = {"a": a}
       d.update({"b": b})
   
       # If you want to check your assumption at runtime
       b_regex = d["b"]
       assert isinstance(b_regex, str)
       print(re.findall(b_regex, "baba"))
   
       # If you don't want/don't need to check the type
       print(re.findall(cast(str, d["b"]), "baba"))
   

2. 放弃静态输入dict,并使其值为 the dynamic 'Any' 以下内容:

   def foo(a: int = 1, b: str = "b") -> None:
       d: Dict[str, Any] = {"a": a}
       d.update({"b": b})
       print(re.findall(d["b"], "baba"))
   

3. 使用 TypedDict mypy extension 指示dict只包含特定的字符串键,其中每个键都有特定类型的对应值。

   请注意,这是目前仅mypy的扩展,尽管有计划在不久的将来将其作为正式类型添加到pep 484中。一旦发生这种情况,pycharm实际上有义务理解typeddict(尽管他们可能已经提前加入了支持,但还不确定)。