gcc-4.9/gcc/testsuite/g++.dg/template/sfinae17.C


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

// The conversion from D* to B* is ambiguous, but that should not produce
// an error, it should remove the first f overload by SFINAE.

#define static_assert(TEST,STR) \
  do { int ar[(TEST)?1:-1]; } while (0);

struct B {};

struct B1 : B {};
struct B2 : B {};

struct D : B1, B2 {};

template <class T> T create();

typedef char one[1];
typedef char two[2];

template <class T>
    one &f(char (*)[sizeof static_cast<T>(create<D *>())]);
template <class T>
    two &f(...);

int main()
{
  static_assert(sizeof f<int>(0) == sizeof(two), "");
  static_assert(sizeof f<B *>(0) == sizeof(two), "");
}