赋值函数时没有正确检查函数参数类型

Question

我在TypeScript中遇到了一个奇怪的交互:

type Vector2 = { x: number; y: number };
type Vector3 = { x: number; y: number; z: number };
type Takes2 = (vec: Vector2) => void;
type Takes3 = (vec: Vector3) => void;
let f2: Takes2 = (vec) => console.log(vec.x + vec.y);
let f3: Takes3 = (vec) => console.log(vec.x + vec.y + vec.z);
// This makes sence - we call f2 with Vector3, so the "z" prop is going to be ignored
f3 = f2;
f3({ x: 1, y: 2, z: 5 }); // prints 3 (1 + 2)
// This makes no sence - we call f3 with Vector2, so we read undefined when we read vec.z
f2 = f3;
f2({ x: 1, y: 2 }); // prints NaN! (1 + 2 + undefined)

看起来，当一个函数被赋值给另一个变量(或者作为参数传递)时，TypeScript只检查类型是否"单向兼容"。(其中一个实参可以赋值给另一个)，但不检查实参类型兼容的方向是否与函数赋值的方向匹配。

总是这样吗?或者是可以切换的编译器选项?

TypeScript版本:4.4.4tsconfig.json:

{
"compilerOptions": {
"target": "es5",
"downlevelIteration": true,
"lib": ["dom", "dom.iterable", "esnext"],
"allowJs": true,
"skipLibCheck": true,
"esModuleInterop": true,
"allowSyntheticDefaultImports": true,
// "strict": true,
"forceConsistentCasingInFileNames": true,
"noImplicitAny": true,
"noImplicitReturns": true,
"noFallthroughCasesInSwitch": true,
"module": "esnext",
// "module": "commonjs",
"moduleResolution": "node",
"resolveJsonModule": true,
// "isolatedModules": true,
"noEmit": true,
"jsx": "react",
"baseUrl": ".",
"paths": {
"*": ["./src/*"]
}
},
"types": ["forge-viewer"],
"include": ["src"]
}

Answer 1

您正在寻找的标志是strictFunctionTypes。

我在你的配置中注意到你已经注释掉了"strict": true。如果您保持严格模式(这是推荐的)，那么strictFunctionTypes将被包括在内，您将得到一个编译错误。