这里写目录标题
ArkTS泛型
泛型（Generics） 是现代强类型语言中用于编写高复用性、高安全性 代码的核心机制。它允许开发者在定义类、接口或方法时不指定具体类型 ，而使用"类型占位符"（如 T、U），等到实际使用时再传入具体的类型参数。
这样做的核心优势在于：
- 编译期类型检查：避免运行时因类型错误导致的崩溃；
- 消除冗余类型转换 ：无需频繁使用
as或强制断言； - 提升代码可维护性：一套逻辑适配多种数据类型。
下面从泛型类、泛型约束到泛型方法，逐步展开说明。
泛型类
泛型类是指在类定义中包含一个或多个类型参数的类。这些参数在实例化时被具体类型替换，从而生成类型安全的对象。
以成绩管理为例，我们定义一个通用的 Grade<T> 类：
ts
class Grade<T> {
private value: T;
constructor(value: T) {
this.value = value;
}
getValue(): T {
return this.value;
}
}
当我们分别传入 number 和 string 类型的数据时，编译器会自动推断并确保返回值类型与输入一致：
ts
let numGrade = new Grade<number>(95);
let strGrade = new Grade<string>("A");
console.log(numGrade.getValue()); // 类型为 number
console.log(strGrade.getValue()); // 类型为 string
✅ 优势体现：无需为每种成绩类型（数字、字母、等级）重复编写几乎相同的类，极大提升了代码复用率。
泛型约束
虽然泛型提供了灵活性，但有时我们需要限制类型参数的范围，以确保其具备某些特定属性或方法。这就是泛型约束（Generic Constraints） 的作用。
通过 extends 关键字，我们可以要求泛型参数必须实现某个接口或继承某个类。
以下示例中，我们定义了一个 BasicScore 接口作为约束条件：
ts
// 定义基础成绩接口约束
interface BasicScore {
value: number | string;
isValid(): boolean;
}
export class Grade<T extends BasicScore> {
private _score: T;
constructor(score: T) {
this._score = score;
}
// 应用泛型约束的方法
getFormattedScore(): string {
if (this._score.isValid()) {
return `成绩有效: ${this._score.value}`;
}
return "无效成绩";
}
}
// 实现约束接口的具体类
export class MathScore implements BasicScore {
value: number;
constructor(value: number) {
this.value = value;
}
isValid(): boolean {
return this.value >= 0 && this.value <= 100;
}
}由于 Grade<T> 要求 T 必须实现 BasicScore，因此只有符合该结构的对象才能被传入。这保证了 getFormattedScore() 方法中可以安全调用 isValid() 和访问 value。
🔒 安全边界：泛型约束在保持泛型灵活性的同时，建立了类型安全的"契约"，防止非法类型传入。
泛型方法
泛型方法是指在方法级别使用类型参数，而不依赖于所在类是否为泛型类。它特别适合用于工具函数或独立操作。
例如，一个简单的泛型方法：
ts
// 泛型方法
function getGrade<T>(grade: T): T {
return grade;
}调用时可显式指定类型，也可由编译器自动推断：
ts
let result1 = getGrade<string>("A");
let result2 = getGrade(95); // 自动推断为 number🌐 适用场景 ：数组工具（如
find,map）、数据转换、缓存读取等需要"透传类型"的场合。
空值安全
在 JavaScript 中，null 和 undefined 是常见的运行时错误来源（如 "Cannot read property of undefined"）。ArkTS 通过一系列空值安全特性，帮助开发者在编译阶段就规避此类风险。
联合类型
联合类型（Union Types）使用 | 符号组合多个可能的类型，明确声明变量的合法取值范围，强制开发者处理所有可能性。
typescript
let score: number | string = 95; // 允许数字或字符串
let nullableValue: string | null = null; // 显式声明可能为空💡 设计意图 ：通过类型系统表达"不确定性"，避免隐式假设。例如，若未声明
| null，则nullableValue = null会直接报错。
- 特性说明：通过
|符号组合类型，强制开发者在使用前进行类型判断（如typeof、!== null等）。
非空断言运算符 (!)
当开发者确定某个值在运行时一定不为 null 或 undefined ，但编译器无法推断时，可使用 非空断言运算符 ! 强制跳过空值检查。
typescript
class Test {
v: number | null = 1;
}
let obj = new Test();
let result = obj.v! + 5; // 告诉编译器：v 肯定有值⚠️ 严重警告 ：
!不做任何运行时检查！如果实际值为空，程序将抛出异常。仅在 100% 确保非空时使用，如生命周期钩子中已初始化的字段。
- 注意事项：需开发者自行确保实际值不为空，滥用可能导致运行时异常。
空值合并运算符 (??)
空值合并运算符 ?? 用于在值为 null 或 undefined 时提供默认值，不会将 0、false、'' 视为空 （区别于 ||）。
typescript
let configValue: number | null = null;
let finalValue = configValue ?? 3000; // 仅当 configValue 为 null/undefined 时取 3000✅ 典型对比：
value || defaultValue：当value为 falsy（如0,'',false）时也会使用默认值；value ?? defaultValue：仅在value == null（即null或undefined）时使用默认值。
- 等效逻辑：
value = (input != null) ? input : defaultValue
可选链操作符 (?.)
可选链操作符 ?. 允许安全地访问嵌套对象的属性、方法或数组元素。如果链中任意一级为 null 或 undefined，整个表达式会短路并返回 undefined，而不会抛出错误。
typescript
// 可选链操作符(?.)
class Person {
address?: City;
}
let user = new Person();
user.address?.show(); // 若 address 为 undefined，则不执行 show()
console.log('可选链操作符', user.address?.show()); // 安全调用配套定义：
ts
class City {
show(){
console.log('可选链操作符:Hello');
}
} 
🌐 典型场景：处理来自网络 API 的深层嵌套 JSON 数据时，避免因某一层缺失而导致程序崩溃。
- 典型场景：处理API返回的深层嵌套数据结构时避免
undefined is not an object错误。
最佳实践建议
ArkTS 的空值安全体系鼓励开发者显式处理不确定性。建议按以下优先级选择方案：
-
首选联合类型 （如
T | null）→ 明确表达"可能为空"的语义，迫使调用方处理分支逻辑。
-
需要默认值时使用空值合并
??→ 安全且语义清晰，避免误判
0或false为无效值。 -
访问不确定属性时采用可选链
?.→ 防止因中间节点缺失导致的运行时错误。
-
仅在确保非空时谨慎使用非空断言
!→ 作为最后手段，需配合充分的逻辑验证或注释说明。
通过泛型与空值安全机制的结合，ArkTS 在保持 TypeScript 开发体验的同时，显著提升了代码的健壮性与可预测性。这些特性不仅是语法糖，更是构建高质量鸿蒙应用的重要基石。