int Mix_GetNumMusicDecoders()
Mix_GetMusicDecoderで利用可能な音楽デコーダーの数を得る. それぞれの形式に対応した共有ライブラリの利用可能な音楽デコーダーの数が変わるため, この数はプログラムの実行毎に異なる可能性がある.
// 利用可能な音楽デコーダーの数を表示する printf("%d つの音楽デコーダーが利用可能である\n", Mix_GetNumMusicDecoders());