前段时间代码出了个和题目有关的Bug，一直奇怪为何出问题。无奈反了一下，突然就明白了，原来&&、&、||和|的用法，书本上并没有讲全。
 

&&和&的差别，或许不只是我们从书本表面理解的那样。看两段例子：

 1 //一A
 2 #include <iostream>
 3 using namespace std;
 4 
 5 int main()
 6 {
 7     int a = 2,b = 3;
 8     if((a < 2) && (++b < 3))
 9     {
10         cout<<"Not skip"<<endl;
11     }
12 
13     cout<<a<<","<<b<<endl;
14 
15     return 0;
16 }

输出结果：2,3

 

 1 一B
 2 #include <iostream>
 3 using namespace std;
 4 
 5 int main()
 6 {
 7     int a = 2,b = 3;
 8     if((a < 2) && (++b < 3))
 9     {
10         cout<<"Not skip"<<endl;
11     }
12 
13     cout<<a<<","<<b<<endl;
14 
15     return 0;
16 }

输出结果:2,4

 

&&：(Ea && Eb)时，如果Ea==false，则不再去计算Eb。
&：(Ea & Eb)时，无论Ea为何值，都要计算Eb。
————————————————————————————————————————————————
 
||和|与&&和&类似。
 1 二A
 2 #include <iostream>
 3 using namespace std;
 4 
 5 int main()
 6 {
 7     int a = 2,b = 3;
 8     if((a == 2) || (++b < 3))
 9     {
10         cout<<"Not skip"<<endl;
11     }
12 
13     cout<<a<<","<<b<<endl;
14 
15     return 0;
16 }
输出结果：2,3
 
//二B（--！不好意思，没考虑到会这样）
#include <iostream>
using namespace std;

int main()
{
    int a = 2,b = 3;
    if((a == 2) | (++b < 3))
    {
        cout<<"Not skip"<<endl;
    }

    cout<<a<<","<<b<<endl;

    return 0;
}
输出结果：2,4
 
||：(Ea || Eb)时，若Ea==true，不再计算Eb。
|：（Ea || Eb）时，先计算Ea与Eb的结果，再执行|。
从可执行文件的反汇编中也能看出端倪。
 
;二A-DEBUG
int a = 2,b = 3;
001C14DE  mov         dword ptr [a],2 
001C14E5  mov         dword ptr [b],3 
if((2 == a) || (b++))
001C14EC  cmp         dword ptr [a],2 ;比较a和2
001C14F0  je          main+4Dh (1C150Dh) jump equal，跳转到1C150Dh，即if程序块内
001C14F2  mov         eax,dword ptr [b] 
001C14F5  mov         dword ptr [ebp-0DCh],eax 
001C14FB  mov         ecx,dword ptr [b] 
001C14FE  add         ecx,1 
001C1501  mov         dword ptr [b],ecx 
001C1504  cmp         dword ptr [ebp-0DCh],0 
001C150B  je          main+78h (1C1538h) 
{
cout<<"Not skip"<<endl;
001C150D  mov         esi,esp 
001C150F  mov         eax,dword ptr [__imp_std::endl (1CA340h)] 
001C1514  push        eax  
001C1515  push        offset string "Not skip" (1C7870h) 
001C151A  mov         ecx,dword ptr [__imp_std::cout (1CA344h)] 
001C1520  push        ecx  
001C1521  call        std::operator<<<std::char_traits<char> > (1C1159h) 
001C1526  add         esp,8 
001C1529  mov         ecx,eax 
001C152B  call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (1CA32Ch)] 
001C1531  cmp         esi,esp 
001C1533  call        @ILT+420(__RTC_CheckEsp) (1C11A9h) 
}
cout<<a<<","<<b<<endl;
;二B-DEBUG
int a = 2,b = 3;
008C14DE  mov         dword ptr [a],2 
008C14E5  mov         dword ptr [b],3 
if((2 == a) | (b++))
008C14EC  xor         eax,eax 
008C14EE  cmp         dword ptr [a],2 
008C14F2  sete        al   ;如果相等，ZF=1。不明白，哪位大牛知道什么意思麻烦留言给我解释一下
008C14F5  or          eax,dword ptr [b] 
008C14F8  mov         dword ptr [ebp-0DCh],eax 
008C14FE  mov         ecx,dword ptr [b] 
008C1501  add         ecx,1 
008C1504  mov         dword ptr [b],ecx 
008C1507  cmp         dword ptr [ebp-0DCh],0 
008C150E  je          main+7Bh (8C153Bh) ;这里直接跳到if块外面。
{
cout<<"Not skip"<<endl;
008C1510  mov         esi,esp 
008C1512  mov         eax,dword ptr [__imp_std::endl (8CA340h)] 
008C1517  push        eax  
008C1518  push        offset string "Not skip" (8C7870h) 
008C151D  mov         ecx,dword ptr [__imp_std::cout (8CA344h)] 
008C1523  push        ecx  
008C1524  call        std::operator<<<std::char_traits<char> > (8C1159h) 
008C1529  add         esp,8 
008C152C  mov         ecx,eax 
008C152E  call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (8CA32Ch)] 
008C1534  cmp         esi,esp 
008C1536  call        @ILT+420(__RTC_CheckEsp) (8C11A9h) 
}
cout<<a<<","<<b<<endl;
008C153B  mov         esi,esp

 

 

定是编译器做了优化。
测试了一下GCC、VC都会有这样的优化，Java不会反，但是编了段代码试了一下，也是一样的。
 
原来编译器们都知道，就我不知道.......