为什么 TypeScript 接受被覆盖方法的正确返回，即使它不可访问？

Question

我已经实现了一个抽象的通用 RESTClient。有时并非所有 REST 操作都已实现，因此我想在这种情况下抛出错误。

如果我重写了 TypeScript 期望我返回指定类型的方法，即使我抛出了错误。如果我添加return null，它会编译，但返回是无法访问的。

export class RESTClient<E extends { id: number }, D = Omit<E, 'id'>> extends Client {
  protected path: string;
  public constructor(path: string, token?: string) {
    super(token);
    this.path = path;
  }

  public update(entity: E) {
    return this.clientInstance.put<E>(`${this.path}/${entity.id}`, entity);
  }
}

export class ItemClient extends RESTClient<Item> {
  public constructor(token?: string) {
    super('items', token);
  }

  // eslint-disable-next-line @typescript-eslint/no-unused-vars
  public delete(_entity: Item) {
    throw new Error('Not supported by API');
  }
}

如何在 TypeScript（版本 3.7.2）中正确实现这一点？

Answer 1

您可以使用never 作为实现方法的返回类型。它可以分配给其他所有类型：

interface Item { 
  id: number;
}

export class RESTClient<E extends { id: number }> {
  public update(entity: E) {
    return entity;
  }
}

export class ItemClient extends RESTClient<Item> {
  public update(entity: Item): never {
    throw new Error('Not supported by API');
  }
}

documentation的适当摘录：

never 类型是每个类型的子类型，并且可以分配给每个类型；但是，没有类型是never 的子类型或可分配给never（never 本身除外）。即使any 也不能分配给never。