Why is the size of array as a constant variable not allowed in C but allowed in C++?

by

In C const doesn’t mean “constant” (i.e., evaluable at compile time). It merely means read-only.

For example, within a function, this:

const int r = rand();
const time_t now = time(NULL);

is perfectly valid.

The name of an object defined as const int is not a constant expression. That means that (in C prior to C99, and in all versions of C++) it can’t be used to define the length of an array.

Although C99 (and, optionally, C11) support variable-length arrays (VLAs), they can’t be initialized. In principle, the compiler doesn’t know the size of a VLA when it’s defined, so it can’t check whether an initializer is valid. In your particular case, the compiler quite probably is able to figure it out, but the language rules are designed to cover the more general case.

C++ is nearly the same, but C++ has a special rule that C lacks: if an object is defined as const, and its initialization is a constant expression, then the name of the object it itself a constant expression (at least for integral types).

There’s no really good reason that C hasn’t adopted this feature. In C, if you want a name constant of an integer type, the usual approach is to use a macro:

 #define LEN 5
 ...
 int arr[LEN] = {1, 2, 3, 4, 5};

Note that if you change the value of LEN, you’ll have to re-write the initializer.

Another approach is to use an anonymous enum:

 enum { LEN = 5 };
 ...
 int arr[LEN] = {1, 2, 3, 4, 5};

The name of an enumeration constant is actually a constant expression. In C, for historical reasons, it’s always of type int; in C++ it’s of the enumeration type. Unfortunately, this trick only works for constants of type int, so it’s restricted to values in the range from INT_MIN to INT_MAX.

More Related Contents:

  1. Reading garbage instead of segfault for non-existant memory locations
  2. Why data cast is not working here in c++?
  3. Is Meyers’ implementation of the Singleton pattern thread safe?
  4. Difference of keywords ‘typename’ and ‘class’ in templates?
  5. Is ncurses available for windows? [closed]
  6. How to change mode from c++98 mode in Dev-C++ to a mode that supports C++0x (range based for)?
  7. How to create a thread pool using boost in C++?
  8. How to get the MD5 hash of a file in C++? [closed]
  9. How to get available memory C++/g++?
  10. Understanding std::hardware_destructive_interference_size and std::hardware_constructive_interference_size
  11. std::array vs array performance
  12. Why use functors over functions?
  13. Access variable value using string representing variable’s name in C++ [duplicate]
  14. boost spirit semantic action parameters
  15. What are the signs of crosses initialization?
  16. Enumerate over an enum in C++
  17. How to get the real and total length of char * (char array)?
  18. How can I “unuse” a namespace?
  19. Better shading on BW display while rendering filled surfaces
  20. How to use profile guided optimizations in g++?
  21. Performance of qsort vs std::sort?
  22. How does C++ STL unordered_map resolve collisions?
  23. error: ‘INT32_MAX’ was not declared in this scope
  24. libgmp-10.dll is missing
  25. Idiomatic Way to declare C++ Immutable Classes
  26. What are differences between std::string and std::vector?
  27. How to determine if returned pointer is on the stack or heap
  28. Is it possible to write an agile Pimpl in c++?
  29. C++ forwarding reference and r-value reference
  30. Does the standard mandate an lvalue-to-rvalue conversion of the pointer variable when applying indirection?

Leave a Comment