#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?
}
Does C++11 guarantee f(A().coll)
will call void f(vector<int>&&)
?
Yes. C++14 standard, §5.2.5/4.2, given E1.E2
:
If
E2
is a non-static data member and the type ofE1
is “cq1 vq1 X”, and the type ofE2
is “cq2 vq2 T”, the expression designates the named member of the object designated by the first expression. IfE1
is an lvalue, thenE1.E2
is an lvalue; otherwiseE1.E2
is an xvalue.
Pedantically, originally C++11 classified this as a prvalue, but such classification was meaningless so it was changed. If the change was applied by a defect report, though, then it's retroactive — the published C++11 standard document N3290 is wrong and the C++14 document defines C++11 instead. That's likely to be the case, as otherwise would require compilers to implement a subtle difference in behavior between -std=c++11
and -std=c++14
. I'm lazy to search through DRs right now.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With