为什么 Record<string, any> 可以等于函数？

Question

我一直在测试各种类型的打字稿，直到遇到以下情况。

为什么Record<string, any> 可以等于函数？

type C = { [key: string]: any } // Record<string, any>;
const C0: C = undefined // error
const C1: C = null // error
const C2: C = 2 // error
const C3: C = 'hello world' // error
const C4: C = { foo: 'bar' } // ok
const C5: C = () => undefined // ok

但是Records<string, unknown> 不能？

type B = { [key: string]: unknown } // Record<string, unknown>;
const B0: B = undefined // error
const B1: B = null // error
const B2: B = 2 // error
const B3: B = 'hello world' // error
const B4: B = { foo: 'bar' } // ok
const B5: B = () => undefined // error

Typescript playground

Answer 1

Record<string, any> 是可分配性的特殊情况，它基本上意味着任何对象类型。这在this GitHub issue中有解释

如果目标类型有，通常源类型必须有一个索引签名，但是对于 :any 这实际上没有任何暗示（根据定义，每个属性都必须匹配 any），所以我们将 [s: string]: any a出于可分配性的原因，无操作。这启用了一些以前不起作用的模式：

function doSomething(obj: { [s: string]: any}) {
  // ...
}

const obj = { a: 1, b: 2 };
// WAS ERROR: 'obj' lacks index signature
doSomething(obj);

这在某些情况下会产生一些不良的可分配性，因此我们没有将此规则应用于 : unknown 以便您可以选择您想要的行为。