p23.cpp
3.6 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
// RUN: %clang_cc1 -fsyntax-only -std=c++11 %s -verify -Wno-c++1y-extensions -Wno-c++2a-extensions
// RUN: %clang_cc1 -fsyntax-only -std=c++1y %s -verify -Wno-c++2a-extensions
// RUN: %clang_cc1 -fsyntax-only -std=c++2a %s -verify
void print();
template<typename T, typename... Ts>
void print(T first, Ts... rest) {
(void)first;
print(rest...);
}
template<typename... Ts>
void unexpanded_capture(Ts ...values) {
auto unexp = [values] {}; // expected-error{{initializer contains unexpanded parameter pack 'values'}}
}
template<typename... Ts>
void implicit_capture(Ts ...values) {
auto implicit = [&] { print(values...); };
implicit();
}
template<typename... Ts>
void do_print(Ts... values) {
auto bycopy = [values...]() { print(values...); };
bycopy();
auto byref = [&values...]() { print(values...); };
byref();
auto bycopy2 = [=]() { print(values...); };
bycopy2();
auto byref2 = [&]() { print(values...); };
byref2();
}
template void do_print(int, float, double);
template<typename T, int... Values>
void bogus_expansions(T x) {
auto l1 = [x...] {}; // expected-error{{pack expansion does not contain any unexpanded parameter packs}}
auto l2 = [Values...] {}; // expected-error{{'Values' in capture list does not name a variable}}
}
void g(int*, float*, double*);
template<class... Args>
void std_example(Args... args) {
auto lm = [&, args...] { return g(args...); };
};
template void std_example(int*, float*, double*);
template<typename ...Args>
void variadic_lambda(Args... args) {
auto lambda = [](Args... inner_args) { return g(inner_args...); };
lambda(args...);
}
template void variadic_lambda(int*, float*, double*);
template<typename ...Args>
void init_capture_pack_err(Args ...args) {
[...as(args)]{} ();
[as(args)...] {} (); // expected-error {{ellipsis in pack init-capture must appear before the name of the capture}}
[as...(args)]{} (); // expected-error {{ellipsis in pack init-capture must appear before the name of the capture}}
[...as{args}]{} ();
[as{args}...] {} (); // expected-error {{ellipsis in pack init-capture must appear before the name of the capture}}
[as...{args}]{} (); // expected-error {{ellipsis in pack init-capture must appear before the name of the capture}}
[...as = args]{} ();
[as = args...] {} (); // expected-error {{ellipsis in pack init-capture must appear before the name of the capture}}
[as... = args]{} (); // expected-error {{ellipsis in pack init-capture must appear before the name of the capture}}
[&...as(args)]{} ();
[...&as(args)]{} (); // expected-error {{ellipsis in pack init-capture must appear before the name of the capture}}
[args...] {} ();
[...args] {} (); // expected-error {{ellipsis in pack capture must appear after the name of the capture}}
[&args...] {} ();
[...&args] {} (); // expected-error {{ellipsis in pack capture must appear after the name of the capture}}
[&...args] {} (); // expected-error {{ellipsis in pack capture must appear after the name of the capture}}
}
template<typename ...Args>
void init_capture_pack_multi(Args ...args) {
[as(args...)] {} (); // expected-error {{initializer missing for lambda capture 'as'}} expected-error {{multiple}}
}
template void init_capture_pack_multi(); // expected-note {{instantiation}}
template void init_capture_pack_multi(int);
template void init_capture_pack_multi(int, int); // expected-note {{instantiation}}
template<typename ...Args>
void init_capture_pack_outer(Args ...args) {
print([as(args)] { return sizeof(as); } () ...);
}
template void init_capture_pack_outer();
template void init_capture_pack_outer(int);
template void init_capture_pack_outer(int, int);