blob: dcf5a08d906290a548247f0f3acd38fa11cfa52c [file] [log] [blame]
// 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>();
}
}