bc04d1ff62
P0624R2 - Default constructible and assignable stateless lambdas * method.c (synthesized_method_walk): For C++2a don't mark sfk_constructor or sfk_copy_assignment as deleted if lambda has no lambda-captures. * g++.dg/cpp2a/lambda1.C: New test. * g++.dg/cpp0x/lambda/lambda-ice2.C: Adjust expected diagnostics for -std=c++2a. From-SVN: r261605
59 lines
1.8 KiB
C
59 lines
1.8 KiB
C
// P0624R2
|
|
// { dg-do compile { target c++11 } }
|
|
|
|
#if __cplusplus >= 201402L
|
|
#define A auto
|
|
#else
|
|
#define A int
|
|
#endif
|
|
|
|
void
|
|
f1 ()
|
|
{
|
|
auto greater = [](A x, A y) { return x > y; }; // { dg-message "a lambda closure type has a deleted (default constructor|copy assignment operator)" "" { target c++17_down } }
|
|
decltype (greater) gt; // { dg-error "use of deleted function" "" { target c++17_down } }
|
|
gt = greater; // { dg-error "use of deleted function" "" { target c++17_down } }
|
|
}
|
|
|
|
void
|
|
f2 ()
|
|
{
|
|
auto greater = [&](A x, A y) { return x > y; }; // { dg-message "a lambda closure type has a deleted (default constructor|copy assignment operator)" }
|
|
decltype (greater) gt; // { dg-error "use of deleted function" }
|
|
gt = greater; // { dg-error "use of deleted function" }
|
|
}
|
|
|
|
void
|
|
f3 ()
|
|
{
|
|
auto greater = [=](A x, A y) { return x > y; }; // { dg-message "a lambda closure type has a deleted (default constructor|copy assignment operator)" }
|
|
decltype (greater) gt; // { dg-error "use of deleted function" }
|
|
gt = greater; // { dg-error "use of deleted function" }
|
|
}
|
|
|
|
void
|
|
f4 (int i)
|
|
{
|
|
auto greater = [i](A x, A y) { return x > y; }; // { dg-message "a lambda closure type has a deleted (default constructor|copy assignment operator)" }
|
|
decltype (greater) gt; // { dg-error "use of deleted function" }
|
|
gt = greater; // { dg-error "use of deleted function" }
|
|
}
|
|
|
|
#if __cplusplus > 201703L
|
|
void
|
|
f5 ()
|
|
{
|
|
auto greater = [](auto x, auto y) constexpr { return x > y; };
|
|
decltype (greater) gt;
|
|
static_assert (!gt (1, 2));
|
|
static_assert (gt (4, 3));
|
|
static_assert (!gt (3.5, 3.75));
|
|
static_assert (gt (3.5, 3.25));
|
|
gt = greater;
|
|
static_assert (!gt (1, 2));
|
|
static_assert (gt (4, 3));
|
|
static_assert (!gt (3.5, 3.75));
|
|
static_assert (gt (3.5, 3.25));
|
|
}
|
|
#endif
|