Keyof也是T型

Question

有没有办法限制,keyof T以便它只接受某种类型的键？假设如下:

interface Something {
    id: number;  
    name: string;  
    value1: FancyType;  
    value2: FancyType;  
    value3: FancyType;
}

function someFunction(key: keyof Something) {
   // do something to a FancyType
}

someFunction会接受id | name | value1 | value2 | value3,有没有办法将它限制为类型的键FancyType,即value1 | value2 | value3？

Answer 1

从TypeScript 2.8开始,这可以通过条件类型(Code)实现.

type FancyProperties<T> = Pick<T, { 
    [K in keyof T]: T[K] extends FancyType ? K : never 
}[keyof T]>;


function someFunction(key: keyof FancyProperties<Something>) {
   // do something to a FancyType
}

someFunction("id"); // Error
someFunction("value2"); // OK

Answer 2

@Motti 答案的更好实现是这样的：

type FilteredKeyOf<T, TK> = keyof Pick<T, { [K in keyof T]: T[K] extends TK ? K : never }[keyof T]>;

它使用与使用条件类型和相同的原则never，但参数化了您的属性应扩展到的类型TK。

您可以更灵活地使用它：

function someFunction(key: FilteredKeyOf<Something, FancyType>) {
  // do something to a FancyType
}
someFunction("id"); // error
someFunction("value2"); // okay