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

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

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

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

Q&A

1回答

383閲覧

typescript で型のなかに出現する extends keyof と三項演算子の意味がわからない

mit0223

総合スコア3401

TypeScript

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

0グッド

1クリップ

投稿2022/07/14 02:25

前提

typescript で mongoDB ドライバを使って nodejs 上のプログラムを開発しています。
typescript 初心者なので、この際、わからないことを置き去りにせずに学んでみようと思いました。しかし、 mongoDB ドライバの型宣言を解釈しようとしてつまずいております。
Filter→WithId→EnhancedOmitまで降りたところで、その定義の内容が解釈できず困っております。

実現したいこと

EnhancedOmitの定義に記載されている

EnhancedOmit<TRecordOrUnion, KeyUnion>: string extends keyof TRecordOrUnion ? TRecordOrUnion : TRecordOrUnion extends any ? Pick<TRecordOrUnion, Exclude<keyof TRecordOrUnion, KeyUnion>> : never

の意味を解釈できるようになりたいです。

発生している問題・エラーメッセージ

演算子の結合関係

まず、演算子の結合関係(特に三項演算子)がわかりません。式にカッコを付けて確認したいのですが、
上記は以下と等価でしょうか

EnhancedOmit<TRecordOrUnion, KeyUnion>: ((string extends (keyof TRecordOrUnion))) ? TRecordOrUnion :
((TRecordOrUnion extends any) ? (Pick<TRecordOrUnion, Exclude<keyof TRecordOrUnion, KeyUnion>> ): never))

この演算子の結合度を定義した仕様書はどこかにあるのでしょうか?

extends keyof

ぐぐると extends keyof はジェネリックの引数側で出現するという記事は見つかる(ex. https://teratail.com/questions/151210) のですが、上記のように型の定義側に出現した場合の意味がわかりません。

never

実は全く調べてないのですが、 never の意味もついでに教えていただけると助かります。

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

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

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

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

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

guest

回答1

0

extendskeyofはそれぞれ違う機能です。一緒に用いられることもありますが、それぞれ単独で用いられることも多いです。厳密な説明は調べていただいたほうが早いと思いますので、簡単なイメージだけ説明します。

extends

extendsはConditional Typesと呼ばれる機能で、_ extends _ ? _ : _ という形で使われます。型レベルの三項演算子というイメージが近いです。X extends Y ? A : Bとあった場合、XがYに代入可能かを判定します。代入可能である場合はA、代入できない場合はBとなります。

例えば、type Hoge = "apple" extends string ? number : null という型がある場合、Hogenumber型となります。これは、"apple"というリテラル型が、string型に代入可能であるからです。

keyof

keyofは、オブジェクトのキーの型を取り出す機能です。

ts

1type Obj = { 2 a: number, 3 b: string 4}

という型があった場合、keyof Obj"a"|"b"というユニオン型になります。


この辺りはTypeScriptの型システムならではの複雑な部分ですので、解説サイトなどをあたると体系的に理解できると思います。

投稿2022/07/14 02:41

yuta_22

総合スコア181

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

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

mit0223

2022/07/14 22:26

早速の回答ありがとうございます。extends ではなく "Conditional Types" で検索することで、解説にたどりつけるようになりました。一点確認させてください。extends のキーワードが Conditional Types として扱われるのは、後ろに?が出現するときでしょうか?それとも型定義の値側に出現したときでしょうか?文法的にどのような文脈であれば、 Conditional Types になるのでしょうか?
mit0223

2022/07/19 12:56

yuta_22様 いろいろなサイトの解説も読みましたが、なかなか全体と部分が把握できる形で記載しているものが見つかりませんでした。 > この辺りはTypeScriptの型システムならではの複雑な部分ですので、解説サイトなどをあたると体系的に理解できると思います。 体系的に理解するためのおすすめのサイトのURLをいただけないでしょうか。
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

まだベストアンサーが選ばれていません

会員登録して回答してみよう

アカウントをお持ちの方は

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

ただいまの回答率
85.50%

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

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

質問する

関連した質問