blob: 834cd314abe1cea3e483af8af0a11b5736b685d3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
// I, Howard Hinnant, hereby place this code in the public domain.
// Test that the implicit object parameter is *not* an rvalue reference, but is instead
// identical to that specified in C++03. That is, the implicit object parameter is
// an lvalue reference that can bind to an rvalue. :-\
// See http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n2118.html under the
// section "Revision 1 Summary and Rationale" for more details.
// { dg-do compile }
// { dg-options "-std=c++0x" }
template <bool> struct sa;
template <> struct sa<true> {};
struct one {long x[1];};
struct two {long x[2];};
struct os
{
one operator<<(int);
};
struct A
{
A(int);
};
two operator<<(os&, const A&);
void test()
{
os o;
sa<sizeof(o << 1) == 1 * sizeof(long)> t1; // Calls os::operator<<(int)
// Would be ambiguous if the implicit object parameter
// was an rvalue reference.
}
int main()
{
return 0;
}
|
