将HTMLElement转换为HTMLAudioElement

Question

我有这行打字稿：

var audio: HTMLAudioElement = document.getElementById("audioElement");

但是，我收到了构建错误：

Type HTMLElement is not assignable to type 'HTMLAudioElement'.

我应该以不同的方式将元素检索为HTMLAudioElement，还是仅将其转换为HTMLAudioElement？

Answer 1

打字稿的铸造经文看起来像这样：

var audio = <HTMLAudioElement>document.getElementById("audioElement");

如果需要，您可以在音频变量上指定类型，但打字稿会自动为您选择。