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

// T は「length プロパティを持つ型」に限定する
function describeLength<T extends { length: number }>(value: T): string {
  return "長さは " + value.length + " です";
}

console.log(describeLength("apple"));      // 文字列は length を持つ
console.log(describeLength([10, 20, 30])); // 配列も length を持つ

// console.log(describeLength(123)); // number は length を持たないのでエラー

// 制約のおかげで、関数の中で title を安全に読める
function printTitle<T extends { title: string }>(item: T): T {
  console.log("タイトル: " + item.title);
  return item; // 受け取った型のまま返す
}

const article = printTitle({ title: "TS入門", pageCount: 120 });
// 戻り値も元の型のままなので、追加のプロパティに触れる
console.log(article.pageCount);

const video = printTitle({ title: "解説動画", seconds: 300 });
console.log(video.seconds);

// price を持つ型なら、どんなデータの配列でも合計できる
function totalPrice<T extends { price: number }>(items: T[]): number {
  let total = 0;
  for (const item of items) {
    total = total + item.price;
  }
  return total;
}

const drinks = [
  { drinkName: "コーヒー", price: 480 },
  { drinkName: "紅茶", price: 400 },
];
console.log(totalPrice(drinks));

const books = [{ bookTitle: "TS入門", price: 2800, pageCount: 320 }];
console.log(totalPrice(books));

// score を比較して、高い方を元の型のまま返す
function higherScore<T extends { score: number }>(a: T, b: T): T {
  return a.score >= b.score ? a : b;
}

const mathResult = { subject: "数学", score: 82 };
const englishResult = { subject: "英語", score: 91 };

const best = higherScore(mathResult, englishResult);
// 戻り値は T のままなので、score 以外のプロパティも読める
console.log(best.subject);
console.log(best.score);

// id を持つ配列なら何でも検索できる汎用関数
function findById<T extends { id: number }>(items: T[], targetId: number): T | undefined {
  for (const item of items) {
    if (item.id === targetId) {
      return item;
    }
  }
  return undefined;
}

const members = [
  { id: 1, memberName: "Taro" },
  { id: 2, memberName: "Hanako" },
];

const found = findById(members, 2);
if (found !== undefined) {
  console.log(found.memberName); // T のままなので memberName も読める
}
console.log(findById(members, 99)); // 見つからなければ undefined