TypeScriptのGenericsで部分的型推論を行う

1const func = <A, B, C>(a: A, b: B, c: C): [A, B, C] => {
2  return [a, b, c];
3};
4
5func(1, "2", 3); // OK
6func<number>(1, "2", 3); //NG
7func<number, string, number>(1, "2", 3); //OK

1import fs from "fs";
2
3// jsonファイルからデータを読み込む
4const getValue = <T extends object, K extends keyof T>(
5  fileName: string,
6  keyName: K
7): T[K] => {
8  const text = fs.readFileSync(fileName);
9  const data = JSON.parse(text.toString());
10  return data[keyName];
11};
12
13// ファイル内の型構造は分かっている
14type DataType = { a: number; b: string };
15
16// 推論を一つ設定すると、残りも手動で設定しなければならない
17const value1 = getValue<DataType, "a">("file.json", "a"); // value1:number
18const value2 = getValue<DataType, "b">("file.json", "b"); // value2:string
19// `a`を自動推論したいが拾ってこられない
20const value3 = getValue<DataType>("file.json", "a"); // タイプが一つだけしか指定されていないのでError

1// Tを設定しKは自動推論のタイプを作る
2type GetValue<T extends object> = {
3  <K extends keyof T>(fileName: string, keyName: K): T[K];
4};
5
6// キャストにより部分推論が出来る
7const value4 = (<GetValue<DataType>>getValue)("file.json", "a"); // value4:number
8const value5 = (<GetValue<DataType>>getValue)("file.json", "b"); // value5:string
9
10// 型設定済み関数を作る
11const getValue2: GetValue<DataType> = getValue;
12const value6 = getValue2("file.json", "a"); // value6:number
13const value7 = getValue2("file.json", "b"); // value7:string