Блог

Я понимаю, что по этому поводу была открытая проблема, которая была закрыта, но, похоже, в моем случае использования эта ошибка все еще происходит. Вот в чем моя проблема:

У меня есть следующие определения типов:

 interface typeMap { // for mapping from strings to types
  string  : string;
  number  : number;
  boolean : boolean;
}



type Constructor<T = unknown> = { new (...args: any[]): T };

type ConstructedType<T extends Constructor> = T extends { new(...args: any[]): infer U; }
? U: never;

type PrimitiveOrConstructor = // 'string' | 'number' | 'boolean' | constructor
  | Constructor
  | keyof typeMap;
 

Теперь я ожидал бы, что смогу сузить T extends PrimitiveOrConstructor круг, но в итоге это не сработает:

 // infer the guarded type from a specific case of PrimitiveOrConstructor
type GuardedType<T extends PrimitiveOrConstructor> =
  T extends Constructor
    ? ConstructedType<T>
    : T extends keyof typeMap
      ? typeMap[T]
      : never;

function typeGuard<T extends PrimitiveOrConstructor>(o: unknown, className: T): o is GuardedType<T> {

  const localPrimitiveOrConstructor: PrimitiveOrConstructor = className;

  if (typeof localPrimitiveOrConstructor === 'string') {
    return typeof o === localPrimitiveOrConstructor;
  }

  return o instanceof localPrimitiveOrConstructor;

}
 

Если я заменю localPrimitiveOrConstructor его на className тип T of, он не сузится. Даже если я определяю условие как защиту типа, внутри блока if className оно сужено до T amp; keyof typeMap , а за его пределами оно все еще T не сужено Constructor .

Есть ли что-то неправильное в реализации, из-за чего существующее исправление здесь не применяется?

Просто не используйте универсальные:

 interface typeMap { // for mapping from strings to types
    string: string;
    number: number;
    boolean: boolean;
}

type Constructor<T = unknown> = { new(...args: any[]): T };

type ConstructedType<T extends Constructor> = T extends { new(...args: any[]): infer U; }
    ? U : never;

type PrimitiveOrConstructor = 
    | Constructor
    | keyof typeMap;

function typeGuard(o: unknown, className: PrimitiveOrConstructor) {

    if (typeof className === 'string') {
        const check = className // keyof typeMap
        return typeof o === className;
    }

    const check = className // Constructor<unknown>

    return o instanceof className;

}

 

Игровая площадка