当二元减法的两个操作数都是算术类型时，结果类型是两个操作数根据二元转换规则转换后的类型。
因此，当转换后的两个操作数都是无符号类型时（转换后的最小无符号类型是unsigned int），结果依旧是无符号类型。所以，即使被减数<减数，结果也不会为负数，这点需要注意。
无符号结果等于实际算术结果模2n的值，其中n是结果类型的bit数，参见溢出。