Are TypeScript’s types mandatory?

TypeScript 的类型系统是 可选的 和 静态的。这意味着你可以选择在你的代码中使用类型，但一旦你选择使用了，TypeScript 编译器会在编译期间强制检查这些类型。

可选性

TypeScript 在 JavaScript 的基础上增加了类型系统。由于 TypeScript 是 JavaScript 的超集，你完全可以编写一个普通的 JavaScript 代码而不使用 TypeScript 的类型系统。例如：

javascript
function add(a, b) {
  return a + b;
}

这段代码没有指定参数 a 和 b 的类型，所以它们可以是任何类型的值。

强制性

一旦你为变量或函数参数指定了类型，TypeScript 就会强制检查这些类型，确保你的代码在编译时类型正确。例如：

typescript
function add(a: number, b: number): number {
  return a + b;
}

这里，函数 add 的参数 a 和 b 被指定为 number 类型。如果你尝试传入非数字类型的参数，TypeScript 编译器会抛出错误：

typescript
add('hello', 5); // Error: Argument of type 'string' is not assignable to parameter of type 'number'.

实例

在我之前的项目中，我们使用 TypeScript 来确保 API 响应数据的类型安全。例如，我们有一个函数用于处理用户信息，它期望接收一个具有特定结构的对象：

typescript
interface User {
  id: number;
  name: string;
  age: number;
}

function processUser(user: User) {
  console.log(`Processing user: ${user.name}`);
}

// 当我们从 API 获取一个用户信息并传递给 processUser 函数时，TypeScript 会确保传入的对象符合 User 接口的结构。

这种类型的强制性帮助我们避免了许多运行时错误，例如属性名拼写错误或错误的数据类型，从而提高了代码的可靠性和维护性。

总结来说，TypeScript 的类型系统是设计来帮助开发者更好地编写安全和可维护的代码的，尽管它是可选的，但一旦采用，它提供的类型安全性是强制性的。