【TypeScript】ジェネリクス(Generics)とは？

// [ Generics の簡単な具体例(関数編) ]

// number型-専用-Function
function test(arg: number): number {
    return arg;
}

// string型-専用-Function
function test2(arg: string): string {
    return arg;
}

test(1); //=> 1
test2("文字列"); //=> 文字列

// 1. 上記2つのFunctionは、扱うデータの「型」が違うだけで構造的には一緒です。

// 2. このような構造が共通の処理は、Genericsにしましょう！

// 3. Generics Ver.Function
function GenericsTest<T>(arg: T): T {
  return arg;
}

// 4. 呼び出す時に、「型引数」に「具体的」な型を渡す(型を決定する)
GenericsTest<number>(1); // 1
GenericsTest<string>("ももちゃん"); // ももちゃん

// 5. Genericsでも型推論ができるので、引数から型が明示的にわかる場合は省略が可能
GenericsTest("白桃"); // 白桃

// < まとめ >
// Genericsでは抽象的な型引数<T>を関数に与え、実際に利用されるまで型が確定しない関数を作成しています。

// [ 複数の型引数を定義する ]

function MultiGenerics<T, U, P>(arg1:T, arg2: U, arg3: P): P {
  return arg3;
}

//※ Genericsでも型推論ができるので、引数から型が明示的にわかる場合は省略が可能
MultiGenerics({robotama: 'ロボ玉'}, true, 'ロボ玉試作1号機'); // ロボ玉試作1号機

// [ Genericsの簡単な具体例(クラス編) ]

// 1. 型引数Tはメソッドの返り値の型や、引数の型として、クラスを通して使用されている事が見てとれます。
class GenericsClass<T> {
  item: T;

  constructor(item: T) {
    this.item = item;
  }

  getItem(): T {
    return this.item;
  }
}

const strObj = new GenericsClass<string>("Generics-Type-ロボ玉");
console.log(strObj.getItem()); // Generics-Type-ロボ玉

const numObj = new GenericsClass<number>(12);
console.log(numObj.getItem()); //  12

// [ Genericsの簡単な具体例(インターフェイス編) ]

interface KeyValue<T, U> {
    key: T;
    value: U;
}

const obj: KeyValue<string, number> = { key: "ももちゃん", value: true }

console.log(obj); // {key: "ももちゃん", value: true}

function getName<T>(arg: T): string {
  return arg.name; //　Error-Occur: Property 'name' does not exist on type 'T'.
}
// argの型はこの時点でnameを持つか不明なので、コンパイラは警告を出す。

// [ 型引数に制約を付ける ]

interface argTypes {
    name: string;
}

// 1.「 型引数 extends 実体のある型 」=> 「型引数に制約を入れる」ことができる！
function GenericsGetName<T extends argTypes>(arg: T): string {
    return arg.name;
}

GenericsGetName({ name: "ロボ・ロボ玉" });