如何从服务器下载一部分mp3?

How to download a part of mp3 from server?

用例

我的用例大致等于,将 15 秒的 mp3 文件添加到约 1 分钟的视频中。所有转码合并部分将由 FFmpeg-android 完成,所以现在这不是问题。

流程如下

尝试过的解决方案

所以以上两种解决方案都没有取得成果,目前,我正在下载整个文件并在本地进行修整,这绝对是一个糟糕的用户体验。 我想知道 Instagram 的音乐添加到故事功能是如何工作的,因为这接近我想要实现的。

这不是您想要的方式。 mp3 文件没有时间戳。如果你只是跳到 mp3 的中间,(并寻找帧开始标记),然后开始解码,你不知道这个帧是在什么时间,因为帧是可变大小的。唯一知道的方法是计算当前位置之前的帧数。这意味着您需要整个文件。