一時オブジェクトのデータメンバーはC++ 11ではxvalueですか？

Question

#include <vector> 

using namespace std; 

struct A 
{ 
    vector<int> coll; 
}; 

void f(const vector<int>&){} 
void f(vector<int>&&){} 

int main() 
{ 
    f(A().coll); // Is "A().coll" an xvalue? 
} 

f(A().coll)はvoid f(vector<int>&&)となりますか？

Answer 1

はい。 E1.E2所与C++ 14標準、§5.2.5/ 4.2：

E2は、非静的データメンバでありE1の種類は「CQ1のX VQ1」、及びE2のタイプである場合"cq2 vq2 T"の場合、式は最初の式で指定されたオブジェクトの名前付きメンバを指定します。 E1が左辺値の場合、E1.E2は左辺値です。 その他の場合E1.E2はx値です。

Pedantically、もともとC++ 11はこれを値として分類しましたが、そのような分類は無意味なので変更されました。変更が欠陥レポートによって適用された場合、それは遡及的です - 公開されたC++ 11標準ドキュメントN3290は間違っており、C++ 14ドキュメントはC++ 11を代わりに定義しています。そうでなければ、コンパイラが-std=c++11と-std=c++14の間の微妙な動作の違いを実装する必要があるからです。今DRを検索するのは怠惰です。