为何该函数类型标注不正确？报错：Missing type parameters for generic type

首先，mypy在--strict模式下报错的原因很明确：你使用了泛型类型但没有指定类型参数。具体来说，这里涉及两个泛型类型：Sequence和PathLike，在严格类型检查规则下，它们都需要显式声明类型参数才能通过检查。

错误根源拆解 #

1. Sequence是泛型类型：typing.Sequence本身是一个泛型，必须指定它包含的元素类型（比如Sequence[str]表示字符串序列）。你原代码里只写了Sequence，没有给出类型参数，违反了--strict模式下的disallow-generic-before-type-parameters规则。
2. PathLike也是泛型类型：os.PathLike同样是泛型，它的定义是PathLike[_T_co]，需要指定路径的底层类型（通常是str或Any），直接写PathLike同样会触发泛型参数缺失的错误。

修复方案 #

方案1：修正泛型参数，保留原参数范围 #

如果你确实需要支持Sequence类型的输入（虽然这里有个逻辑坑，后面会提到），可以给Sequence和PathLike补充类型参数：

import subprocess
from os import PathLike
from typing import Union, Sequence, Any

def run(shell_command: Union[bytes, str, Sequence[Union[bytes, str, PathLike[Any]]]], **subprocess_run_kwargs: Any) -> int:
    return subprocess.run(shell_command, check=True, shell=True, **subprocess_run_kwargs).returncode

这里我们给PathLike指定了Any作为类型参数（表示接受任意类型的路径），给Sequence指定了元素类型为Union[bytes, str, PathLike[Any]]，这样mypy的严格检查就能通过了。

方案2：修正逻辑矛盾，优化类型标注 #

不过这里有个隐藏的逻辑问题：你在函数里硬编码了shell=True，但subprocess.run在shell=True时，第一个参数应该是字符串或字节串（表示要执行的shell命令），而Sequence类型的参数是给shell=False时用的（表示命令和参数的列表）。如果传入Sequence类型的参数并设置shell=True，实际运行时会抛出错误！

所以更合理的做法是，根据你的实际需求调整参数类型：如果函数就是要执行shell命令，那么只允许bytes或str类型的输入即可，这样类型标注更准确，也能避免运行时错误：

import subprocess
from typing import Union, Any

def run(shell_command: Union[bytes, str], **subprocess_run_kwargs: Any) -> int:
    return subprocess.run(shell_command, check=True, shell=True, **subprocess_run_kwargs).returncode

这个版本不仅能通过mypy的严格检查，还能避免潜在的运行时问题。

验证修复 #

将修复后的代码保存为other.py，再次执行：

mypy --strict other.py

此时应该不会再出现泛型参数缺失的错误了。

内容的提问来源于stack exchange，提问作者Laurențiu Andronache