简介
位运算符作用于整数类型的运算对象,并把运算对象看成是二进制位的集合。位运算符提供检查和设置二进制位的功能,一种名为bitset的标准库类型也可以表示任意大小的二进制集合,所以位运算符同样可以用于bitset类型。
- 如果运算对象是“小整型”,则它的值会被自动提升成较大的整数类型。运算对象可以是带符号的,也可以是无符号的。
- 如果运算对象是带符号的且它的值为负,那么位运算符如何处理运算对象的“符号位”依赖于机器。而且,此时的左移操作可能会改变符号位的值,因此是一种未定义的行为。
关于符号位如何处理没有明确的规定,所以强烈建议仅将位运算符用于处理无符号类型。
移位运算符
<<和>>这两种运算符的内置含义是对其运算对象执行基于二进制位的移动操作,首先令左侧运算对象的内容按照右侧运算对象的要求移动指定位数,然后将经过移动的(可能还进行了提升)左侧运算对象的拷贝作为求值结果。
其中,右侧的运算对象一定不能为负,而且值必须严格小于结果的位数,否则就会产生未定义的行为。
二进制位或者向左移(<<)或者向右移(>>),移出边界之外的位就被舍弃掉了:
左移运算符(<<)在右侧插入值为0的二进制位。
右移运算符(>>)的行为则依赖于其左侧运算对象的类型:
- 如果该运算对象是无符号类型,在左侧插入值为0的二进制位
- 如果该运算对象是带符号类型,在左侧插入符号位的副本或值为0的二进制位
如何选样要视具体环境而定。
位求反运算符
位求反运算符()将运算对象逐位求反后生成一个新值,将1置为0、将0置为1;
char类型的运算对象首先提升成int类型,提升时运算对象原来的位保持不变,往高位添加0即可。
因此在本例中,首先将bits提升成int类型,增加24个高位0,随后将提升后的值逐位求反。
位或、位异或运算符
与(&)、或(1)、异或(^)运算符在两个运算对象上逐位执行相应的逻辑操作:
- 对于位与运算符(&)来说,如果两个运算对象的对应位置都是1,则运算结果中该位为1,否则为0。
- 对于位或运算符(|)来说,如果两个运算对象的对应位置至少有一个为1,则运算结果中该位为1,否则为0。
- 对于位异或运算符(^)来说,如果两个运算对象的对应位置有且只有一个为1则运算结果中该位为1,否则为0。
有一种常见的错误是把位运算符和逻辑运算符搞混了,比如位与(&)和逻辑与(&&)、位或(|)和逻辑或(||)、按位求反(~)和逻辑非(!)。
使用位运算符
我们举一个使用位运算符的例子:假设班级中有30个学生,老师每周都会对学生进行一次小测验,测验的结果只有通过和不通过两种。为了更好地追踪测验的结果,我们用一个二进制位代表某个学生在一次测验中是否通过,显然全班的测验结果可以用一个无符号整数来表示:
unsigned long quiz1 = 0; // 我们把这个值当成是位的集合来使用
定义quiz1的类型是unsigned long,这样,quiz1在任何机器上都将至少拥有32位: 给quiz1赋一个明确的初始值,使得它的每一位在开始时都有统一且固定的值。
教师必须有权设置并检查每一个二进制位。例如,我们需要对序号为27的学生对应的位进行设置,以表示他通过了测验。为了达到这一目的,首先创建一个值,该值只有第27位是1,其他位都是0,然后将这个值与quiz1进行位或运算,这样就能强行将quiz1的第27位设置为1,其他位都保持不变。
为了实现本例的目的,我们将quiz1的低阶位赋值为0、下一位赋值为1,以此类推最后统计quiz1各个位的情况。
使用左移运算符和一个unsigned 1ong类型的整数字面值1就能得到一个表示学生27通过了测验的数值:
1UL<<27 // 生成一个值,该值只有第27位为1
1UL的低阶位上有一个1,除此之外(至少)还有31个值为0的位。之所以使用unsigned long类型,是因为int类型只能确保占用16位,而我们至少需要27位。上面这条表达式通过在值为1的那个二进制位后面添加0,使得它向左移动了27位。
接下来将所得的值与quiz1进行位或运算。为了同时更新quiz1的值,使用一条复合赋值语句:
quiz1 |= 1UL << 27; // 表示学生 27通过了测验
|=运算符的工作原理和+=非常相似,它等价于
quizl = quiz1 | 1UL <<27; //等价于quizl I= 1UL<<27;
假定教师在重新核对测验结果时发现学生27实际上并没有通过测验,他必须要把第27位的值置为0。此时我们需要使用一个特殊的整数,它的第27位是0、其他所有位都是1。将这个值与quiz1进行位与运算就能实现目的了:
quizl &= (1UL <<27); //学生27没有通过测验
通过将之前的值按位求反得到一个新值,除了第27位外都是1,只有第27位的值是0。随后将该值与quiz1进行位与运算,所得结果除了第27位外都保持不变。
最后,我们试图检查学生27测验的情况到底怎么样:
bool status = quizl & (1UL <<27);//学生27是否通过了测验?
我们将quiz1和一个只有第27位是1的值按位求与,如果quiz1的第27位是1,计算的结果就是非0(真);否则结果是0。