我如何要求 keyof 用于特定类型的属性？

Question

我正在尝试编写一个通用函数，该函数可以通过键名切换任何对象中的布尔属性。我阅读了TypeScript-2.8的发行说明，并认为条件类型应该可以解决此类问题。但是，我无法弄清楚如何编写我的函数。

我的函数接受要修改的对象和要修改的键的名称。为了确保只传入布尔属性的键，我使用了条件类型表达式T[K] extends boolean ? K : never。据我了解，如果我尝试传递非布尔属性的密钥，这应该会导致错误，因为T[K]不会满足extends boolean. 但是如果我试图传递一个布尔值的键，那么它应该接受那个K.

然而，似乎即使有这个条件，TypeScript 也没有实现T[K] extends boolean必须为真的函数。所以我不能将从对象读取的值分配回对象。这会导致下面显示的第一个错误。第二个错误是类型推断似乎不适用于我的函数。在下面的调用中，到目前为止只有第二个通过了 TypeScript 的检查。

function invertProperty<T, K extends keyof T> (o:T, propertyName:(T[K] extends boolean ? K : never)) {
  o[propertyName] = !o[propertyName]; // Type 'false' is not assignable to type 'T[T[K] extends boolean ? K : never]'. [2322]
}

const myObject:IObject = {
  a: 1,
  b: true,
  c: 'hi',
};

invertProperty(myObject, 'b'); // Argument of type '"b"' is not assignable to parameter of type 'never'. [2345]
invertProperty<IObject, 'b'>(myObject, 'b'); // Works, but requires me to type too much.
invertProperty(myObject, 'a'); // Argument of type '"a"' is not assignable to parameter of type 'never'. [2345]
invertProperty<IObject, 'a'>(myObject, 'a'); // Argument of type '"a"' is not assignable to parameter of type 'never'. [2345]

interface IObject {
  a:number,
  b:boolean,
  c:string,
}

我认为，如果在我的类型约束中，K extends keyof T我也可以以某种方式声明and T[K] extends boolean它会做正确的事情。在我看来，这是我试图never在参数类型中使用而不是能够约束类型参数的问题。但我找不到任何表达方式。

关于如何在完全类型安全的情况下实现这一点的任何想法？

Answer 1

首先，你可以提取使用此构造（其转化非布尔值的键布尔属性的所有按键never，并采取所有键/从未使用事实工会T | never是T）：

type BooleanKeys<T> = { [k in keyof T]: T[k] extends boolean ? k : never }[keyof T];

然后，为了让 TypeScript 高兴地为属性分配布尔值，您引入了中间类型，该类型声明为只有布尔属性（不幸的是，TypeScript 无法自己弄清楚这部分）

type OnlyBoolean<T> = { [k in BooleanKeys<T>]: boolean };

并且您声明的泛型类型参数invertProperty是兼容的OnlyBoolean（确实如此，它可能包含额外的非布尔属性，但没关系）

注意您可能需要不同版本的代码，具体取决于编译器的版本，此答案中的原始代码已停止使用 TypeScript 3.2：

// for TypeScript 3.1 or earlier
function invertProperty<T extends OnlyBoolean<T>>(o: T, propertyName: BooleanKeys<T>) {
    o[propertyName] = !o[propertyName];
}

// for TypeScript 3.2 or later
function invertProperty<T>(o: OnlyBoolean<T>, propertyName: keyof OnlyBoolean<T>) {
    o[propertyName] = !o[propertyName];
}


interface IObject {
    a: number;
    b: boolean;
    c: string;
}
const myObject:IObject = {
  a: 1,
  b: true,
  c: 'hi',
};



invertProperty(myObject, 'b'); // ok
invertProperty(myObject, 'a'); // error