使用javascript下载嵌入在html video标签中的视频

在使用JavaScript下载嵌入在HTML video标签中的视频时，我们可以通过以下步骤完成：

首先，获取video标签的源视频地址，可以通过video元素的src属性获取，或者通过JavaScript获取video元素并使用getAttribute('src')方法获取源视频地址。
创建一个新的a标签元素，用于模拟下载链接。

var videoElement = document.querySelector('video');
var videoSrc = videoElement.getAttribute('src');

var downloadLink = document.createElement('a');
downloadLink.href = videoSrc;

设置下载链接的属性，包括下载文件的名称和文件类型。

downloadLink.download = 'video.mp4'; // 设置下载的文件名
downloadLink.type = 'video/mp4'; // 设置文件类型

将下载链接添加到页面中，可以使用appendChild方法将其添加到body元素中。

document.body.appendChild(downloadLink);

触发下载操作，使用click方法模拟用户点击下载链接。

downloadLink.click();

完整的JavaScript代码如下：

var videoElement = document.querySelector('video');
var videoSrc = videoElement.getAttribute('src');

var downloadLink = document.createElement('a');
downloadLink.href = videoSrc;
downloadLink.download = 'video.mp4';
downloadLink.type = 'video/mp4';

document.body.appendChild(downloadLink);

downloadLink.click();

这样，通过JavaScript下载嵌入在HTML video标签中的视频就可以实现了。

请注意，这里只提供了下载视频的基本方法，实际应用中可能需要考虑到视频的大小、网络情况等因素，以及其他额外的逻辑处理。另外，为了更好地适应不同浏览器和设备，建议在实际使用时进行兼容性测试。

对于腾讯云相关产品和产品介绍链接地址，建议您访问腾讯云官方网站获取最新的信息。