TypeScript 可以将 keyof 限制为特定类型的属性列表吗？

Question

所以，我想写一个泛型方法。 为了这个问题，假设我想连接来自相同类型的 2 个不同对象的 2 个字符串属性。

function concat<T>(target1: T, target2: T, key: keyof T): string {
  return target1[key] + target2[key];
}

以上无法编译，因为编译器没有表明我想将key限制为仅是string类型的属性列表。

这在 TypeScript 中目前不支持吗？

我知道我可以进行运行时检查，但我想要对此进行编译时检查。

Answer 1

你想要一个三参数泛型这里。 每个输入一个，一个键。

type CommonKey<A, B> = keyof A & keyof B

function concat<A, B, K extends CommonKey<A, B>>(
  target1: A,
  target2: B,
  key: K
): string {
  return `${target1[key]}${target2[key]}`
}

这将密钥定义为 A 和 B 的密钥，这意味着它必须同时满足两者。

---

要将其进一步限制为仅字符串值，您需要使用带有条件的映射类型来测试其类型。

// This type returns all keys that have a value of type string
type StringKeyOf<T> = {
    // for all keys in T
    [K in keyof T]:

        // if the value of this key is a string, keep it. Else, discard it
        T[K] extends string ? K : never

// Get the union type of the remaining values.
}[keyof T]

// Only allow common keys of both objects.
type CommonKey<A, B> = StringKeyOf<A> & StringKeyOf<B>

function concat<
    A,
    B,
    K extends CommonKey<A, B>
>(target1: A, target2: B, key: K): string {
    return `${target1[key]}${target2[key]}`
}

现在这将给出一个类型错误，因为age是一个数字。

concat(
    { name: 'a', age: 12 human: 'maybe?' },
    { name: 'b', age: 8, dog: true },
    'age' // Type error

)