52 lines · cpp
1// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s2// expected-no-diagnostics3 4namespace DeductionForInstantiation {5 template<unsigned I, typename ...Types>6 struct X { };7 8 template<typename ...Types>9 void f0(X<sizeof...(Types), Types&...>) { }10 11 // No explicitly-specified arguments12 template void f0(X<0>);13 template void f0(X<1, int&>);14 template void f0(X<2, int&, short&>);15 16 // One explicitly-specified argument17 template void f0<float>(X<1, float&>);18 template void f0<double>(X<1, double&>);19 20 // Two explicitly-specialized arguments21 template void f0<char, unsigned char>(X<2, char&, unsigned char&>);22 template void f0<signed char, char>(X<2, signed char&, char&>);23 24 // FIXME: Extension of explicitly-specified arguments25 // template void f0<short, int>(X<3, short&, int&, long&>);26}27 28namespace DeductionWithConversion {29 template<char...> struct char_values {30 static const unsigned value = 0;31 };32 33 template<int C1, char C3>34 struct char_values<C1, 12, C3> {35 static const unsigned value = 1;36 };37 38 int check0[char_values<1, 12, 3>::value == 1? 1 : -1];39 40 template<int...> struct int_values {41 static const unsigned value = 0;42 };43 44 template<unsigned char C1, unsigned char C3>45 struct int_values<C1, 12, C3> {46 static const unsigned value = 1;47 };48 49 int check1[int_values<256, 12, 3>::value == 0? 1 : -1]; 50 int check2[int_values<3, 12, 3>::value == 1? 1 : -1]; 51}52