TypeScript - `in keyof`, `extends keyof`

• in keyof : superset
  • https://stackoverflow.com/questions/50214731/what-does-the-in-keyword-do-in-typescript

    The in keyword is used there as part of the syntax to iterate over all the items in a union of keys.

• extends keyof : subset
  • https://stackoverflow.com/questions/57337598/in-typescript-what-do-extends-keyof-and-in-keyof-mean
  • https://product.kyobobook.co.kr/detail/S000001033114, P.83

    type Pick<T, K> = {
      [k in K]: T[k]
    };

    K는 T 타입과 무관하고 범위가 너무 넓습니다. K는 인덱스로 사용될 수 있는 string | number | symbol이 되어야 하며 실제로는 범위를 조금 더 좁힐 수 있습니다. K는 실제로 T의 키의 부분 집합, 즉 keyof T가 되어야 합니다.

    type Pick<T, K extends keyof T> = {
      [k in K]: T[k]
    };

    타입이 값의 집합이라는 관점에서 생각하면 extends를 '확장'이 아니라 '부분 집합'이라는 걸 이해하는 데 도움이 될 겁니다.

https://github.com/microsoft/TypeScript/blob/main/src/lib/es5.d.ts

/**
 * Make all properties in T optional
 */
type Partial<T> = {
    [P in keyof T]?: T[P];
};

/**
 * Make all properties in T required
 */
type Required<T> = {
    [P in keyof T]-?: T[P];
};

/**
 * Make all properties in T readonly
 */
type Readonly<T> = {
    readonly [P in keyof T]: T[P];
};

/**
 * From T, pick a set of properties whose keys are in the union K
 */
type Pick<T, K extends keyof T> = {
    [P in K]: T[P];
};

/**
 * Construct a type with a set of properties K of type T
 */
type Record<K extends keyof any, T> = {
    [P in K]: T;
};