clang/test/CXX/expr/expr.prim/expr.prim.lambda/default-arguments.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -std=c++11 %s -verify
   2 // RUN: %clang_cc1 -fsyntax-only -std=c++11 %s -verify -triple i386-windows
   3
   4 void defargs() {
   5   auto l1 = [](int i, int j = 17, int k = 18) { return i + j + k; };
   6   int i1 = l1(1);
   7   int i2 = l1(1, 2);
   8   int i3 = l1(1, 2, 3);
   9 }
  10
  11
  12 void defargs_errors() {
  13   auto l1 = [](int i,
  14                int j = 17,
  15                int k) { }; // expected-error{{missing default argument on parameter 'k'}}
  16
  17   auto l2 = [](int i, int j = i) {}; // expected-error{{default argument references parameter 'i'}}
  18
  19   int foo;
  20   auto l3 = [](int i = foo) {}; // expected-error{{default argument references local variable 'foo' of enclosing function}}
  21 }
  22
  23 struct NonPOD {
  24   NonPOD();
  25   NonPOD(const NonPOD&);
  26   ~NonPOD();
  27 };
  28
  29 struct NoDefaultCtor {
  30   NoDefaultCtor(const NoDefaultCtor&); // expected-note{{candidate constructor}} \
  31                                        // expected-note{{candidate constructor not viable: requires 1 argument, but 0 were provided}}
  32   ~NoDefaultCtor();
  33 };
  34
  35 template<typename T>
  36 void defargs_in_template_unused(T t) {
  37   auto l1 = [](const T& value = T()) { };  // expected-error{{no matching constructor for initialization of 'NoDefaultCtor'}}
  38   l1(t);
  39 }
  40
  41 template void defargs_in_template_unused(NonPOD);
  42 template void defargs_in_template_unused(NoDefaultCtor);  // expected-note{{in instantiation of function template specialization 'defargs_in_template_unused<NoDefaultCtor>' requested here}}
  43
  44 template<typename T>
  45 void defargs_in_template_used() {
  46   auto l1 = [](const T& value = T()) { }; // expected-error{{no matching constructor for initialization of 'NoDefaultCtor'}} \
  47                                           // expected-note{{candidate function not viable: requires single argument 'value', but no arguments were provided}}
  48 #if defined(_WIN32) && !defined(_WIN64)
  49                                           // expected-note@46{{conversion candidate of type 'void (*)(const NoDefaultCtor &) __attribute__((thiscall))'}}
  50 #else
  51                                           // expected-note@46{{conversion candidate of type 'void (*)(const NoDefaultCtor &)'}}
  52 #endif
  53   l1(); // expected-error{{no matching function for call to object of type '(lambda at }}
  54 }
  55
  56 template void defargs_in_template_used<NonPOD>();
  57 template void defargs_in_template_used<NoDefaultCtor>(); // expected-note{{in instantiation of function template specialization}}
  58