Typescript 如何通过TypeScrip中的函数防止映射类型中未能通过复杂推理的any值

一般而言，TypeScrip并不能真正禁止多余的属性；对象类型是开放和可扩展的，而不是封闭或密封的(参见microsoft/TypeScript#12936).无论你做什么，都不会阻止你这样做:

const a = { firstName: 'value', age: 2 }; // okay
const b: { firstName: string } = a; // okay
dataFunc(() => ({ attributes: ['firstName'], initialValues: b })) // okay

在TypeScrip中，我们最多只能处理discourage个额外属性.您在okay示例中看到的data的错误是excess property checking的示例，但这只对直接分配给期望较少属性的位置的对象文字起作用.它不适用于函数返回(请参见microsoft/TypeScript#241)，这就是为什么您在那里没有得到错误的原因.

如果我们想要在dataFunc()中模拟多余的属性判断，我们需要将其设置为generic以捕获initialValues属性的完整类型，然后将constrain该类型设置为其中任何多余属性的属性类型为the impossible never type:

type ExactAttributes<T, K extends PropertyKey> = {
  [P in keyof T]: P extends K ? unknown : never
}   

function dataFunc<
  K extends string,
  T extends ExactAttributes<T, K>
>(data: () =>
  Data<K> & { initialValues?: T }): () => Data<K> {
  return data
}

这一点的一部分是不变的，你仍然有K extends string和data‘S返回类型仍然是Data<K>，但现在我们说它是also {initValues?: T}，其中T被约束为ExactAttributes<T, K>.如果T是{firstName: string, age: string},K是"firstName"，那么ExactAttributes<T, K>是{firstName: unknown, age: never}.因此T extends ExactActributes<T, K>不是真的，因为age是类型string而不是never.因此，您将获得所需的错误:

const notOkay = dataFunc(() => ({
  attributes: ['firstName'],
  initialValues: {
    firstName: 'value',
    age: 2 // error
    // Type 'number' is not assignable to type 'never'.
  }
}))

这样，您就有了类似于判断函数返回类型的额外属性的内容.但请记住，多余的属性并不真的被认为是类型错误，因此该语言并不真的想帮助您强制执行这类事情.

Playground link to code个