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
48
49
| // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
// expected-no-diagnostics
namespace ParameterPacksWithFunctions {
template<typename ...> struct count;
template<typename Head, typename ...Tail>
struct count<Head, Tail...> {
static const unsigned value = 1 + count<Tail...>::value;
};
template<>
struct count<> {
static const unsigned value = 0;
};
template<unsigned> struct unsigned_c { };
template<typename ... Types>
unsigned_c<count<Types...>::value> f();
void test_f() {
unsigned_c<0> uc0a = f(); // okay, deduced to an empty pack
unsigned_c<0> uc0b = f<>();
unsigned_c<1> uc1 = f<int>();
unsigned_c<2> uc2 = f<float, double>();
}
}
namespace rdar12176336 {
typedef void (*vararg_func)(...);
struct method {
vararg_func implementation;
method(vararg_func implementation) : implementation(implementation) {}
template<typename TReturnType, typename... TArguments, typename TFunctionType = TReturnType (*)(TArguments...)>
auto getImplementation() const -> TFunctionType
{
return reinterpret_cast<TFunctionType>(implementation);
}
};
void f() {
method m(nullptr);
auto imp = m.getImplementation<int, int, int>();
}
}
|