打字稿函数接受无效参数且没有错误

Question

我试图了解 Typescript 提供的类型安全的程度。我遇到了一种情况，我预计会出错，但 Typescript 没有抱怨。

我定义了一个函数，其参数与某个接口匹配。然后我用一些不匹配的参数调用函数。这是代码（or in playground）：

interface ArgumentInterface {
    [key: number]: string
}

interface InvalidArgumentInterface {
    [key: string]: number
}

interface InvalidArgumentInterface2 {
    foo: number
}

function myFunction(arg: ArgumentInterface) {
    // function body
}

let validArgument: ArgumentInterface = {};
validArgument[5] = 'I am a string';

let invalidArgument: InvalidArgumentInterface = {
    foo: 42
};

let invalidArgument2: {foo: number} = {
    foo: 42
};

let invalidArgument3: InvalidArgumentInterface2 = {
    foo: 42
};

let invalidArgument4 = {
    foo: 42
};

myFunction(validArgument); // no typescript error, as expected
myFunction(invalidArgument); // typescript error, as expected
myFunction(invalidArgument2); // no typescript error!
myFunction(invalidArgument3); // typescript error, as expected
myFunction(invalidArgument4); // no typescript error!

当我的参数变量显式声明一个不兼容的接口时，我得到了预期的 Typescript 错误。但是当我的参数变量声明一个类型文字（没有接口）或根本没有声明任何类型时，Typescript 根本不会抱怨，尽管我预计会出错。

我已将“noImplicitAny”标志设置为 true。

谁能解释这种行为？

Answer 1

您没有收到以下错误：

myFunction(invalidArgument2);
myFunction(invalidArgument4);

因为它们的类型是{ foo: number; }，并且与ArgumentInterface的定义不矛盾，所以一个值可以是两者：

let a = {
    1: "one",
    2: "two",
    foo: 4
}

这里用数字索引的有一个字符串值，但 foo 索引有一个数字值。

如果ArgumentInterface 是：

interface ArgumentInterface {
    [key: number]: string;
    [key: string]: string;
}

然后你会得到你期望的错误。

Answer 2

这是因为TypeScript uses structural typing（如 Ocaml）。

invalidArgument2 和 invalidArgument4 在结构上都与 ArgumentInterface 兼容，因此，TypeScript 很乐意接受它们。