Does static constexpr variable inside a function make sense?

The short answer is that not only is static useful, it is pretty well always going to be desired.

First, note that static and constexpr are completely independent of each other. static defines the object’s lifetime during execution; constexpr specifies that the object should be available during compilation. Compilation and execution are disjoint and discontiguous, both in time and space. So once the program is compiled, constexpr is no longer relevant.

Every variable declared constexpr is implicitly const but const and static are almost orthogonal (except for the interaction with static const integers.)

The C++ object model (§1.9) requires that all objects other than bit-fields occupy at least one byte of memory and have addresses; furthermore all such objects observable in a program at a given moment must have distinct addresses (paragraph 6). This does not quite require the compiler to create a new array on the stack for every invocation of a function with a local non-static const array, because the compiler could take refuge in the as-if principle provided it can prove that no other such object can be observed.

That’s not going to be easy to prove, unfortunately, unless the function is trivial (for example, it does not call any other function whose body is not visible within the translation unit) because arrays, more or less by definition, are addresses. So in most cases, the non-static const(expr) array will have to be recreated on the stack at every invocation, which defeats the point of being able to compute it at compile time.

On the other hand, a local static const object is shared by all observers, and furthermore may be initialized even if the function it is defined in is never called. So none of the above applies, and a compiler is free not only to generate only a single instance of it; it is free to generate a single instance of it in read-only storage.

So you should definitely use static constexpr in your example.

However, there is one case where you wouldn’t want to use static constexpr. Unless a constexpr declared object is either ODR-used or declared static, the compiler is free to not include it at all. That’s pretty useful, because it allows the use of compile-time temporary constexpr arrays without polluting the compiled program with unnecessary bytes. In that case, you would clearly not want to use static, since static is likely to force the object to exist at runtime.

Related Posts:

  1. Difference between `constexpr` and `const`
  2. What is a lambda expression in C++11?
  3. ld: symbol(s) not found for architecture x86_64 error
  4. The static keyword and its various uses in C++
  5. What is the ‘override’ keyword in C++ used for? [duplicate]
  6. What is a smart pointer and when should I use one?
  7. Meaning of = delete after function declaration
  8. C++ std::priority_queue uses the lambda expression
  9. Usage and Syntax of std::function
  10. What exactly is nullptr?
  11. Split a string using C++11
  12. How to create timer events using C++ 11?
  13. What does T&& (double ampersand) mean in C++11?
  14. Segmentation fault error 11 C++
  15. Why doesn’t C++ have a garbage collector?
  16. Compiling C++11 with g++
  17. terminate called after throwing an instance of ‘std::invalid_argument’ what(): stoi
  18. What exactly is std::atomic?
  19. Issue with std::stol – ‘std::invalid_argument’ what(): stol
  20. terminate called after throwing an instance of ‘std::out_of_range’
  21. Cleanest way to copy a constant size array in c++11
  22. push_back vs emplace_back
  23. What is the difference between a static and const variable?
  24. undefined reference to ‘std::cout’
  25. What is move semantics?
  26. expression preceding parentheses of apparent call must have (pointer-to-) function type
  27. C++ error: Undefined symbols for architecture x86_64
  28. C++ terminate called without an active exception
  29. Thread pooling in C++11
  30. How does std::forward work? [duplicate]
  31. Getting error “a nonstatic member reference must be relative to a specific object” while both member are in the same class
  32. Static array vs. dynamic array in C++
  33. Difference in make_shared and normal shared_ptr in C++
  34. What is std::move(), and when should it be used?
  35. C++: std does not have member “string”
  36. push_back vs emplace_back
  37. error: use of deleted function
  38. Call to implicitly deleted copy constructor in LLVM
  39. cc1plus: error: unrecognized command line option “-std=c++11” with g++
  40. error C2679: binary ‘<<' : no operator found which takes a right-hand operand of type 'std::string' (or there is no acceptable conversion)
  41. no match for ‘operator<<’ in ‘std::operator
  42. Warning: non-static data member initializers only available with -std=c++11 or -std=gnu++11?
  43. Use the auto keyword in C++ STL
  44. Call to non-static member function without an object argument compiler error
  45. Does C++11 have C#-style properties?
  46. Iterator Loop vs index loop
  47. Don’t understand static boolean behavior
  48. initialize a vector to zeros C++/C++11
  49. When is it safe to call this-> in constructor and destructor
  50. How to memset char array with null terminating character?
  51. How well is Unicode supported in C++11?
  52. How to automatically convert strongly typed enum into int?
  53. Why should I use a pointer rather than the object itself?
  54. too many initializers for ‘int [0]’ c++
  55. overloaded function with no contextual type information
  56. error: ISO C++ forbids in-class initialization of non-const static member
  57. Creating folders in C++
  58. convert string to size_t
  59. Compiling C++11 with g++
  60. ERROR C2039: ‘vector’: is not a member of ‘std’
  61. c++ vector bubble sort
  62. Why virtual & static keywords aren’t allowed outside class declaration?
  63. Member function with static linkage
  64. How to use bitmask?
  65. Differences between unique_ptr and shared_ptr
  66. How can I solve the error LNK2019: unresolved external symbol – function?
  67. What are forward declarations in C++?
  68. C++ string to double conversion
  69. C++ Linked List Node with class
  70. C++ error: no matching constructor for initialization of
  71. Why use string::iterator rather than index?
  72. C++ request for member ‘’ in ‘’, which is of non-class type ‘’
  73. Using O_RDWR vs O_RDONLY | O_WRONLY
  74. What is ‘\0’ in C++?
  75. Generate random float between two floats
  76. Undefined reference to class constructor, including .cpp file fixes
  77. Deleting a dynamically allocated 2D array
  78. How to add element to C++ array?
  79. C++ Why Is There “Unknown Type” When Class Header is Included?
  80. Invalid conversion from “const char*” to “char” error [duplicate]
  81. C++ strings and pointers
  82. What is the preferred way to include error messages in C++?
  83. C++ Initializing a Global Array
  84. How to convert an ASCII char to its ASCII int value?
  85. Reference to non-static member function must be called
  86. “vector” was not declared in this scope
  87. Converting string to ASCII
  88. got “cannot appear in a constant-expression” when using template
  89. C++ ostream and ofstream conversions
  90. C++ discards qualifiers
  91. C++ Error: Expected a type specifier
  92. Where to declare/define class scope constants in C++?
  93. Friend methods error
  94. Does WPF Work with C++?
  95. Multiple inputs on one line
  96. The tilde operator in C
  97. Game Engines that use PHP for scripting?
  98. Direct way of computing clockwise angle between 2 vectors
  99. C++ equivalent of java’s instanceof
  100. Conversion from ‘myItem*’ to non-scalar type ‘myItem’ requested

Leave a Comment