泛型 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: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

特点：

泛型

Wed, 06 Aug 2025 10:31:06 +0800

泛型（Generics）是编程语言中一种允许在定义函数、数据结构或类时使用类型参数的特性。通过泛型，开发者可以编写更通用、灵活的代码，而无需为每种具体类型重复实现相同的逻辑。

1. 泛型的核心概念
#

（1）类型参数（Type Parameters）
#

在定义函数或结构体时，可以声明一个或多个类型参数，用方括号 [] 包裹（Go 语言风格，其他语言可能用 <>）。
例如：

</>
go


1// T 是类型参数，可以是任何类型
2func identity[T any](value T) T {
3 return value
4}

（2）类型约束（Type Constraints）
#

限制类型参数的范围，例如要求类型必须支持某些操作（如比较大小、相加等）。

Go 中通过接口定义约束：

</>
go


1type Number interface {
2 int | float64 // 约束 T 只能是 int 或 float64
3}
4
5func add[T Number](a, b T) T {
6 return a + b
7}

其他语言（如 Java）通过泛型边界（<T extends Comparable>）实现类似功能。

（3）泛型数据结构
#

泛型不仅用于函数，还可用于定义通用的数据结构（如链表、队列等）。
例如，Go 中的泛型切片：

泛型 on nayun blog

ParamSpec

1. ParamSpec 的核心作用 #

2. 基本语法 #

(1) 导入与定义 #

(2) 使用场景 #

3.12泛型特性

1. 泛型函数 #

2. 泛型类 #

泛型

1. 泛型的核心概念 #

（1）类型参数（Type Parameters） #

（2）类型约束（Type Constraints） #

（3）泛型数据结构 #