带有签名的打字稿箭头函数接受错误的参数

Question

考虑类型：

type GenericFunction = <T>(props: Array<T>) => void

和箭头函数：

const test: GenericFunction = <X>(props: X) => {
let dd: X }

test 函数为什么接受 X 作为参数，尽管类型 GenericFunction 定义了 Array<T> 作为参数？

Answer 1

X 的某些类型将满足GenericFunction 的签名，这就是编译器不会给出错误的原因。现在只是一个隐式约束，X 必须是数组类型。

仅当您为 X 添加与此隐式约束冲突的约束时，您才会收到错误：

// this gives a compile error
const test: GenericFunction = <X extends number>(props: X) => {};