返回
不变量
无内容