更新说明
PEP 646 引入了一种新的类型变量 TypeVarTuple，用于定义自定义可变参数泛型类型，即可以具有任意数量类型形参的泛型类型，类似于内置 Tuple 和 Callable。 未来，随着社区采用，这项功能将为 Numpy 的 ndarray 和 Tensor 等多维容器带来更精确的类型提示。
PyCharm 的类型检查程序支持其对可变参数泛型的所有标准检查。 此外，如果您在旧版本的 Python 中用 TypeVar 语法，您将收到警告。 PyCharm 将建议您改用 typing_extensions.Unpack。