泛型類型中的打字稿值類型

Question

我有使字段成為必需的通用類型

type MakeFieldRequired<T, K extends keyof T> =
    T & Required<Pick<T, K>>

type Data = {
    optional1?: number;
    optional2?: number;
    required: number;
}

const data: Data = {
    required: 1
}

const data2: MakeFieldRequired<Data, 'optional1'> = {
    optional1: 1,
    required: 1
};

我如何制作泛型並直接在那里使用值類型，比如

type MakeOptional2FieldRequired<T>
    = MakeFieldRequired<T, T['optional2']>;

const data3: MakeOptional2FieldRequired<Data> = {
    optional2: 1,
    required: 1
}

Answer 1

為了獲得T['optional2']的類型，您需要在T上設置約束。

type MakeOptional2FieldRequired<T extends { optional2: any }> = T['optional2']

但我認為這實際上不是您想要的，因為它將類型作為屬性鍵傳遞。 相反，只需傳遞字符串文字

type MakeOptional2FieldRequired<T extends { optional2: any }> = MakeFieldRequired<T, 'optional2'>