rval-references.cpp [plain text]
typedef int&& irr;
typedef irr& ilr_c1; typedef int& ilr;
typedef ilr&& ilr_c2;
irr ret_irr() {
return 0;
}
struct not_int {};
int over(int&);
not_int over(int&&);
int over2(const int&);
not_int over2(int&&);
struct conv_to_not_int_rvalue {
operator not_int &&();
};
void f() {
int &&virr1; int &&virr2 = 0;
int &&virr3 = virr2; int i1 = 0;
int &&virr4 = i1; int &&virr5 = ret_irr();
int &&virr6 = static_cast<int&&>(i1);
(void)static_cast<not_int&&>(i1);
int i2 = over(i1);
not_int ni1 = over(0);
int i3 = over(virr2);
not_int ni2 = over(ret_irr());
int i4 = over2(i1);
not_int ni3 = over2(0);
ilr_c1 vilr1 = i1;
ilr_c2 vilr2 = i1;
conv_to_not_int_rvalue cnir;
not_int &&ni4 = cnir; not_int &ni5 = cnir; not_int &&ni6 = conv_to_not_int_rvalue();
try {
} catch(int&&) { }
}
int&& should_warn(int i) {
return static_cast<int&&>(i); }
int&& should_not_warn(int&& i) { return static_cast<int&&>(i);
}
struct MoveOnly {
MoveOnly();
MoveOnly(const MoveOnly&) = delete;
MoveOnly(MoveOnly&&);
MoveOnly(int&&);
};
MoveOnly returning() {
MoveOnly mo;
return mo;
}
MoveOnly gmo;
MoveOnly returningNonEligible() {
int i;
static MoveOnly mo;
MoveOnly &r = mo;
if (0) return gmo; else if (0) return mo; else if (0) return r; else return i; }