已可通过Union Type实现效果，为何仍需使用Generic Constraints？

你提到的场景里，泛型约束和联合类型看似都能实现参数的类型限制，但两者在类型精确性、扩展性、通用性上有本质区别，以下是具体分析：

1. 返回类型的精确性 #

泛型约束的核心是保留输入的具体类型，而联合类型会将返回类型模糊为多个类型的集合：

泛型约束版本 #

class Person {
  constructor(public name: string) {}
}
class Customer extends Person {
  getDiscount(): number {
    return 10;
  }
}
function echo<T extends Person>(value: T): T {
  return value;
}

// 返回类型是Customer，可直接调用子类专属方法
const customer1 = echo(new Customer("a"));
customer1.getDiscount(); // 完全合法，无类型报错

联合类型版本 #

class Person {
  constructor(public name: string) {}
}
class Customer extends Person {
  getDiscount(): number {
    return 10;
  }
}
function echo(value: Person | Customer): Person | Customer {
  return value;
}

// 返回类型是Person | Customer，无法直接调用子类方法
const customer2 = echo(new Customer("a"));
customer2.getDiscount(); // 报错：类型Person上不存在getDiscount方法

2. 扩展性支持 #

泛型约束天生支持所有符合继承关系的子类，无需修改函数定义：

// 新增Person子类
class Employee extends Person {}

// 泛型版本直接兼容，无需修改echo函数
echo(new Employee("b")); // 正常运行

而联合类型必须手动更新类型集合才能支持新子类：

// 必须修改echo的参数和返回类型，才能支持Employee
function echo(value: Person | Customer | Employee): Person | Customer | Employee {
  return value;
}

3. 通用性与复用性 #

泛型约束可以和其他泛型逻辑结合，保持类型一致性，比如处理集合类场景：

function echoList<T extends Person>(list: T[]): T[] {
  return list.map(item => item);
}

const customers: Customer[] = [new Customer("a"), new Customer("b")];
const result = echoList(customers);
// result类型是Customer[]，可直接操作每个元素的子类方法
result[0].getDiscount(); // 合法

如果用联合类型实现，返回的数组类型会是(Person | Customer)[]，同样无法直接调用子类方法，灵活性大打折扣。

内容的提问来源于stack exchange，提问作者FriedRobot