我正在创建一个应用程序，该应用程序将使用Python脚本将音频从本地网络上的服务器流式传输到Raspberry Pi。我想使用pygame播放文件（最好），但不将其存储在本地。这些文件将通过REST API访问。 是否可以使用pygame.mixer.music或类似的东西？从pygame.mixer.music上的docs：
音乐播放和常规声音播放之间的区别在于，音乐是流式传输的，永远不会一次全部加载。
与this issue类似，但带有pygame。
我正在创建一个应用程序，该应用程序将使用Python脚本将音频从本地网络上的服务器流式传输到Raspberry Pi。我想使用pygame播放文件（最好），但不将其存储在本地。这些文件将通过REST API访问。 是否可以使用pygame.mixer.music或类似的东西？从pygame.mixer.music上的docs：
音乐播放和常规声音播放之间的区别在于，音乐是流式传输的，永远不会一次全部加载。
与this issue类似，但带有pygame。