TypeScriptで「HTMLInputElement」タイプを取得する

Question

_<input type="checkbox" id="mainCheckbox" />_があります。そのプロパティcheckedを使用したいと思います。vscodeの警告_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")