7.3.1 引用不变性