TypeScript const union valueから特定のtypeを抜き出す方法

Question

以下の const union が定義されているとします。

const Animal = {
  Dog: 1,
  Cat: 2,
  Mouse: 3,
} as const;

type Animal = typeof Animal[keyof typeof Animal];

この時、以下の入力から出力の値を得る方法はあるでしょうか？
switch 等で調べることは可能ですが、手間なので簡単な方法があれば知りたいです。
as による cast はなしでお願いします。

// input
const i: number = 2;

// output
type Test = {
    o: Animal;
};

const test: Test = {
    o: i, // error
};

TypeScript

v3.9.2

Comments

[maisumakun]

結果としては、"Cat"というキーを得たいのでしょうか、それとも別なことをしたいのでしょうか？

[maisumakun]

「const o: Animal = Animal.Cat;」とありますが、Animal.Catの中身はnumber型なので、この文は型が一致しません。

[_Victorique__]

@maisumakun
申し訳ないです、前提条件を修正したので確認お願いします！
修正したものでは test object の o に 単純に number をあてがおうとするとエラーになります。
これを簡単に回避したいというものです！

Answer 1

修正したものでは test object の o に 単純に number をあてがおうとするとエラーになります。

これを簡単に回避したいというものです！

const i: Animal = 2;

inputの値をAnimalとすることで型チェックとしてははじけるのではないかと思ったのですが、これだと実現したいこととはずれますか？

Comments

[_Victorique__]

最初からその値がAnimalに含まれるか分からない場合、怒られる気がするのですがどうでしょうか？

[kmtr]

すみません、最初からその値がAnimalに含まれるか分からない場合というのがどういうケースなのか、例示していただくことは可能ですか？

[_Victorique__]

APIリクエストでフェッチしたデータや、純粋に関数に渡された引数などは未知ですよね？そういうケースは怒られてしまうと思います。

[kmtr]

TypeScriptは静的型付で実際に実行されるJavaScriptはそうではないので、書かれているようにswitch 等で調べたりなど下記のURLのような対応は必要になってくると思います。

https://qiita.com/kgtkr/items/b9820df6bcab72aea8b6

APIリクエストでフェッチしたデータや純粋に関数に渡された引数にも型付しておくことで、未然に気付くことは多少出来るかと思います。