実行時に文字列リテラルの型の有効性をチェックしていますか？

Question

私は、文字列リテラルのシンプルなユニオンタイプを持っており、FFIが "通常の" Javascriptを呼び出すため、その正当性をチェックする必要があります。特定の変数がこれらのリテラル文字列のいずれかのインスタンスであることを保証する方法はありますか実行時に？ typeを使用して

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

Answer 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 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、することができます質問：

活字体2.1以降0

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