質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.50%
TypeScript

TypeScriptは、マイクロソフトによって開発された フリーでオープンソースのプログラミング言語です。 TypeScriptは、JavaScriptの構文の拡張であるので、既存の JavaScriptのコードにわずかな修正を加えれば動作します。

Q&A

解決済

1回答

411閲覧

undefinedがunion型を突破する原因がわかりません

退会済みユーザー

退会済みユーザー

総合スコア0

TypeScript

TypeScriptは、マイクロソフトによって開発された フリーでオープンソースのプログラミング言語です。 TypeScriptは、JavaScriptの構文の拡張であるので、既存の JavaScriptのコードにわずかな修正を加えれば動作します。

0グッド

0クリップ

投稿2022/11/29 09:07

編集2022/11/29 18:47
const TYPED = { TEST: 'test', BAD: 'bad', YES: 'yes' } as const type Types = typeof TYPED[keyof typeof TYPED] const Test = (id: number, target: Types) => { console.log(target) } Test(8, undefined) // undefinedが指定出来てしまう

enumライクのunion型で、undefinedが型を突破するケースがあります。
引数を二つにすると突破できるのですが、コンポーネント間で渡すと一つでも突破できていたりします。
この場合、targetには'test'か'bad'か'yes'しか入らない認識ですが、何が間違っているのでしょうか?

イメージ説明

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

退会済みユーザー

退会済みユーザー

2022/11/29 09:25

私も同じサイトで試してますが、なぜでしょうね。。 ちなみに引数を逆にするとどうなりますか?
退会済みユーザー

退会済みユーザー

2022/11/29 09:26

画像を追加しました。
maisumakun

2022/11/29 09:47

> ちなみに引数を逆にするとどうなりますか? (もはやTypesも関係なさそうな状況ですが)逆では再現しました。
guest

回答1

0

ベストアンサー

この場合、targetには'test'か'bad'か'yes'しか入らない認識ですが、何が間違っているのでしょうか?

TypeScript 4.8以下では起きないのと、TypeScript 4.9でこれを許すような変更はなさそうなので、4.9で混入したバグと思われます。

投稿2022/11/29 09:37

maisumakun

総合スコア145121

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.50%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問