为何说 ES6 是 TypeScript 的基石？

TypeScript 与 ES6 的紧密关系

TypeScript 作为 JavaScript 的超集，其设计初衷就是为 JavaScript 添加静态类型检查能力。而 TypeScript 的类型系统在很大程度上依赖于 ES6 引入的诸多新特性。可以说，没有 ES6，就没有现代 TypeScript。

Class 语法的支持

ES6 引入的 class 语法为 TypeScript 的面向对象编程提供了坚实基础：

class Person {
  constructor(private name: string, private age: number) {}
  
  greet() {
    return `Hello, I'm ${this.name}, ${this.age} years old.`;
  }
}

如果没有 ES6 的 class 语法，TypeScript 就需要完全依赖构造函数和原型来实现类，这会使得类型推断和检查变得更加复杂。

Module 系统的统一

ES6 的模块系统（import/export）为 TypeScript 提供了标准化的模块解决方案：

// math.ts
export const add = (a: number, b: number): number => a + b;
export default function multiply(a: number, b: number): number {
  return a * b;
}

// main.ts
import multiply, { add } from './math';

这种标准化的模块系统使得 TypeScript 能够更准确地进行类型检查和模块解析。

箭头函数与 this 绑定

ES6 的箭头函数具有词法绑定的 this 特性，这对 TypeScript 的类型推断非常有帮助：

class Component {
  private data: string[] = [];
  
  // 箭头函数确保 this 指向正确
  handleClick = () => {
    this.data.push('new item');
  }
}

解构赋值与类型推断

ES6 的解构赋值特性让 TypeScript 能够更好地进行类型推断：

const user = { name: 'Alice', age: 30, email: 'alice@example.com' };
const { name, age }: { name: string, age: number } = user;

模板字符串与类型安全

ES6 的模板字符串特性让 TypeScript 能够在字符串插值时进行类型检查：

const greet = (name: string, age: number): string => 
  `Hello ${name}, you are ${age} years old`;

总结

ES6 提供的这些特性为 TypeScript 的类型系统奠定了坚实的基础。没有这些语言特性，TypeScript 将难以提供如今这般强大的类型检查和开发体验。ES6 不仅是 JavaScript 的一次重大升级，也是 TypeScript 得以发展的关键。