summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp0x/variadic18.C
blob: 147ed8e4bfc589f0c605d76bd08c93a2cbaedfbe (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
42
43
44
45
46
47
// { dg-options "-std=gnu++0x" }
template<typename...> class tuple { };

template<typename T, template<typename T> class... Metafunctions>
struct apply_all
{
  typedef tuple<typename Metafunctions<T>::type...> type;
};

template<typename T, typename U>
struct is_same {
  static const bool value = false;
};

template<typename T>
struct is_same<T, T> {
  static const bool value = true;
};

template<typename T>
struct add_pointer {
  typedef T* type;
};

template<typename T>
struct add_pointer<T&>
{
  typedef T& type;
};

template<typename T>
struct add_reference {
  typedef T& type;
};

template<typename T>
struct add_reference<T&>
{
  typedef T& type;
};

int a0[is_same<apply_all<int>::type,tuple<> >::value? 1 : -1];
int a1[is_same<apply_all<int, add_pointer>::type,tuple<int*> >::value? 1 : -1];
int a2[is_same<apply_all<int, add_pointer, add_reference>::type,tuple<int*, int&> >::value? 1 : -1];
int a3[is_same<apply_all<int&, add_pointer, add_reference>::type,tuple<int&, int&> >::value? 1 : -1];