summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp0x/iop.C
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;
}