var audio: HTMLAudioElement = document.getElementById("audioElement");
但是,我得到了构建错误：
Type HTMLElement is not assignable to type 'HTMLAudioElement'.
我应该以不同的方式将元素检索为HTMLAudioElement,还是仅将其转换为HTMLAudioElement？
var audio = <HTMLAudioElement>document.getElementById("audioElement");
如果需要,您可以在音频变量上指定类型,但typescript会自动为您选择.
