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

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

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

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

Q&A

1回答

275閲覧

TypeScriptでジェネリクスを使った関数の型定義がよくわからない

dbd

総合スコア4

TypeScript

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

0グッド

1クリップ

投稿2021/01/05 12:12

TypeScriptのジェネリクスについての質問です

ジェネリクスを使って関数の型を定義しているのですが、以下の型定義の違いがよくわからず...
お手すきでご教示いただけますと助かります。

export type GetIndexFunc = <T>(input: T[], comparator: IndexComparator<T>) => number; export type GetIndexFunc<T> = (input: T[], comparator: IndexComparator<T>) => number;

利用環境

  • TypeScript 3.7.5

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

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

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

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

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

guest

回答1

0

全然違います

TypeScript

1type TypeX<T> = T

とします。まず簡単な下の方から。これは普通のジェネリクスです。型変数に型を入れることができるやつですね。

TypeScript

1type TypeA<T> = (x: TypeX<T>) => number 2const f: TypeA<number> = (x) => x

これはいつものやつなので問題ないと思われます。では上の方。

TypeScript

1type TypeB = <T>(x: TypeX<T>) => number 2const g: TypeB = (x) => x // Type 'T' is not assignable to type 'number'.

使おうとしてもエラーで怒られます。それはなぜかというと型変数 T というのは TypeB の中で閉じていてしまって勝手に外側から入れられないからなんですね。んじゃんなもん何に使うのというと、制約を付けてあげると実は型を代入することが出来ます。

TypeScript

1type TypeC = <T extends number>(x: TypeX<T>) => number 2const h: TypeC = (x: number) => x // OK!

また、型レベルプログラミングで一時的に変数を使いたいけど外に出したくないときなんかに使えます。

TypeScript

1type TypeD<T> = <K extends keyof T>(kv: T, k: K) => T[K] 2type Dict = { 3 'foo': string 4 'bar': string 5 'baz': string 6} 7const dict: Dict = { 8 'foo': 'hoge', 9 'bar': 'fuga', 10 'baz': 'piyo', 11} 12const getSafety: TypeD<Dict> = (kv, k) => { 13 return kv[k] 14} 15getSafety(dict, 'foo') // これは大丈夫 16getSafety(dict, 'nyaan') // これはコンパイルエラー!!

こんなふうに「何回も出てくる型なので書くのがしちめんどくさいから割り当てる」場合か「型レベルプログラミングでバリバリやりたいので一時変数使いてーッ」という場合 type Foo = <T>(x: T)=> T みたいな書き方になるんじゃなかろうかと思います。

投稿2021/01/06 04:05

A_kirisaki

総合スコア2853

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

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

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

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

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

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

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

ただいまの回答率
85.35%

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

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

質問する

関連した質問