Как ввести защитный тип TypeScript, если instanceof поддерживает только классы?

Обнаружено возможное, но не идеальное решение для защиты типа строк объединения, чтобы проверить список строк объединения:

const isLetter = (c: any): c is Letter => ['A', 'B'].includes(c);
isLetter('A'); // true
isLetter('a'); // false

Не идеально, поскольку строки объединения дублируются в типе и защите типа - открыты для лучших решений.

Типы TS существуют только на этапе компиляции, а не во время выполнения.

В пользовательской защите типов вы обязаны реализовать соответствующие проверки. Проверка будет варьироваться в зависимости от типа ввода и вывода — выбор между несколькими альтернативами проще, чем утверждение формы совершенно неизвестного объекта.

Для вашего типа Letter (союз «A» и «B») достаточно проверить, является ли ввод A или ввод B

const isLetter = (c: any): c is Letter => c == 'A' || c == 'B';

Если в вашем союзе больше членов и вы не хотите повторять их в союзе и в type guard:

const letters = ['A', 'B'] as const;
type Letter = typeof letters[number];
const isLetter = (c: any): c is Letter => letters.includes(c);

Ссылка на игровую площадку

Примечание. Классы сохраняются во время выполнения (через цепочку прототипов), поэтому вы можете использовать оператор instanceof с классами.

Typescript — это технология времени компиляции. Вы пытаетесь использовать тип Typescript, концепция которого существует только во время компиляции, для создания проверки времени выполнения (проверки, которая должна выполняться во время выполнения JavaScript).

К тому времени, когда сгенерированный JavaScript будет выполнен, понятия TypeScript уже давно исчезнут (то есть они уже убраны).

Следовательно, вы не должны пытаться реализовать эту проверку в теле функции как проверку во время выполнения, используя интерфейс/тип TypeScript. Так не пойдет.

С другой стороны, чтобы реализовать проверку во время компиляции, достаточно просто заменить any для типа параметра типом TypeScript Letter.

Этот код может помочь прояснить этот вопрос:

type Letter = 'A' | 'B';
// compile-time check is implemented by assigning the parameter 'c'
// to a TypeScript type
const shouldBeLetter = (c: Letter) => {
  // implement a runtime check using JavaScript, not TypeScript
  if (c !== 'A' && c !== 'B') throw "c should be either 'A' or 'B'";
  /* rest of the function */
}

// example of a statament that fails at compile time
// error: Argument of type '"D"' is not assignable to parameter of 
//        type 'Letter'. (2345)
shouldBeLetter('C');

// example of a statement that won't fail at compile time, but will
// need a runtime test
let couldBeC : Letter = 'ABC'[Math.floor(Math.random() * 3)] as Letter;
shouldBeLetter(couldBeC);

PS: Предоставление типов времени компиляции в TypeScript, которые удаляются из выпущенных (скомпилированных) файлов JavaScript, создает два разных контекста в файле кода TypeScript:

1. контекст выражения (части, которые будут выпущены позже как JavaScript)
2. контекст типа (части TypeScript, которые будут удалены)

В так называемом контексте типа можно переназначить некоторые ключевые слова JavaScript, чтобы они имели другое значение в TypeScript. Примером может служить ключевое слово typeof: https://www.typescriptlang.org/docs/handbook/2/typeof-types.html

В JavaScript typeof — это унарный оператор, который возвращает строку во время выполнения, эта строка соотносится с типом следующего за ней значения/переменной.

... при использовании в TypeScript в контексте типа он дает эквивалентный TypeScript тип значения/переменной, следующего за ним.

Точно так же понятия, подобные выражениям, такие как letters[number], могут использоваться в контексте типа в TypeScript для получения информации о типе из фактических переменных, как описано здесь: https://www.typescriptlang.org/docs/handbook/2. /indexed-access-types.html

Обе точки очень аккуратно используются в другом ответе @Lesiak при повторном использовании массива перечисляемого типа между контекстом выражения и контекстом типа в коде.