Decorate-sort-undecorate idiom: Difference between revisions