`infer`型とは？

条件付の型（Conditional Types）のextendsの中で利用でき、推論される型を抽出できます。

は？って感じですよね…僕も同じ気持ちでした…。
具体例を見ていきます。

`infer`型はどのようなものか？

コードの例をサバイバルTypeScriptからコードを借りてきました。

type Flatten<T> = T extends (infer U)[] ? U : never;

上記のコードを分解していきます！

inferを利用して配列であるかどうかを確認します

(infer U)[]

extendsを利用してT型に含まれる型をチェックします

T extends

条件がtrueならU型、falseならneverを返します

条件 ? U : never;

よってサンプルコードはT型が配列であれば配列の中の型を返し、そうでなければnever型を返すFlatten<T>が定義されています！

extendsを利用した「Conditional Types」の中で利用して型の制限をかけるために利用される型のようです！

下記の記事に書かれていた表現が一番しっくりきました！

の何かの型を取得したい場合に必要なのがinfer型。

infer型の理解度はいかがでしょうか？
個人的にはかなりスッキリしました！

ただ、本当に使う日は来るのか…とは思いますがライブラリなどの型定義を読む際には役立つのではないかと思っています！

Type-Challengesをやっていて面白い記述に出会いました。
infer型を使うとこんなことができるのか…と思ったので共有です！

問題と被ってはいけないので少しだけコードを変えてます。

type test = 'hoge'

type StringToUnion<T extends string> = T extends `${infer F}${infer R}`
  ? F | R : never;

type Test = StringToUnion<test>

上記の結果はtype Test = "h" | "oge"になります。

ここで文字列をユニオン型に変換

<T extends string>

1文字目がF、それ以降がRに入る

`${infer F}${infer R}`

最終的に「h」と「oge」が分割されたユニオン型になる

type Test = "h" | "oge"

正直全てを理解できてないですが、こんなことができるのか…と覚えておきたいと思いました。