直感的に理解しやすいコーディングスタイルを心がけてるんで "0 == ..." っていうイディオムは直感的で気に入ってて obj.empty() よりも好んで使ってたんですが、残念ながら obj.size() を利用するのは時として obj.empty() を利用するよりもパフォーマンス…