C/C++左值性精髓（二）哪些運算式是左值，哪些是右值？—-尾碼運算式

 C/C++左值性精髓

（二）哪些運算式是左值，哪些是右值？

 

4． 尾碼運算式

 

        在運算式的左值性中，尾碼運算式是比較複雜的一種情況。尾碼運算式有很多種，這裡討論的是E1.E2和E1->E2形式的尾碼運算式。

 

4.1  E1.E2形式的尾碼運算式

 

        若E2為待用資料成員或引用資料成員，無論E1的左值性如何，E1.E2的結果都是左值；若E2為非靜態非引用資料成員，C和C++標準都規定如果E1為左值，則E1.E2也是左值；當E1為右值時，從原理上說，右值對象的一部分也應該是一個右值，因此在C中，無論E2的左值性如何，E1.E2皆為右值；那麼C++中的結果又如何呢？按道理應該順理成章也為右值吧，但令人驚訝的是，C++98和C++2003都沒有對此作出規定！因此在C++98和C++2003中，無論編譯器將這種情況作為左值或右值都沒有違反標準。這種情況顯然是一個漏洞，在C++新標準C++11的制定過程中，WG21的專家在其Defect
Reports中承認了這一點，並在C++11中將結果修正為一個prvalue（pure rvalue，純右值）。

 

struct A

{

    A( int& i ) : r( i ){}

    static int k;

    int &r;

    int j;

};

 int A::k = 10;

 A foo( int& r ){ A a( r ); return A; }

 ......

 int i = 20;

A a( i );

a.k = 30;               //靜態成員，左值

a.r = 40;               //引用成員，左值

a.j = 50;               //a是左值，所以a.j是左值

foo( i ).k = 60;        //靜態成員，左值，雖然foo( i )返回一個右值

foo( i ).r = 70;        //引用成員，左值，雖然foo( i )返回一個右值

foo( i ).j = 80;        //foo( i ).j左值右值都合法，因為標準沒有規定

 

E2為函數成員。若E2為靜態成員函數，無論E1的左值性如何，結果都為左值。若E2為非靜態成員函數，如3.1節所述，由於非靜態成員函數不是左值，因此無論E1的左值性如何，E1.E2的結果都是右值。

 

4.2  E1->E2形式的尾碼運算式

 

        由於C中的右值地址無法獲得，因此C中的E1總是指向左值的指標，所以C中的E1->E2尾碼運算式的結果總是左值；但C++有很大不同，C++中的E1->E2尾碼運算式是轉換為等價形式(*E1).(E2)進行計算的，因此E1->E2的左值性與E1.E2相同。