サンプルコードで身につける: ジェネリック関数

// T は呼び出し時に決まる「型の仮の名前」
function identity<T>(value: T): T {
  return value;
}

const wrappedNumber = identity(42);      // T は number に決まる
const wrappedText = identity("hello"); // T は string に決まる

console.log(wrappedNumber + 1);
// string と分かっているので文字列メソッドも安全に使える
console.log(wrappedText.toUpperCase());

// 空配列のときは undefined を返す
function lastElement<T>(items: T[]): T | undefined {
  if (items.length === 0) {
    return undefined;
  }
  return items[items.length - 1];
}

const lastScore = lastElement([70, 85, 92]); // T は number
console.log(lastScore);

const lastMember = lastElement(["Taro", "Hanako", "Jiro"]); // T は string
console.log(lastMember);

console.log(lastElement([])); // 空配列なら undefined

// 型引数は2つ以上でも使える
function makePair<A, B>(first: A, second: B): [A, B] {
  return [first, second];
}

const userEntry = makePair("Taro", 28); // [string, number] になる
console.log(userEntry[0].toUpperCase()); // 0番目は string と分かる
console.log(userEntry[1] + 1);           // 1番目は number と分かる

const flagEntry = makePair("dark-mode", true); // [string, boolean]
console.log(flagEntry);

// 空配列からは T を推論できないので、呼び出し側で明示する
function emptyListOf<T>(): T[] {
  return [];
}

const memberNames = emptyListOf<string>(); // T を string に指定
memberNames.push("Taro");
memberNames.push("Hanako");
// memberNames.push(123); // string[] なので number はエラー

console.log(memberNames);
console.log(memberNames.length);

// T は入力の要素の型、U は変換後の要素の型
function convertAll<T, U>(items: T[], convert: (item: T) => U): U[] {
  const results: U[] = [];
  for (const item of items) {
    results.push(convert(item));
  }
  return results;
}

const prices = [480, 1200, 90];

const priceLabels = convertAll(prices, function (price) {
  return price + "円"; // U は string に決まる
});
console.log(priceLabels);

const halfPrices = convertAll(prices, function (price) {
  return price / 2; // U は number に決まる
});
console.log(halfPrices);