1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s 2 // expected-no-diagnostics 3 4 namespace ParameterPacksWithFunctions { 5 template<typename ...> struct count; 6 7 template<typename Head, typename ...Tail> 8 struct count<Head, Tail...> { 9 static const unsigned value = 1 + count<Tail...>::value; 10 }; 11 12 template<> 13 struct count<> { 14 static const unsigned value = 0; 15 }; 16 17 template<unsigned> struct unsigned_c { }; 18 19 template<typename ... Types> 20 unsigned_c<count<Types...>::value> f(); 21 test_f()22 void test_f() { 23 unsigned_c<0> uc0a = f(); // okay, deduced to an empty pack 24 unsigned_c<0> uc0b = f<>(); 25 unsigned_c<1> uc1 = f<int>(); 26 unsigned_c<2> uc2 = f<float, double>(); 27 } 28 } 29 30 namespace rdar12176336 { 31 typedef void (*vararg_func)(...); 32 33 struct method { 34 vararg_func implementation; 35 methodrdar12176336::method36 method(vararg_func implementation) : implementation(implementation) {} 37 38 template<typename TReturnType, typename... TArguments, typename TFunctionType = TReturnType (*)(TArguments...)> getImplementationrdar12176336::method39 auto getImplementation() const -> TFunctionType 40 { 41 return reinterpret_cast<TFunctionType>(implementation); 42 } 43 }; 44 f()45 void f() { 46 method m(nullptr); 47 auto imp = m.getImplementation<int, int, int>(); 48 } 49 } 50