Проверка правильности типа объединения строк в runtime?

Question

У меня есть простой тип строковых литералов и нужно проверить его достоверность из-за того, что FFI вызывает «обычный» Javascript. Есть ли способ гарантировать, что определенная переменная является экземпляром любой из этих литералов строк во время выполнения? Что-то вдоль линий

type MyStrings = "A" | "B" | "C"; 
MyStrings.isAssignable("A"); // true 
MyStrings.isAssignable("D"); // false 

Answer 1

Начиная с TypScript 2.1, вы можете сделать это наоборот with the keyof operator.

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

Как следует:

// Values of this dictionary are irrelevant 
const myStrings = { 
    A: "", 
    B: "" 
} 

type MyStrings = keyof typeof myStrings; 

isMyStrings(x: string): x is MyStrings { 
    myStrings.hasOwnProperty(x); 
} 

const a: string = "A"; 
if(isMyStrings(a)){ 
    // ... Use a as if it were typed MyString from assignment within this block: the TypeScript compiler trusts our duck typing! 
} 

Answer 2

с использованием type только Type Aliasing и он не будет присутствовать в скомпилированный код на JavaScript, которые из-за того, что вы не можете действительно сделать:

MyStrings.isAssignable("A"); 

Что вы можете сделать с это:

type MyStrings = "A" | "B" | "C"; 

let myString: MyStrings = getString(); 
switch (myString) { 
    case "A": 
     ... 
     break; 

    case "B": 
     ... 
     break; 

    case "C": 
     ... 
     break; 

    default: 
     throw new Error("can only receive A, B or C") 
} 

Как для вас вопрос о isAssignable, вы можете:

function isAssignable(str: MyStrings): boolean { 
    return str === "A" || str === "B" || str === "C"; 
}