std :: массив нулевого размера

Question

Что значит иметь std::array<int,0>, массив нулевого размера?

Вопросы, связанные с простым типом массива и языком C, я рассмотрел аналогичные вопросы в SO, и все эти вопросы касаются простого типа массива, а большинство из них говорит, что это незаконно. Но в C++ допускается array<int,0>.

В соответствии с cppreference.com

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

Почему это не так незаконно?

Answer 1

Что значит иметь std :: array, array of zero?

То же, что, например, пустой std::vector или пустой std::set.

Почему это не так незаконно?

Это желательно, чтобы сделать его законным, поскольку это означает, что обобщенное программирование не должен обрабатывать особый случай, когда размер std::array «s является результатом вычисления времени компиляции.

Возможно, чтобы определить его как легальное благодаря шаблону специализации. Например, реализация, которая поставляется с Visual C++ специализируется std::array способом, аналогичным следующему:

template<class T> 
class array<T, 0> // specialisation 
{ 
    // ... 

    size_type size() const 
    { 
     return 0; 
    } 

    T elements[1]; // the raw array cannot have a size of 0 
}; 

Я полагаю, каждый компилятор реализует std::array подобное.

Answer 2

std :: array рассматривается как другие стандартные контейнеры, которые могут быть пустыми. Таким образом, специализация std::array с N равным нулю определяет пустой контейнер.