diff options
Diffstat (limited to 'test/SemaTemplate/pack-deduction.cpp')
| -rw-r--r-- | test/SemaTemplate/pack-deduction.cpp | 101 |
1 files changed, 101 insertions, 0 deletions
diff --git a/test/SemaTemplate/pack-deduction.cpp b/test/SemaTemplate/pack-deduction.cpp index 84eefa63d215..f9309d52111e 100644 --- a/test/SemaTemplate/pack-deduction.cpp +++ b/test/SemaTemplate/pack-deduction.cpp @@ -65,3 +65,104 @@ namespace PR14615 { void f() { check<char>(1, 2); } // expected-error {{no matching function}} } } + +namespace fully_expanded_packs { + template<typename ...T> struct A { + template<T ...X> static constexpr int f() { + // expected-note@-1 1+{{deduced too few arguments for expanded pack 'X'}} + // expected-note@-2 1+{{too many template arguments}} + return (X + ... + 0); // expected-warning {{extension}} + } + + template<T ...X, int Y> static constexpr int g() { + // expected-note@-1 1+{{deduced too few arguments for expanded pack 'X'}} + // expected-note@-2 1+{{couldn't infer template argument 'Y'}} + // expected-note@-3 1+{{too many template arguments}} + return (X + ... + (1000 * Y)); // expected-warning {{extension}} + } + + template<T ...X, int Y, T ...Z> static constexpr int h() { + // expected-note@-1 1+{{deduced too few arguments for expanded pack 'X'}} + // expected-note@-2 1+{{couldn't infer template argument 'Y'}} + // expected-note@-3 1+{{deduced too few arguments for expanded pack 'Z'}} + // expected-note@-4 1+{{too many template arguments}} + return (X + ... + (1000 * Y)) + 1000000 * (Z + ... + 0); // expected-warning 2{{extension}} + } + + template<T ...X, int ...Z> static constexpr int i() { + return (X + ... + 0) + 1000 * (Z + ... + 0); // expected-warning 2{{extension}} + } + + template<T ...X, int Y, int ...Z> static constexpr int j() { + return (X + ... + (1000 * Y)) + 1000000 * (Z + ... + 0); // expected-warning 2{{extension}} + } + }; + + void check_invalid_calls() { + A<int, int>::f(); // expected-error {{no matching function}} + A<int, int>::f<>(); // expected-error {{no matching function}} + A<int, int>::f<0>(); // expected-error {{no matching function}} + A<int, int>::g(); // expected-error {{no matching function}} + A<int, int>::g<>(); // expected-error {{no matching function}} + A<int, int>::g<0>(); // expected-error {{no matching function}} + A<int, int>::g<0, 0>(); // expected-error {{no matching function}} + A<>::f<0>(); // expected-error {{no matching function}} + A<>::g(); // expected-error {{no matching function}} + A<>::g<>(); // expected-error {{no matching function}} + A<>::g<0, 0>(); // expected-error {{no matching function}} + A<>::h<>(); // expected-error {{no matching function}} + A<int>::h<>(); // expected-error {{no matching function}} + A<int>::h<0, 0>(); // expected-error {{no matching function}} + A<>::h<0, 0>(); // expected-error {{no matching function}} + } + + static_assert(A<>::f() == 0, ""); + static_assert(A<int>::f<1>() == 1, ""); + static_assert(A<>::g<1>() == 1000, ""); + static_assert(A<int>::g<1, 2>() == 2001, ""); + static_assert(A<>::h<1>() == 1000, ""); + static_assert(A<int>::h<1, 2, 3>() == 3002001, ""); + static_assert(A<int, int>::h<1, 20, 3, 4, 50>() == 54003021, ""); + static_assert(A<>::i<1>() == 1000, ""); + static_assert(A<int>::i<1>() == 1, ""); + static_assert(A<>::j<1, 2, 30>() == 32001000, ""); + static_assert(A<int>::j<1, 2, 3, 40>() == 43002001, ""); +} + +namespace partial_full_mix { + template<typename T, typename U> struct pair {}; + template<typename ...T> struct tuple {}; + template<typename ...T> struct A { + template<typename ...U> static pair<tuple<T...>, tuple<U...>> f(pair<T, U> ...p); + // expected-note@-1 {{[with U = <char, double, long>]: pack expansion contains parameter pack 'U' that has a different length (2 vs. 3) from outer parameter packs}} + // expected-note@-2 {{[with U = <char, double, void>]: pack expansion contains parameter pack 'U' that has a different length (at least 3 vs. 2) from outer parameter packs}} + + template<typename ...U> static pair<tuple<T...>, tuple<U...>> g(pair<T, U> ...p, ...); + // expected-note@-1 {{[with U = <char, double, long>]: pack expansion contains parameter pack 'U' that has a different length (2 vs. 3) from outer parameter packs}} + + template<typename ...U> static tuple<U...> h(tuple<pair<T, U>..., pair<int, int>>); + // expected-note@-1 {{[with U = <int [2]>]: pack expansion contains parameter pack 'U' that has a different length (2 vs. 1) from outer parameter packs}} + }; + + pair<tuple<int, float>, tuple<char, double>> k1 = A<int, float>().f<char>(pair<int, char>(), pair<float, double>()); + pair<tuple<int, float>, tuple<char, double>> k2 = A<int, float>().f<char>(pair<int, char>(), pair<float, double>(), pair<void, long>()); // expected-error {{no match}} + pair<tuple<int, float>, tuple<char, double>> k3 = A<int, float>().f<char, double, void>(pair<int, char>(), pair<float, double>()); // expected-error {{no match}} + + // FIXME: We should accept this by treating the pack 'p' as having a fixed length of 2 here. + pair<tuple<int, float>, tuple<char, double>> k4 = A<int, float>().g<char>(pair<int, char>(), pair<float, double>(), pair<void, long>()); // expected-error {{no match}} + + // FIXME: We should accept this by treating the pack of pairs as having a fixed length of 2 here. + tuple<int[2], int[4]> k5 = A<int[1], int[3]>::h<int[2]>(tuple<pair<int[1], int[2]>, pair<int[3], int[4]>, pair<int, int>>()); // expected-error {{no match}} +} + +namespace substitution_vs_function_deduction { + template <typename... T> struct A { + template <typename... U> void f(void(*...)(T, U)); // expected-warning {{ISO C++11 requires a parenthesized pack declaration to have a name}} + template <typename... U> void g(void...(T, U)); // expected-note {{could not match 'void (T, U)' against 'void (*)(int, int)'}} + }; + void f(int, int) { + A<int>().f(f); + // FIXME: We fail to decay the parameter to a pointer type. + A<int>().g(f); // expected-error {{no match}} + } +} |