mypy 无法自动推断空初始化的泛型容器（如 `counter()`）的具体类型，必须显式提供类型注解（如 `counter[str]`）或通过带数据的初始化触发类型推断。
在静态类型检查中，collections.Counter 是一个泛型类，其键和值类型需明确——例如 Counter[str] 表示字符串计数器，底层等价于 dict[str, int]。然而，当以无参方式创建实例（如 C = Counter()），mypy 无法从上下文推导出键的类型，因此会报错：
from collections import Counter C = Counter() # ❌ mypy error: Need type annotation for "C" [var-annotated]
✅ 正确做法一：显式类型注解（推荐）
为变量添加类型提示，明确指定泛型参数：
from collections import Counter C: Counter[str] = Counter() # ✅ 推断成功：C 的类型为 Counter[str] # 或使用更现代的写法（Python 3.12+ 支持）： C = Counter[str]()
✅ 正确做法二：通过初始化数据隐式推断
若传入带类型的初始值，mypy 可自动推导：
from collections import Counter
C = Counter(["a", "b", "a"]) # ✅ 推断为 Counter[str]
D = Counter({"x": 5, "y": 3}) # ✅ 同样推断为 Counter[str]
E = Counter([1, 2, 1]) # ✅ 推断为 Counter[int]⚠️ 注意事项：
- 即使 Counter 的值类型固定为 int，键类型仍必须可推导，否则泛型不完整；
- 不要写 C: Counter = Counter() —— 这是原始类型（non-generic），将禁用泛型检查，且 mypy 会警告 Need type annotation for "C"；
- 类似规则适用于其他泛型容器，如 list, dict, set, defaultdict 等：空初始化均需注解或数据驱动推断。
总结：类型安全要求明确性。对空容器，“显式优于隐式” —— 主动标注 Counter[T] 是最清晰、可靠且符合 PEP 484 的实践。
