generic
Installation
SKILL.md
仓颉语言泛型 Skill
1. 泛型概述
1.1 核心概念
- 泛型 = 参数化类型 — 声明时未知类型，使用时指定
- 支持泛型的结构：
function、class、interface、struct、enum
1.2 术语
| 术语 | 含义 |
|---|---|
| 类型形参 | 须在使用处指定的类型。使用标识符在体内引用 |
| 类型变元 | 在体内引用类型形参的标识符 |
| 类型实参 | 使用泛型声明时提供的具体类型 |
| 类型构造器 | 接受零个或多个类型作为参数以产生具体类型的类型 |
1.3 语法
- 类型参数在类型/函数名后使用尖括号
<...>声明 - 示例：
class List<T>—T是类型参数；List<Int64>—Int64是类型实参；List是类型构造器