强制依赖于构造函数参数的泛型类型

您可以允许按如下方式传递 Tile 构造函数：

class Tile {
  constructor(coord: Coords) { }
}
type Coords = { x: number }

class Tile2 extends Tile { y = 1 }

class Grid<T extends Tile = Tile> {
  tiles = new Map<string, T>();
  setTile(tile: T) {
    this.tiles.set(tile.toString(), tile);
  }
  constructor();
  // if TileConstructor is provided, use it
  constructor(coords: Iterable<Coords>, TileConstructor: new (c: Coords) => T);
   // Tile fallback, disallow on non-just-Tile types
  constructor(coords: Iterable<Coords> & (Tile extends T ? unknown : never));
  constructor(tiles: Iterable<T>);
  constructor(
    input?: Iterable<T> | Iterable<Coords>,
    TileConstructor: new (c: Coords) => T = Tile as new (c: Coords) => T
  ) {
    if (!input) return;
    for (const t of input) {
      if (t instanceof Tile) {
        this.setTile(t);
      } else {
        this.setTile(new TileConstructor(t));
      }
    }
  }
}
new Grid([{ x: 1 }]) // ok
new Grid<Tile2>([{ x: 1 }]) // error
new Grid([{x: 1}, Tile2]) // ok