Typescript函数接受无效参数且没有错误

Question

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

我已经定义了一个带有与某个接口匹配的参数的函数。 然后我用一些不匹配的参数调用该函数。 这是代码（ 或在游乐场 ）：

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; } { foo: number; }和它并不矛盾的定义ArgumentInterface ，值既可以是：

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

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

如果ArgumentInterface是：

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

然后你得到你预期的错误。

Answer 2

这是因为TypeScript使用结构类型 （如Ocaml）。

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