实现接口的类是否考虑了接口中的类型？

Question

有人可以向我解释为什么使用typescript和Webstorm，以下内容不会出错：

interface IABC {

    var1: boolean;
}

class ABC implements IABC {
    var1;
    constructor() {
    }
    clear= (): void => {
        this.var1 = 999;
    };
} 

制造

var ABC = (function () {
    function ABC() {
        var _this = this;
        this.clear = function () {
            _this.var1 = 999;
        };
    }
    return ABC;
})();

它是仅仅与Webstorm一起使用还是正常的，它允许将var1分配给999？

Answer 1

我在操场上看到了同样的事情。 我认为这是因为没有类型注释，它被输入any，如果你使var1成为一个数字，它不会使用以下消息进行编译

  

班级＆＃39; ABC＆＃39;错误地实现了界面＆＃39; IABC＆＃39;：    财产类型＆＃39; var1＆＃39;是不兼容的：输入＆＃39; number＆＃39;不能分配给＆＃39;布尔＆＃39;。

所以我认为因为它没有typeinfo，所以它被输入为any，因此一切都被允许。

请注意，如果启用--noImplicitAny，它会在var1声明中给出错误，因为在这种情况下它是隐式的。