typescript类构造函数参数推断为any

Question

让我们分析下面的代码片段：

class Human {
    private name: string;
    constructor(name){
        this.name = name;
    }
}

let h = new Human(5)

以上代码不会引发任何错误。我希望它会抛出构造函数调用，在这里我传递5。

似乎构造函数的name参数被推断为any，其中，静态地很容易发现我将其分配给私有名称：string。

问题是：TypeScript在这里允许5，或者换言之，名称被推断为任何，而在这种情况下，很明显它必须是一个字符串，这有什么特殊的原因吗？

我知道我可以做另一个这样的类定义：

class Human {
    constructor(
        private name: string
    ){}
}

但这里我指定了参数类型，所以这里没有推断。我也可以这样做：

class Human {
    private name: string;
    constructor(name: string){
        this.name = name;
    }
}

也不会有任何推论。我的问题是关于推理——为什么它是这样工作的。

Answer 1

我认为这是一个模糊性和计算复杂性的问题。

首先，涵盖大多数情况的简单规则是最好的。这意味着该语言的语法很简单，对于新手来说很容易学习，而且也很容易维护编译器本身。

然后，可能会出现一些极端情况，即根据参数的用法推断参数类型需要大量遍历，因此代码中的键入可能会减慢编译速度。

此外，构造函数是应用程序其他部分使用的类型的外部接口，因此为了清晰和安全，它应该是显式的。如果您的接口隐式地依赖于实际实现，您可能会在重构期间意外更改某些内容并获得难以检测的错误。

Answer 2

构造函数（名称）声明等于构造函数（名称：any）。然后，这个。name=name赋值之所以能无缝工作，是因为TS向后兼容普通JS：当您将“any”值赋值给强类型var时，TS假定您知道自己在做什么。因此，数字和字符串之间的转换不受TS的控制和责任。

Answer 3

有一个特定的编译器选项专门解决这个问题。如果没有“noImplicitAny”：true，则您的姓名将被推断为任何代码，因此在传递编号时不会抱怨。

为什么会这样？

看看这个和这个。