Will consteval functions allow template parameters dependent on function arguments?

by

No.

Whatever changes the paper will entail, which is little at this point, it cannot change the fact that a non-template function definition is only typed once. Moreover, if your proposed code would be legal, we could presumably find a way to declare a variable of type std::integral_constant<int, i>, which feels very prohibitive in terms of the ODR.

The paper also indicates that parameters are not intended to be treated as core constant expressions in one of its examples;

consteval int sqrsqr(int n) {
  return sqr(sqr(n)); // Not a constant-expression at this  point,
}                     // but that's okay.

In short, function parameters will never be constant expressions, due to possible typing discrepancy.

More Related Contents:

  1. Can I take the address of a function defined in standard library?
  2. Why does same_as concept check type equality twice?
  3. Can class template constructors have a redundant template parameter list in c++20
  4. Class type non-type template parameter initialization does not compile
  5. Understanding the example on lvalue-to-rvalue conversion
  6. Is it legal to declare a constexpr initializer_list object?
  7. Self-initialization of a static constexpr variable, is it well-formed?
  8. Static member access in constant expressions
  9. Why doesn’t an if constexpr make this core constant expression error disappear?
  10. C++20 constexpr vector and string not working
  11. Is a constexpr array necessarily odr-used when subscripted?
  12. Familiar template syntax for generic lambdas
  13. Why isn’t `std::initializer_list` defined as a literal type?
  14. In which access control context are concepts evaluated?
  15. C++ check if statement can be evaluated constexpr
  16. Why don’t I need to specify “typename” before a dependent type in C++20?
  17. What is a “span” and when should I use one?
  18. reinterpret_cast creating a trivially default-constructible object
  19. Is it a conforming compiler extension to treat non-constexpr standard library functions as constexpr?
  20. When using C headers in C++, should we use functions from std:: or the global namespace?
  21. Template partial ordering – why does partial deduction succeed here
  22. Matching alias template as template argument
  23. static constexpr member of same type as class being defined
  24. Does static constexpr variable inside a function make sense?
  25. Why isn’t a for-loop a compile-time expression?
  26. Does the behavior of guaranteed copy elision depend on existence of user-defined copy constructor?
  27. Designated initializers in C++20
  28. Lookup table with constexpr
  29. Why is reinterpret_cast not constexpr?
  30. What is the modern, correct way to do type punning in C++?

Leave a Comment