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
|
// RUN: %clang_cc1 -std=c++0x -fsyntax-only -verify %s
template<typename T, T ...Values> struct value_tuple {};
template<typename T>
struct X0 {
template<T ...Values>
void f(value_tuple<T, Values...> * = 0);
};
void test_X0() {
X0<int>().f<1, 2, 3, 4, 5>();
}
namespace PacksAtDifferentLevels {
template<typename...> struct tuple { };
template<typename T, typename U> struct pair { };
template<typename ...Types>
struct X {
template<typename> struct Inner {
static const unsigned value = 1;
};
template<typename ...YTypes>
struct Inner<tuple<pair<Types, YTypes>...> > {
static const unsigned value = sizeof...(Types) - sizeof...(YTypes);
};
};
int check0[X<short, int, long>::Inner<tuple<pair<short, unsigned short>,
pair<int, unsigned int>,
pair<long, unsigned long>>
>::value == 0? 1 : -1];
int check1[X<short, int>::Inner<tuple<pair<short, unsigned short>,
pair<int, unsigned int>,
pair<long, unsigned long>>
>::value == 1? 1 : -1];
}
|
