サンプルコードで身につける: keyof — キーの一覧を型にする

type Book = {
  title: string;
  author: string;
  price: number;
};

// keyof Book は "title" | "author" | "price" というユニオン型
type BookKey = keyof Book;

let selectedKey: BookKey = "title";
console.log(selectedKey);

selectedKey = "price";
console.log(selectedKey);
// selectedKey = "publisher"; // Book にないキーはエラー

type Product = {
  productName: string;
  price: number;
  inStock: boolean;
};

// キー名の引数を keyof Product にすると、実在するキーしか渡せない
function showField(target: Product, key: keyof Product): void {
  console.log(key + " = " + target[key]);
}

const coffee: Product = { productName: "コーヒー", price: 480, inStock: true };
showField(coffee, "productName");
showField(coffee, "price");
// showField(coffee, "prise"); // タイプミスはコンパイルエラー

type Profile = {
  userName: string;
  age: number;
};

const taro: Profile = { userName: "Taro", age: 28 };

// 「Profile のキーだけが入る配列」の型。手書きのユニオンは不要
const profileKeys: (keyof Profile)[] = ["userName", "age"];

for (const key of profileKeys) {
  console.log(key + ": " + taro[key]);
}

// K extends keyof T で「T に実在するキーだけ」を受け付ける
function getValue<T, K extends keyof T>(target: T, key: K): T[K] {
  return target[key];
}

const order = { orderId: 101, itemName: "コーヒー", quantity: 2 };

const orderId = getValue(order, "orderId"); // 戻り値は number と推論される
console.log(orderId + 1);

const itemName = getValue(order, "itemName"); // 戻り値は string と推論される
console.log(itemName.toUpperCase());
// getValue(order, "memo"); // 存在しないキーはエラー

// 一覧から指定したキーの値だけを抜き出す汎用関数
function pluck<T, K extends keyof T>(items: T[], key: K): T[K][] {
  const values: T[K][] = [];
  for (const item of items) {
    values.push(item[key]);
  }
  return values;
}

const users = [
  { userName: "Taro", age: 28 },
  { userName: "Hanako", age: 25 },
];

console.log(pluck(users, "userName")); // string[] になる
console.log(pluck(users, "age"));      // number[] になる