概念基础 on nayun blog

ParamSpec

Wed, 06 Aug 2025 11:31:02 +0800

在 Python 的类型系统中，ParamSpec（参数规格）是一种高级泛型工具，用于捕获函数或方法的参数类型信息，使得泛型高阶函数（如装饰器、回调工厂）能够精确保留原始函数的参数类型。以下是关于 ParamSpec 的详细解析：

1. `ParamSpec` 的核心作用
#

解决的问题：在泛型装饰器或高阶函数中，传统 TypeVar 无法描述函数的参数列表（如 *args 和 **kwargs 的类型）。
功能：ParamSpec 允许你泛化函数的参数签名，保留参数名称、类型和顺序信息。

2. 基本语法
#

(1) 导入与定义
#

</>
python


1from typing import ParamSpec, Callable, TypeVar
2
3P = ParamSpec("P") # 定义参数规格变量
4R = TypeVar("R") # 定义返回值类型变量

P 表示一个函数的参数规格（包括位置参数和关键字参数）。
R 表示函数的返回值类型。

(2) 使用场景
#

主要用于泛型 Callable 类型或装饰器：

3.12高级类型参数

Wed, 06 Aug 2025 11:14:51 +0800

Python 3.12 通过 PEP 695 引入了更强大的高级类型参数机制，包括 可变类型参数（*Ts） 和 参数规格（**P），用于处理复杂泛型场景（如可变参数函数、回调函数类型等）。以下是对它们的详细解析：

1. **可变类型参数（`*Ts`）**
#

用途
#

表示一组不定数量的类型参数，类似 *args 的泛型版本。常用于：

泛型元组或可变长度容器
函数参数的类型标注（如 *args: *Ts）

语法与示例
#

</>
python


 1from typing import Tuple
 2
 3# 定义泛型元组，第一个元素为 str，其余元素类型可变
 4type LabeledTuple[*Ts] = tuple[str, *Ts] # PEP 695 语法
 5
 6# 使用
 7x: LabeledTuple[int, float] = ("id", 42, 3.14) # 等效于 tuple[str, int, float]
 8y: LabeledTuple[bool] = ("flag", True) # 等效于 tuple[str, bool]
 9
10# 函数中的可变参数类型
11def zip[*T](*args: *T) -> list[tuple[*T]]: # 模拟内置 zip 的类型
12 return list(zip(*args))

关键点
#

*Ts 表示类型元组，可匹配任意数量的类型参数。
运行时会被擦除为 tuple，仅静态类型检查器（如 mypy）会验证类型安全性。
与传统 TypeVarTuple 等效（Python 3.11 之前需用 from typing import TypeVarTuple）。

2. 参数规格（`P`）**
#

用途
#

描述函数的参数类型和返回值类型，用于泛型高阶函数（如装饰器、回调函数）。类似 **kwargs 的泛型扩展。

3.12泛型特性

Wed, 06 Aug 2025 11:04:17 +0800

1. 泛型函数
#

可以直接在函数名后使用 [T] 定义类型参数，无需显式导入 TypeVar：

</>
python


1def max[T](args: Iterable[T]) -> T: # 定义泛型函数
2 return max(args, default=None)
3
4max([1, 2, 3]) # T 自动推断为 int
5max(["a", "b"]) # T 自动推断为 str

特点：

类型参数 T 的作用域仅限于该函数。
支持默认类型推断，无需手动指定 [int] 或 [str]。

2. 泛型类
#

类名后可直接声明类型参数：

</>
python


1class Box[T]:
2 def __init__(self, value: T):
3 self.value = value
4
5 def get(self) -> T:
6 return self.value
7
8int_box = Box[int](42) # 明确指定 T 为 int
9str_box = Box("hello") # 自动推断 T 为 str

特点：

元类MetaClass

Fri, 25 Jul 2025 16:08:19 +0800

元类作用时机
当使用此元类定义新类时（如 class MyClass(metaclass=StaticMethodMeta)），元类的 __new__ 方法会在类创建时被调用。

利用元类改变类特性 -> 创建一个成员函数自动转换为静态成员函数的类

</>
python


 1class StaticMethodMeta(type):
 2 def __new__(cls, name, bases, namespace):
 3 for attr_name, attr_value in namespace.items():
 4 if callable(attr_value) and not attr_name.startswith('__'):
 5 namespace[attr_name] = staticmethod(attr_value)
 6 return super().__new__(cls, name, bases, namespace)
 7
 8class tool(metaclass=StaticMethodMeta):
 9 # 静态成员没有self参数
10 def tool1(p1, p2):
11 pass

概念基础 on nayun blog

ParamSpec

1. ParamSpec 的核心作用 #

2. 基本语法 #

(1) 导入与定义 #

(2) 使用场景 #

3.12高级类型参数

1. 可变类型参数（*Ts） #

用途 #

语法与示例 #

关键点 #

2. 参数规格（**P） #

用途 #

3.12泛型特性

1. 泛型函数 #

2. 泛型类 #

元类MetaClass

1. `ParamSpec` 的核心作用
#

2. 基本语法
#

(1) 导入与定义
#

(2) 使用场景
#

1. **可变类型参数（`*Ts`）**
#

用途
#

语法与示例
#

关键点
#

2. 参数规格（`P`）**
#

用途
#

1. 泛型函数
#

2. 泛型类
#