summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp0x/variadic-ex13.C
blob: b742cb1d3699f370d905e27cfb8888b03d5ec080 (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
// { dg-options "-std=gnu++0x" }

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...> struct Tuple {};
template<typename T1, typename T2> struct Pair {};

template<typename... Args1>
  struct zip {
    template<typename... Args2>
    struct with {
      typedef Tuple<Pair<Args1, Args2>...> type; // { dg-error "mismatched argument pack" }
    };
  };

static_assert 
  (is_same<zip<short, int>::with<unsigned short, unsigned>::type,
           Tuple<Pair<short, unsigned short>, Pair<int, unsigned> > >::value,
   "zip");

typedef zip<short>::with<unsigned short, unsigned>::type T2; // error: different number of arguments specified 
                                                             // for Args1 and Args2

template<typename... Args> void f(Args...);

template<typename... Args> void g(Args... args) 
{
   f(const_cast<const Args*>(&args)...); // okay: ``Args'' and ``args'' are expanded
   f(5 ...); // { dg-error "contains no argument packs" }
   f(args); // { dg-error "parameter packs not expanded" }
   // { dg-message "args" "note" { target *-*-* } 36 }
   f(h(args...) + args...); // okay: first ``args'' expanded within h, second ``args'' expanded within f.
}