HTML 音频标签实战案例剖析：从理论到实践的完美结合

HTML 音频标签的语法为：

<audio>
  <source class="lazy" data-src="audio.mp3" type="audio/mpeg">
  <source class="lazy" data-src="audio.ogg" type="audio/ogg">
  Your browser does not support the audio element.
</audio>

其中，<source> 标签用于指定音频文件的来源。class="lazy" data-src 属性指定音频文件的 URL，type 属性指定音频文件的 MIME 类型。如果浏览器支持多种音频格式，则会选择第一个支持的格式播放音频文件。

HTML 音频标签具有以下属性：

• autoplay：如果指定了该属性，则音频文件将在页面加载时自动播放。
• controls：如果指定了该属性，则会在音频标签中显示播放控制按钮。
• loop：如果指定了该属性，则音频文件将在播放结束后自动重新播放。
• muted：如果指定了该属性，则音频文件将以静音播放。
• preload：该属性指定是否在页面加载时预加载音频文件。

HTML 音频标签可以使用 JavaScript 进行控制。以下代码演示如何使用 JavaScript 播放音频文件：

var audio = document.getElementById("audio");
audio.play();

以下代码演示如何使用 JavaScript 暂停音频文件：

var audio = document.getElementById("audio");
audio.pause();

以下代码演示如何使用 JavaScript 停止音频文件：

var audio = document.getElementById("audio");
audio.stop();

以下代码演示如何使用 JavaScript 设置音频文件的音量：

var audio = document.getElementById("audio");
audio.volume = 0.5;

以上介绍了 HTML 音频标签的语法、属性和用法，并通过实际案例演示了如何使用 HTML 音频标签嵌入音频文件。