ios上唱吧声音合成如何制作的？

Question

播放旋律的同时，后台进行了声音合成。我不太明白，播放出来的旋律和真人唱的，是否一起录制的声音再在后台进行旋律合成。