Инициализация по умолчанию std:: array?

Question

Инициализация по умолчанию std:: array?

С C++11 std::array, есть ли у меня гарантия, что синтаксис std::array<T, N> x; по умолчанию-инициализировать все элементы массива ?

EDIT: если нет, то есть ли синтаксис, который будет работать на всех массивах (включая массивы нулевого размера) для инициализации всех элементов до их значения по умолчанию?

EDIT на cppreference, описание конструктора по умолчанию говорит:

(constructor) (implicitly declared) (public member function)

default-constructs or copy-constructs every element of the array

Так что ответ может быть да. Но я бы хотел чтобы быть уверенным в этом в соответствии со стандартом или будущим стандартом.

639 4

c++11 initialization default-constructor stdarray

4 ответов:

Comments

Ничего не найдено.

Casey · Accepted Answer · 2013-08-18 08:24:09

по определению инициализация по умолчанию-это инициализация, которая происходит, когда никакая другая инициализация не указана; язык C++ гарантирует вам, что любой объект, для которого вы не предоставляете явный инициализатор, будет инициализирован по умолчанию (C++11 §8.5/11). Это включает в себя объекты типа std::array<T, N> и T[N].

имейте в виду, что существуют типы, для которых инициализация по умолчанию не имеет эффекта и оставляет значение объекта неопределенным: любой некласс, номера-тип массива (§8.5/6). Следовательно, инициализированный по умолчанию массив объектов с такими типами будет иметь неопределенное значение, например:
int plain_int;
int c_style_array[13];
std::array<int, 13> cxx_style_array;
как массив c-стиля, так и std::array заполняются целыми числами неопределенного значения, так же как plain_int имеет неопределенное значение.

есть ли синтаксис, который будет работать на всех массивах (включая массивы нулевого размера) для инициализации всех элементов до их значения по умолчанию?

Я предполагаю, что когда вы скажите "к их значению по умолчанию "вы действительно имеете в виду" инициализировать все элементы в T{}". Это не по умолчанию-инициализация, это значением-инициализации (8.5/7). Вы можете запросите инициализацию значения довольно легко в C++11, предоставив каждому объявлению пустой инициализатор:
int plain_int{};
int c_style_array[13]{};
std::array<int, 13> cxx_style_array{};
какое будет значение-инициализировать все элементы массива, в свою очередь, в результате чего plain_old_int, и все члены обоих видов массивов, инициализируются до нуля.

Potatoswatter · Accepted Answer · 2013-08-19 03:18:54

по умолчанию-инициализация это термин из стандарта, потенциально означающий отсутствие инициализации вообще, поэтому вы, вероятно, имеете в виду ноль-инициализации.

описание на cppreference.com на самом деле это немного вводит в заблуждение. std::array является агрегатным классом, и если тип элемента примитивен, это POD: "простые старые данные", с семантикой, близкой к языку C. Неявно определенный конструктор std::array< int, N > это тривиальные один который абсолютно ничего не делает.

следующий синтаксис std::array< int, 3 >() или std::array< int, 3 > x{} которые предоставляют обнуленные значения, не делают этого, вызывая конструктор. Получение нулей является частью значением-инициализации, указанный в C++11 §8.5/8:

значение-инициализировать объект типа T означает:

- если T является (возможно, CV-квалифицированным) типом класса без предоставленного пользователем или удаленного конструктора по умолчанию, то объект инициализируется нулем..., и если T имеет нетривиальный конструктор по умолчанию, объект инициализирован по умолчанию;

std::array не имеет пользовательского конструктора по умолчанию, поэтому он получает нулевую инициализацию. Он имеет неявно определенный конструктор по умолчанию, но он тривиален, поэтому он никогда не инициализируется по умолчанию. (Но это не имеет значения, так как тривиальная инициализация по определению не имеет никакого эффекта во время выполнения.)

если нет, есть ли синтаксис, который будет работать на всех массивах (в том числе нулевого размера массивы) для инициализации всех элементов до их значения по умолчанию?

массивы C-стиля и std::array являются обе агрегаты, и способ полностью нулевой инициализации любой агрегат с синтаксисом = {}. Это работает с C++98. Обратите внимание, что массивы C-стиля не могут иметь нулевой экстент, и что sizeof (std::array< X, 0 >) не равна нулю.

Cubbi · Accepted Answer · 2013-08-18 06:52:45

и T x[N]; и std::array<T, N> x; default-инициализировать каждый элемент массива.

например, если T = std::string, каждый элемент будет пустая строка. Если T - это класс без конструктора по умолчанию, как будет компилироваться. Если T = int, каждый элемент будет иметь неопределенное значение (если только это объявление не находится в области пространства имен)

Lingxi · Accepted Answer · 2014-06-26 12:35:08

во-первых, T x[N] по умолчанию инициализирует элементы, хотя инициализация по умолчанию скалярного типа T фактически ничего не делает. Вышеизложенное также относится к std::array x. я думаю, что вам нужна инициализация списка.