5.12.3 差运算