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

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

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

JavaScriptは、プログラミング言語のひとつです。ネットスケープコミュニケーションズで開発されました。 開発当初はLiveScriptと呼ばれていましたが、業務提携していたサン・マイクロシステムズが開発したJavaが脚光を浴びていたことから、JavaScriptと改名されました。 動きのあるWebページを作ることを目的に開発されたもので、主要なWebブラウザのほとんどに搭載されています。

TypeScript

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

解決済

「type MyExclude<T, U> = T extends U ? never : T」がわかりません

kaji120
kaji120

総合スコア39

JavaScript

JavaScriptは、プログラミング言語のひとつです。ネットスケープコミュニケーションズで開発されました。 開発当初はLiveScriptと呼ばれていましたが、業務提携していたサン・マイクロシステムズが開発したJavaが脚光を浴びていたことから、JavaScriptと改名されました。 動きのあるWebページを作ることを目的に開発されたもので、主要なWebブラウザのほとんどに搭載されています。

TypeScript

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

2回答

0グッド

0クリップ

197閲覧

投稿2022/11/13 23:06

前提

type-challengesに挑戦しています。
easyのExcludeが分からずに困っています。
Excludeを使用せずに同じ機能を持ったtypeを作る課題です。以下が答えです。

js

1type MyExclude<T, U> = T extends U ? never : T

分からないこと

extendsについて

extendsを紹介しているサイトをいくつか読みましたが、今回の問題でいくとT extends UはUを拡張したものがTという事になると思います。なのでUはTを内包するとい事だ理解しています。しかし、それだと今回の問題ではおかしいのではないでしょうか?Exclude<T, U>はTに与えらてた値に対してUを取り除くだと思うので、Tを拡張したものがUのイメージです。

ts

1// 今回の場合Foobarbazの中から指定されたものを除外するのでFoobarbazが起点になっているのでUは拡張されていないのでは? 2type MyExclude<T, U> = T extends U ? never : T 3 4type Foobarbaz = foo| bar | baz 5 6MyExclude<Foobarbaz, baz> 7

試したこと

extendsについて
https://typescriptbook.jp/reference/generics/type-parameter-constraint
https://zenn.dev/miz_dev/articles/1519a995ae306a#generics-%E3%81%AE-extends-%E3%81%AB%E3%82%88%E3%82%8B%E5%9E%8B%E5%88%B6%E7%B4%84

neverについて
https://numb86-tech.hatenablog.com/entry/2020/02/06/214324
https://typescriptbook.jp/reference/statements/never

Conditional Typesの分配について
https://zenn.dev/oreo2990/articles/1040312d7af066#1-1-conditional-type

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

type-challenges

以下のような質問にはグッドを送りましょう

  • 質問内容が明確
  • 自分も答えを知りたい
  • 質問者以外のユーザにも役立つ

グッドが多くついた質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

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

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

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

下記のような質問は推奨されていません。

  • 間違っている
  • 質問になっていない投稿
  • スパムや攻撃的な表現を用いた投稿

適切な質問に修正を依頼しましょう。

回答2

0

ベストアンサー

私にはTがUを内包しているように見えるのです。

試したことのリンクにもありますが、
Tが型変数でユニオン型なので、Union distributionが発生します。

つまりT extends U ? never : T
は「TUの拡張であるならば...」ではなく、
Tを構成するそれぞれの型Tnについて、TnUの拡張であるならば...」です。

投稿2022/11/14 01:22

ozwk

総合スコア13048

良いと思った回答にはグッドを送りましょう。
グッドが多くついた回答ほどページの上位に表示されるので、他の人が素晴らしい回答を見つけやすくなります。

下記のような回答は推奨されていません。

  • 間違っている回答
  • 質問の回答になっていない投稿
  • スパムや攻撃的な表現を用いた投稿

このような回答には修正を依頼しましょう。

回答へのコメント

kaji120

2022/11/14 01:53

なるほど!理解できました。ありがとうございます! 再度リンク先も確認したところ、確かにそのように書いてありました。

0

UはTを内包するとい事だ理解しています。

それを三項演算子と組み合わせているので、「UがTを内包する」場合はnever、つまり型として除外されることになります。

投稿2022/11/13 23:36

maisumakun

総合スコア141354

良いと思った回答にはグッドを送りましょう。
グッドが多くついた回答ほどページの上位に表示されるので、他の人が素晴らしい回答を見つけやすくなります。

下記のような回答は推奨されていません。

  • 間違っている回答
  • 質問の回答になっていない投稿
  • スパムや攻撃的な表現を用いた投稿

このような回答には修正を依頼しましょう。

回答へのコメント

kaji120

2022/11/13 23:59

私にはTがUを内包しているように見えるのです。

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

ただいまの回答率
86.12%

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

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

質問する

関連した質問

同じタグがついた質問を見る

JavaScript

JavaScriptは、プログラミング言語のひとつです。ネットスケープコミュニケーションズで開発されました。 開発当初はLiveScriptと呼ばれていましたが、業務提携していたサン・マイクロシステムズが開発したJavaが脚光を浴びていたことから、JavaScriptと改名されました。 動きのあるWebページを作ることを目的に開発されたもので、主要なWebブラウザのほとんどに搭載されています。

TypeScript

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