Каково использование массива 0-length (или std :: array)?

Question

В C++ 11 позволяет создавать массив 0 длины C и std:array вроде этого:

int arr1[0]; 
std::array arr2<int,0>; 

1. Так что я имею в виду, что использование массива, который не имеет места хранить?
2. Во-вторых, что такое массив нулевой длины? Если это указатель, на что он указывает?

Answer 1

Ваш первый пример не является стандартным C++, но an extension, что оба gcc и clang позволяют, это версия flexible arrays и это answer to the question: Are flexible array members really necessary? объясняет многие преимущества этой функции. Если вы собрали с помощью -pedantic флаг вы получили следующее предупреждение в gcc:

предупреждение: ISO C++ запрещает нулевой размер массива «arr1» [-Wpedantic]

и следующее предупреждение в clang:

предупреждение: нулевые массивы размера являются продолжением [-Wzero-длина массива]

Что касается вашего второго случая нулевой длины std::array, то для более простых общих алгоритмов без специального случая для нулевой длины, например шаблонного непигового параметра типа size_t. Как отмечает cppreference section for std::array, это особый случай:

Существует специальный случай для массива нулевой длины (N == 0). В этом случае array.begin() == array.end(), что является некоторым уникальным значением. Эффект вызова front() или back() в массиве нулевого размера не определен.

Было бы также привести его в соответствие с другими sequence containers, которые также могут быть empty.