144 lines · cpp
1// RUN: %clang_cc1 -std=c++1y -verify -fsyntax-only -fblocks %s2// RUN: %clang_cc1 -std=c++1y -verify -fsyntax-only -fblocks -fdelayed-template-parsing %s -DDELAYED_TEMPLATE_PARSING3// RUN: %clang_cc1 -std=c++1y -verify -fsyntax-only -fblocks -fms-extensions %s -DMS_EXTENSIONS4// RUN: %clang_cc1 -std=c++1y -verify -fsyntax-only -fblocks -fdelayed-template-parsing -fms-extensions %s -DMS_EXTENSIONS -DDELAYED_TEMPLATE_PARSING5// RUN: %clang_cc1 -std=c++1y -verify -fsyntax-only -fblocks -triple i386-windows %s6// RUN: %clang_cc1 -std=c++1y -verify -fsyntax-only -fblocks -triple i386-windows -fdelayed-template-parsing %s -DDELAYED_TEMPLATE_PARSING7// RUN: %clang_cc1 -std=c++1y -verify -fsyntax-only -fblocks -triple i386-windows -fms-extensions %s -DMS_EXTENSIONS8// RUN: %clang_cc1 -std=c++1y -verify -fsyntax-only -fblocks -triple i386-windows -fdelayed-template-parsing -fms-extensions %s -DMS_EXTENSIONS -DDELAYED_TEMPLATE_PARSING9 10namespace explicit_argument_variadics {11 12 13template<class ... Ts> void print(Ts ... ) { }14 15struct X { };16struct Y { };17struct Z { };18 19int test() {20 {21 auto L = [](auto ... as) { };22 L.operator()<bool>(true);23 }24 {25 auto L = [](auto a) { };26 L.operator()<bool>(false);27 }28 {29 auto L = [](auto a, auto b) { };30 L.operator()<bool>(false, 'a');31 }32 {33 auto L = [](auto a, auto b) { };34 L.operator()<bool, char>(false, 'a');35 }36 {37 auto L = [](auto a, auto b, auto ... cs) { };38 L.operator()<bool, char>(false, 'a');39 L.operator()<bool, char, const char*>(false, 'a', "jim");40 }41 42 {43 auto L = [](auto ... As) {44 };45 L.operator()<bool, double>(false, 3.14, "abc");46 }47 {48 auto L = [](auto A, auto B, auto ... As) {49 };50 L.operator()<bool>(false, 3.14, "abc");51 L.operator()<bool, char>(false, 3.14, "abc"); //expected-warning{{implicit conversion}}52 L.operator()<X, Y, bool, Z>(X{}, Y{}, 3.14, Z{}, X{}); //expected-warning{{implicit conversion}}53 }54 {55 auto L = [](auto ... As) {56 print("\nL::As = ", As ...);57 return [](decltype(As) ... as, auto ... Bs) {58 print("\nL::Inner::as = ", as ...);59 print("\nL::Inner::Bs = ", Bs ...);60 return 4;61 };62 };63 auto M = L.operator()<bool, double>(false, 3.14, "abc");64 M(false, 6.26, "jim", true);65 M.operator()<bool>(true, 6.26, "jim", false, 3.14);66 }67 {68 auto L = [](auto A, auto ... As) {69 print("\nL::As = ", As ...);70 return [](decltype(As) ... as, decltype(A) a, auto ... Bs) {71 print("\nL::Inner::as = ", as ...);72 print("\nL::Inner::Bs = ", Bs ...);73 return 4;74 };75 };76 auto M = L.operator()<bool, double>(false, 3.14, "abc");77 M(6.26, "jim", true);78 M.operator()<X>(6.26, "jim", false, X{}, Y{}, Z{});79 }80 81 return 0;82}83 int run = test();84} // end ns explicit_argument_extension85 86 87 88#ifdef PR18499_FIXED89namespace variadic_expansion {90 void f(int &, char &);91 92 template <typename ... T> void g(T &... t) {93 f([&a(t)]()->decltype(auto) {94 return a;95 }() ...);96 f([&a(f([&b(t)]()->decltype(auto) { return b; }()...), t)]()->decltype(auto) {97 return a;98 }()...);99 }100 101 void h(int i, char c) { g(i, c); }102}103#endif104 105namespace PR33082 {106 template<int ...I> void a() {107 int arr[] = { [](auto ...K) { (void)I; } ... };108 // expected-error@-1 {{no viable conversion}}109 // expected-note-re@-2 {{candidate template ignored: could not match 'auto (*)(auto...){{.*}}' against 'int'}}110 }111 112 template<typename ...T> struct Pack {};113 template<typename ...T, typename ...U> void b(Pack<U...>, T ...t) {114 int arr[] = {[t...]() { // expected-error 2{{cannot initialize an array element of type 'int' with}}115 U u;116 return u;117 }()...};118 }119 120 void c() {121 int arr[] = {[](auto... v) {122 v; // expected-error {{unexpanded parameter pack 'v'}}123 }...}; // expected-error {{pack expansion does not contain any unexpanded parameter packs}}124 }125 126 void run() {127 a<1>(); // expected-note {{instantiation of}}128 b(Pack<int*, float*>(), 1, 2, 3); // expected-note {{instantiation of}}129 }130}131 132void pr42587() {133 (void)[](auto... args) -> decltype(args) {}; // expected-error {{type contains unexpanded parameter pack}}134 (void)[](auto... args, int = args) {}; // expected-error {{default argument contains unexpanded parameter pack}}135 (void)[](auto... args, decltype(args)) {}; // expected-error {{type contains unexpanded parameter pack}}136 (void)[](auto... args, decltype(args)...) {}; // (ok)137 (void)[](auto... args, int = [=] { return args; }()) {}; // expected-error {{default argument contains unexpanded parameter pack}}138 (void)([]<typename ...T> (T t) {} + ...); // expected-error {{contains unexpanded parameter pack 'T'}} expected-error {{does not contain any unexpanded}} expected-warning 0-2{{extension}}139 (void)([]<int ...N> (int k = N) {} + ...); // expected-error {{contains unexpanded parameter pack 'N'}} expected-error {{does not contain any unexpanded}} expected-warning 0-2{{extension}}140 (void)([]<template<typename> typename ...T> (T<int>) {} + ...); // expected-error {{contains unexpanded parameter pack 'T'}} expected-error {{does not contain any unexpanded}} expected-warning 0-3{{extension}}141}142 143template<typename ...T> int v = {[...x = T()] { int k = x; } ...}; // expected-error {{contains unexpanded parameter pack 'x'}} expected-error {{does not contain any unexpanded}} expected-warning 0-1{{extension}}144