首页 文章

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

提问于
浏览 次
1

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

我've defined a function with a parameter matching a certain interface. Then I call the function with some arguments which don'匹配 . 这是代码（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 .

任何人都可以解释这种行为吗？

typescript

2 回答

  • 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;
}

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

    回复于
  • 2

    这是因为TypeScript uses structural typing（像Ocaml） .

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

    回复于

相关问题