$~ が最後にマッチしたデータになるというのは分かります。
でも、なぜ(a*)が２回マッチするのかが分かりません。
１回目のマッチで文字列全部を取ってしまってるので、それで終了にはならないのですか？