TypeScript 不强制对函数参数进行类型检查

Question

我的印象是 TypeScript 允许您采用有效的 JavaScript 程序并通过使一些关键符号类型安全来“强制”类型。这将通过所有用法传播类型，并使您更新所有符号引用。

这似乎是不正确的。在以下示例中，makeDiv 函数调用了类型化的 make 函数，而不检查参数类型。

// strongly typed arguments
function make(tagName: string, className: string) {
    alert ("Make: " + className.length);
}

// no typing
function makeDiv(className) {
    // calling the typed function without type checking
    return make("div", className);
}

makeDiv("test"); 
makeDiv(6); // bang!

我在这里错过了什么吗？有没有办法强制执行“更严格”的类型检查？还是这是 TypeScript 创作者做出的设计决定？

Answer 1

这是一个设计决定。任何没有显式类型化的东西都会被隐式类型化为any 类型。 any 与 所有 类型兼容。

var x:any = 123;
x = "bang";

为了防止 隐式 将变量键入为 any，从 TypeScript 0.9.1 开始有一个编译器标志 (--noImplicitAny)

如果您使用此选项进行编译，您的代码将无法编译 除非您这样做：

// You need to explicitly mention when you want something to be of any type. 
function makeDiv(className:any) {
    // calling the typed function without type checking
    return make("div", className);
}