Will I be able to declare a constexpr lambda inside a template parameter?

by

No, that is a compiler bug. gcc 7.1 correctly rejects the code.

[expr.prim.lambda]/2:

A lambda-expression is a prvalue whose result object is called the closure object. A lambda-expression shall not appear in an unevaluated operand, in a template-argument, in an alias-declaration, in a typedef declaration, or in the declaration of a function or function template outside its function body and default arguments.

As you can see from the part that I marked as bold, a lambda expression cannot appear in a template argument list.

This is also made clear in a subsequent note:

[ Note: The intention is to prevent lambdas from appearing in a signature. — end note ]

If I were to guess, I would say that the bug comes about because starting with C++17, lambdas are implicitly constexpr, which makes them valid to be called in compile time expressions, like template arguments. But actually defining a lambda in a template argument is still illegal.

Note that this restriction has been lifted in C++20. 🙂

More Related Contents:

  1. Deducing first template argument with other template parameters defaulted
  2. Can I use the result of a C++17 captureless lambda constexpr conversion operator as a function pointer template non-type argument?
  3. reinterpret_cast creating a trivially default-constructible object
  4. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  5. Advantages of auto in template parameters in C++17
  6. What are template deduction guides and when should we use them?
  7. constexpr if and static_assert
  8. static_assert dependent on non-type template parameter (different behavior on gcc and clang)
  9. What made i = i++ + 1; legal in C++17?
  10. Template partial ordering – why does partial deduction succeed here
  11. Explicit specialization in non-namespace scope does not compile in GCC
  12. Matching alias template as template argument
  13. How is P0522R0 breaking code?
  14. structured bindings: when something looks like a reference and behaves similarly to a reference, but it’s not a reference
  15. std::ignore with structured bindings?
  16. Can class template constructors have a redundant template parameter list in c++20
  17. Does the behavior of guaranteed copy elision depend on existence of user-defined copy constructor?
  18. Why is it not possible to overload class templates?
  19. Self-initialization of a static constexpr variable, is it well-formed?
  20. Can std::launder be used to convert an object pointer to its enclosing array pointer?
  21. Static member access in constant expressions
  22. Pointer interconvertibility vs having the same address
  23. Why doesn’t an if constexpr make this core constant expression error disappear?
  24. Restrict variadic template arguments
  25. Use of typename keyword with typedef and new
  26. Is it allowed for a compiler to optimize away a local volatile variable?
  27. Why does the template-id in “A=0” not compile without space because of the greater-or-equal-than operator “>=”?
  28. Check if a type is passed in variadic template parameter pack
  29. Directly write into char* buffer of std::string
  30. Why don’t I need to specify “typename” before a dependent type in C++20?

Leave a Comment