TypeScriptで、文字列リテラルによる型推論と、明示的な型指定を併用したい

前提

まず、「指定されたキーに値を詰めたオブジェクトを生成する関数」を生成する関数がJavaScriptであります。

js
1const makeObject = key => val => ({[key]: val})

この関数を素直にTypeScriptにすると、以下のようなジェネリクスが出来上がります。

ts
1const makeObject = <T, K extends string>(key: K) => (val: T) => ({[key]: val})

実現したいこと

上の型付けの場合、makeObjectの型引数は「2つとも指定するか、両方を推論させるか」ということになってしまいます。Kにはリテラルを与えて型が明らかな場面も多いので、Kは推論に任せてTだけを指定させたいのです。

問題点・試したこと

そのままmakeObject<number>('key')と書くと、Expected 2 type arguments, but got 1.と個数が足りずエラーとなります。

K extends string = ''のように適当なデフォルト型を与える手段を取ってみると、Argument of type '"key"' is not assignable to parameter of type '""'.と型の不一致でエラーとなってしまいます。

その他

最終的に「型引数1つ、リテラル1つの指定で結果の関数が得られる」関数を書けるなら、makeObjectの型指定を変えるだけでなく、makeObject自体の構造を変える手段も問題ないです。

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

"typescript": "^5.7.2"

utm.

2024/11/25 09:44

これではだめなのですか？ const get = (index: number) => <T>(array: T[]) => array[index]; // num2 に正しく number 型がつく const num2 = get(1)(numArr); コピペ元: https://qiita.com/uhyo/items/6acb7f4ee73287d5dac0#%E3%82%B8%E3%82%A7%E3%83%8D%E3%83%AA%E3%82%AF%E3%82%B9%E3%81%A8%E3%82%AB%E3%83%AA%E3%83%BC%E5%8C%96%E3%81%95%E3%82%8C%E3%81%9F%E9%96%A2%E6%95%B0%E3%81%AB%E9%96%A2%E3%81%99%E3%82%8B%E6%B3%A8%E6%84%8F

maisumakun

2024/11/25 13:54 編集

> これではだめなのですか？求めるものと全くの別物に見えます。まず、関数の結果としてオブジェクトが得られていません。

utm.

2024/11/25 11:46

1-1. teratailはサポートセンターではなく、思考するエンジニアの為のQ&Aコミュニティです 1-2. 投稿前に検索し、できるところまで自分でやってみましょう 2. 質問をする前に自分で何がわからないのかを把握しましょう 2-1. 今置かれている状況を整理し、わかっている範囲とわからない範囲を明確にしましょう質問するときのヒント https://teratail.com/help/question-tips

maisumakun

2024/11/25 13:56 編集

えっと、何がしたいのでしょうか？的はずれなものを的外れという、質問者にはそれすら許されないものなのでしょうか？ > 質問するときのヒント質問について不足したと感じる点があるのでしたら、そこの明示をお願いいたします。

utm.

2024/11/25 18:03

カリー化の際に二つ目の関数について、ジェネリック型を指定したいという質問趣旨かと思ったのですが、そうではなく、動的関数の生成(メタプログラミング)をしたいという趣旨の質問なのですか？私が最初のコメントでいいたかったのは、まず自分で調べたのか？ということです。質問文にはそういうことを記載するものではないのでしょうか？「求めるものと全くの別物に見えます。」とだけ返されても、考えることを放棄して答えだけをもらいたいようにしか見えませんが。逆にどういう利用方法をしたいのですか？

maisumakun

2024/11/25 22:24

> カリー化の際に二つ目の関数について、ジェネリック型を指定したいという質問趣旨かと思ったのですが、すみません、最初のコメント時点でもう少し説明をいただきたかったです。 > 「求めるものと全くの別物に見えます。」とだけ返されても、考えることを放棄して答えだけをもらいたいようにしか見えませんが。もとの質問に則さない形で適当に貼り付けただけのコメントに見えたので、そのような返答となってしまいました。失礼いたしました。

行動規範の内容に同意します

回答1件

ベストアンサー

こんにちは。

TypeScript は個人的に避けていて専門外なので、TS 特有の型テクとは無縁ですが、
単純に T の型は明示的に指定し K は推論させたいという要件だと、T の型だけ指定した generic function を呼び出し、その戻り値で K の generic function を返せばできそうな気がしました。
playground で入力してみたらできたっぽいのが以下ですが、これで要件を満たしているかどうかは分かりません。

typescript
1const makeObject = <T,>() => <K extends string>(key: K) => (val: T) => ({[key]: val})
2
3const makeNumberObject = makeObject<number>();
4const obj = makeNumberObject("key")(123);