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

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

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

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

Q&A

解決済

1回答

550閲覧

TypeScriptのタグ付けと、型の合併について

suny

総合スコア48

TypeScript

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

0グッド

0クリップ

投稿2020/07/12 02:51

編集2020/07/12 02:51

TSでタグ付けと型の合併に関して質問です。

TSで

// typeプロパティタグとする type A = {type: "first", name: string, age: number} type B = {type: "second", name: string, age: string, id: number} type C = {type: "third", name: number, age: number, id: string} type O = A | B | C // 合併型 function f(i: O) { if(i.type === "first") { // タグによる絞り込み i.name // TSがstringと絞り込む i.age // number // i.id エラー } } let n = {type: "first", name: "bob", age: 21, id: 5} as const f(n)

このようなコードを記述すると、if内で i.id を行うとエラーがスローされます。

ただ、実際には type: "first" メンバーをもち、id: 5 メンバももつオブジェクトは合併型が要求されているのでエラーは出ません。

ここで質問なのですが、このタグはどのような動きをしているのでしょうか

タグで指定すると、たとえ合併型には対応する型を引数で渡しても、そのif節の中では存在しないものとして扱われるのでしょうか

よろしくお願いいたします。

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

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

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

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

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

guest

回答1

0

ベストアンサー

関数fの引数の時点では type Oを受け取りますが、
if i.type "first" にした時点で ifのブロック内は型が type Aに限定されるため、
type Aに宣言されていない id は存在しないためエラーになります。

参考doc
demo

typescript

1// typeプロパティタグとする 2type A = {type: "first", name: string, age: number} 3type B = {type: "second", name: string, age: string, id: number} 4type C = {type: "third", name: number, age: number, id: string} 5type O = A | B | C // 合併型 6 7function f(i: O) { // A | B | C の型を受け入れる 8 if (i.type === "first") { // 型が Aに限定される 9 console.log(i.name) 10 console.log(i.age) 11 console.log(i.id) // 参照エラー 12 } else { // B | C 13 console.log(i.name) 14 console.log(i.age) 15 console.log(i.id) 16 } 17} 18 19let n = {type: "first", name: "bob", age: 21, id: 5} as const 20f(n) 21

投稿2020/07/12 03:32

編集2020/07/12 03:33
wilf

総合スコア300

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

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

suny

2020/07/13 06:51

ありがとうございます!
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

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

ただいまの回答率
85.50%

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

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

質問する

関連した質問