得到一个＆＃34; HTMLInputElement＆＃34;输入TypeScript

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")