用empty检查是否为空

用empty形式判断容器是否为空，而不是用size()==0来判断，理由是：

empty对所有标准容器都是常数时间操作，而对一些list实现，size耗费线性时间。