Can I use the result of a C++17 captureless lambda constexpr conversion operator as a function pointer template non-type argument?

by

This is a gcc bug, filed 83258.

In C++14, we used to have a linkage requirement for non-type template parameters of pointer type. But in C++17 (as a result of N4268), the parameter just needs to be a converted constant expression of the correct type, with a few other restrictions (none of which are relevant here). Once we can construct fp, we should be able to use it as a template parameter.

More Related Contents:

  1. Deducing first template argument with other template parameters defaulted
  2. Will I be able to declare a constexpr lambda inside a template parameter?
  3. A positive lambda: ‘+[]{}’ – What sorcery is this? [duplicate]
  4. C++11 does not deduce type when std::function or lambda functions are involved
  5. reinterpret_cast creating a trivially default-constructible object
  6. How to convert a lambda to an std::function using templates
  7. Advantages of auto in template parameters in C++17
  8. What are template deduction guides and when should we use them?
  9. Is stateful metaprogramming ill-formed (yet)?
  10. Capturing a reference by reference in a C++11 lambda
  11. Is a pointer with the right address and type still always a valid pointer since C++17?
  12. Template partial ordering – why does partial deduction succeed here
  13. C++17 class template partial deduction
  14. Matching alias template as template argument
  15. How is P0522R0 breaking code?
  16. Lambda implicit capture fails with variable declared from structured binding
  17. Lambda capture and parameter with same name – who shadows the other? (clang vs gcc)
  18. Can class template constructors have a redundant template parameter list in c++20
  19. Does the behavior of guaranteed copy elision depend on existence of user-defined copy constructor?
  20. Can std::launder be used to convert an object pointer to its enclosing array pointer?
  21. Variadic deduction guide not taken by g++, taken by clang++ – who is correct?
  22. Can the point-of-instantiation be delayed until the end of the translation unit?
  23. Familiar template syntax for generic lambdas
  24. Passing a lambda into a function template
  25. Why does the template-id in “A=0” not compile without space because of the greater-or-equal-than operator “>=”?
  26. Specializing a template on a lambda in C++0x
  27. What changes to C++ made copy initialization work for class with explicit constructor?
  28. Check if a type is passed in variadic template parameter pack
  29. Lambdas and std::function
  30. Why don’t I need to specify “typename” before a dependent type in C++20?

Leave a Comment