typescriptの型判定が分からない

Question

①

type OneOf<T extends any[]> = T extends (infer R)[] ? R : never;

const values:("A"|"B")[] = ["A","B"]

type Foo = OneOf<typeof values>;

ジェネリクスでTという配列型を要求するOneOfというtypeがあり、そこにOneOf<typeof values>という形で値を渡しています。

②

const values:("A"|"B")[] = ["A","B"]
let a = typeof values //let a: "string" | "number" | "bigint" | "boolean" | "symbol" | "undefined" | "object" | "function"

しかしtypeof valuesの型を見てみると、配列型ではない値が定義されています。

なぜ①のコードは配列型ではない値をOneOfに渡しているのに正常に動くのでしょうか？静的型付け言語を初めて触っており苦戦しております。。。

Comments

[maisumakun]

②の側での、valuesの定義はどのようなものでしょうか？

[takuyaKK]

①と同じものになります。（編集しました）

Answer 1

typeof valuesの型を見てみると、配列型ではない値が定義されています。

はい、②でのtypeofはJavaScriptにある演算子で、結果は表示の通りの文字列です。

TypeScriptの型は、トランスパイラが解決するものですので、①のように型中に書いたtypeofとは別の意味です。

Comments

[maisumakun]

> なぜ①のコードは配列型ではない値をOneOfに渡しているのに

①のtypeofはトランスパイラの処理にかかるものですので、正しく配列型が取れます。

[takuyaKK]

あーなるほど、そういうことだったんですね！！！！
理解しました！ありがとうございます????‍♂️