一个杯子里装有水，水上有一块冰，此时水已满杯，当冰溶后（）。