通过document.getElementById获取video标到的为什么是HtmlElement

通过document.getElementById获取video标签的返回值是一个HTMLElement对象，而不是具体的HTMLVideoElement对象。这是因为HTMLElement是所有HTML元素的基类，而HTMLVideoElement是HTMLElement的子类，表示视频元素。通过document.getElementById方法获取到的元素可能是任何类型的HTML元素，因此返回的是通用的HTMLElement对象。如果你确定获取的元素是video标签，你可以使用类型断言将其转换为HTMLVideoElement对象，以便访问video标签特有的属性和方法。

以下是一个示例代码，演示如何通过document.getElementById获取video标签并将其转换为HTMLVideoElement对象：

let videoElement = document.getElementById('videoId');
let video = videoElement as HTMLVideoElement;
// 现在你可以使用video对象来访问video标签特有的属性和方法
video.play();