在TypeScript中获取"HTMLInputElement"类型

Question

有一个<input type="checkbox" id="mainCheckbox" />,我想使用它的属性checked.和vscode waring Property 'checked' does not exist on type 'HTMLElement'.我知道必须是类型HTMLInputElement,但是我不能改变它,方法getElementById()是返回类型HTMLElement;

var controlCheckbox= document.getElementById("mainCheckbox"),
    addBtn = document.getElementById("btn_add"),
    container = document.getElementById("observers");
ObserverSubject.extend(new ObserverSubject.Subject(), controlCheckbox);
controlCheckbox.onclick=()=>{
    this.Notify(controlCheckbox.checked);
}

Answer 1

试试这个简单的演员:

var controlCheckbox = <HTMLInputElement>document.getElementById("mainCheckbox")