Constexpr pointer value

by

As Luc Danton notes, your attempts are blocked by the rules in [expr.const]/2 which say that various expressions are not allowed in core constant expressions, including:

— a reinterpret_cast
— an operation that would have undefined behavior [Note: including […] certain pointer arithmetic […] — end note]

The first bullet rules out your first example. The second example is ruled out by the first bullet above, plus the rule from [expr.cast]/4 that:

The conversions performed by […] a reinterpret_cast […] can be performed using the cast notation of explicit type conversion. The same semantic restrictions and behaviors apply.

The second bullet was added by WG21 core issue 1313, and clarifies that pointer arithmetic on a null pointer is not permitted in a constant expression. This rules out your third example.

Even if these restrictions did not apply to core constant expressions, it would still not be possible to initialize a constexpr pointer with a value produced by casting an integer, since a constexpr pointer variable must be initialized by an address constant expression, which, by [expr.const]/3, must evaluate to

the address of an object with static storage duration, the address of a function, or a null pointer value.

An integer cast to pointer type is none of these.

g++ does not yet strictly enforce these rules, but its recent releases have been getting closer to them, so we should assume that it will eventually fully implement them.

If your goal is to declare a variable for which static initialization is performed, you can simply drop the constexpr — both clang and g++ will emit a static initializer for this expression. If you need this expression to be part of a constant expression for some reason, you have two choices:

  • Restructure your code so that an intptr_t is passed around instead of a pointer, and cast it to pointer type when you need to (outside of a constant expression), or
  • Use __builtin_constant_p((int*)0xFF) ? (int*)0xFF : (int*)0xFF. This exact form of expression (with __builtin_constant_p on the left-hand-side of a conditional operator) disables strict constant expression checking in the arms of the conditional operator, and is a little-known, but documented, non-portable GNU extension supported by both gcc and clang.

More Related Contents:

  1. constexpr and initialization of a static const void pointer with reinterpret cast, which compiler is right?
  2. What is a smart pointer and when should I use one?
  3. Why should I use a pointer rather than the object itself?
  4. What’s the difference between constexpr and const?
  5. Which kind of pointer do I use when?
  6. Undefined reference to static constexpr char[]
  7. When does a constexpr function get evaluated at compile time?
  8. Why do constant expressions have an exclusion for undefined behavior?
  9. Is is_constexpr possible in C++11?
  10. How to return a std::string.c_str()
  11. Why can’t clang with libc++ in c++0x mode link this boost::program_options example?
  12. C++11 – static_assert within constexpr function?
  13. Why do we need to mark functions as constexpr?
  14. Is constexpr supported with lambda functions / expressions?
  15. static constexpr member of same type as class being defined
  16. C++11 constexpr function pass parameter
  17. Does static constexpr variable inside a function make sense?
  18. What are the differences between -std=c++11 and -std=gnu++11?
  19. Static constexpr odr-used or not?
  20. constexpr function parameters as template arguments
  21. Is there a compiler bug exposed by my implementation of an is_complete type trait?
  22. Is a constexpr array necessarily odr-used when subscripted?
  23. constexpr const vs constexpr variables?
  24. `static constexpr` function called in a constant expression is…an error?
  25. Why does pointer to int convert to void* but pointer to function convert to bool?
  26. Why can I call a non-constexpr function inside a constexpr function?
  27. Why does constexpr static member (of type class) require a definition?
  28. Using libstdc++ compiled libraries with clang++ -stdlib=libc++
  29. Does ‘auto’ type assignments of a pointer in c++11 require ‘*’?
  30. enum vs constexpr for actual static constants inside classes

Leave a Comment