TypeScript严格模式（Strict Mode）介绍（null和undefined、any和unknown）

在TypeScript的开发中，严格模式（Strict Mode）是一个至关重要的配置选项。它能帮助开发者避免许多潜在的类型错误，提升代码的健壮性和可维护性。今天，我们就来深入探讨TypeScript严格模式的方方面面。

什么是严格模式？

严格模式是TypeScript提供的一组类型检查选项的集合，当启用后，TypeScript会进行更严格的类型检查，帮助开发者在编译阶段就发现潜在的类型错误，而不是等到运行时才暴露问题。

如何开启严格模式？

开启严格模式非常简单，只需在项目的tsconfig.json文件中进行配置：

{"compilerOptions": {"strict": true,"jsx": "preserve"},"include": ["src/**/*.ts","types/**/*.d.ts"],"references": [{"path": "./tsconfig.node.json"}]
}

将strict设置为true即可启用严格模式。这是TypeScript推荐的最佳实践，因为严格模式能帮助开发者避免许多常见的类型错误。

严格模式的关键特性

1. null和undefined的严格处理

在严格模式下，TypeScript不允许将null或undefined赋值给void类型：

let v1: void = null; // 编译错误
let v2: void = undefined; // 编译错误

而在非严格模式下，这些赋值是允许的。严格模式的这种约束有助于避免因意外的null或undefined值导致的运行时错误。

2. any和unknown的正确使用

TypeScript中，any和unknown都是顶级类型，可以包含任何类型的数据。但它们之间有重要区别：

• any类型：完全绕过类型检查，可以访问任何属性和方法
• unknown类型：暂时不知道具体类型，不能直接访问属性或调用方法

// 使用any
let objAny: any = { name: 'John', sayHello: () => console.log('Hello') };
objAny.sayHello(); // 正常工作
console.log(objAny.name); // 正常工作// 使用unknown
let objUnknown: unknown = { name: 'John', sayHello: () => console.log('Hello') };
objUnknown.sayHello(); // 编译错误：类型'unknown'上不存在属性'sayHello'
console.log(objUnknown.name); // 编译错误：类型'unknown'上不存在属性'name'

在不知道具体类型时，应该优先使用unknown，而不是any，因为unknown提供了更安全的类型保护。

为什么应该开启严格模式？

1. 提前发现错误：在编译阶段就能发现类型问题，避免运行时错误

2. 提高代码质量：强制进行更严格的类型检查，减少潜在bug

3. 增强可维护性：清晰的类型定义使代码更容易理解和维护

4. 避免"any"的滥用：鼓励使用更精确的类型，而不是随意使用any

严格模式的其他重要检查

除了上述特性，严格模式还启用了以下检查：

- strictNullChecks：严格处理null和undefined

- strictFunctionTypes：更严格地检查函数类型

- strictBindCallApply：更严格地检查函数的bind、call和apply

- strictPropertyInitialization：确保类属性在构造函数中初始化

- noImplicitAny：不允许隐式any类型

- noImplicitThis：不允许隐式的this类型

- alwaysStrict：在所有文件中启用严格模式

实践建议

1. 项目初始化时就开启严格模式：不要等到问题出现才开启

2. 逐步迁移：如果已有项目未开启严格模式，可以逐步添加类型注解

3. 使用类型断言：当确实需要使用any时，使用类型断言（as any）而不是直接使用any类型

4. 利用类型推断：让TypeScript尽可能推断类型，减少显式类型声明

严格模式下，类型推断能更精确地工作，提供更强的类型保护

结语

TypeScript的严格模式是提升代码质量的利器，它虽然在初期可能需要一些适应和调整，但长期来看，它能显著减少bug，提高代码的可维护性。在TypeScript项目中，严格模式应该被视为标配，而不是可选功能。

记住，TypeScript的真正价值不在于它能检查类型，而在于它能帮助我们写出更健壮、更清晰、更易维护的代码。开启严格模式，是迈向高质量TypeScript代码的第一步。

在TypeScript的生态系统中，严格模式已经成为了最佳实践，无论是新项目还是旧项目，都应该考虑启用严格模式。它不会让你的代码变得复杂，反而会简化你的代码，因为它能帮助你更早地发现潜在问题。