型を決定する変数の内容によって特定の変数の型を決定する方法

Question

前提・実現したいこと

TypeScriptにおいて，ある文字列変数の内容によって特定の変数の型（testとします）を自動的に設定されるようにしたいです。
具体的な例を挙げると，

const type = "basic_string<char, char_traits<char>, allocator<char> >";

のとき，変数 test の型は string

const type = "unsigned int";

や

const type = "float";

などのときは変数 test の型は number と自動的に設定されるような処理を知りたいです。

補足情報（FW/ツールのバージョンなど）

tsc

Version 4.5.5

Answer 1

type Type = 'basic_string<char, char_traits<char>, allocator<char> >' | 'unsigned int' | 'float'

type Test<T extends Type> = T extends 'basic_string<char, char_traits<char>, allocator<char> >' ? string : T extends 'unsigned int' | 'float' ? number : never;

const type = 'float'

const test: Test<typeof type> = 10.5

T extends ~ をつなげていくことで自動判別できます。
ただし、Typeの種類があまりにも多い場合は動かない可能性があります。