set的排序条件
set的排序条件必须是严格弱排序(strict weak ordering)
这就意味着:
1. 它必须是反对称的
即:若 x < y 为真,则 y < x 为假,也即:若 op(x, y) == true,则 op(y, x) == false
2. 它必须是可传递的
即:若 x < y 且y < z,则 x < z,也即:若 op(x, y) == true,op(y, z) == true,则 op(x, z) == true
3. 它必须是非自反的
即:x < x 永远为假,也即 op (x, x) === false
因此元素x,y的相等条件是 op(x, y) == false 且 op(y, x) == false;