归约运算符~^与^~