Почему 'std :: vector <int> b {2};' создать 1-элементный вектор, а не 2-элементный?

Question

Я играл с C++ 11 в течение последних нескольких дней, и я придумал что-то странное.

Если я хочу, чтобы равномерно инициализировать INT:

int a{5}; 

Но если бы я сделать то же самое в станд :: вектор:

std::vector<int> b{2}; 

Не построить массив два элемента, но скорее массив с одним элементом значения два. Похоже, что, чтобы получить этот эффект можно было бы нужно быть более четко об этом

:

std::vector<int> c{{2}}; 
std::vector<int> d = {2}; 

Но не так, как заявление о б - это, кажется непоследовательным. Я видел некоторые другие вещи с тем же эффектом. То, о чем я прошу, - это такое поведение в последнем стандарте C++ 11, или это только в проекте, который был реализован раньше? Если да, то почему комитет по стандартам включил это поведение? Похоже, что он побеждает всю цель равномерной инициализации, так как нужно помнить, какие классы имеют конструкторы списка инициализаторов, и использовать синтаксис old() вместо {} только с этими классами. Или же вообще не выполняется равномерная инициализация.

Это похоже на большую «гочу». Но может быть и преимуществ, о которых я не знаю.

Edit: этот код:

#include <iostream> 
#include <vector> 

int main() { 
    std::vector<int> a{2}; 
    for (auto x: a) { 
     std::cout << x << std::endl; 
    } 
    return 0; 
} 

выходы "2" на GCC 4.6.2

Answer 1

Да, такое поведение предназначено, в соответствии с §13.3.1.7 инициализацией списка инициализации

Когда объекты не-агрегатного типа класса Т являются список инициализируется (8.5.4), разрешение перегрузки выбирает конструктор в два этапа:

- Первоначально функции-кандидаты инициализаторе-лист конструкторы (8.5.4) класса T и список аргументов состоит из списка инициализации в качестве единственного аргумента.

- Если нет жизнеспособного инициализатора-лист конструктора не найден, разрешение перегрузки выполняется снова, где функция-кандидатов все конструкторов класса T и список аргументов состоит из элементов списка инициализации.

Что касается «цели универсальной инциализации» ... «Унифицированная инициализация» - это маркетинговый термин, а не очень хорошее описание. Стандарт имеет все обычные формы инициализации плюс list-initialization, но нет «равномерной инициализации». Инициализация списка не является конечной формой инициализации, это всего лишь еще один инструмент в поясе полезности.

Answer 2

Стандартных состояний, что конструктор списка инициализатора имеет приоритет над другими. Это всего лишь один случай, когда невозможно заменить () на {}. Есть и другие, например, {} Инициализация не допускает сужения конверсий.

Answer 3

Унифицированная инициализация не означает, что вы думаете, что она делает. Он был добавлен, чтобы сделать инициализацию более однородной среди типов на C++. Аргументация такова:

typedef struct dog_ { 
    float height; 
    int weight; 
} dog; 
int main() { 
    dog Spot = { 25.6, 45}; 
    dog Data[3] = { Spot, {6.5, 7} }; 
    std::array<dog, 2> data = { { Spot, {6.5, 7} } }; //only in C++ obviously 
    return 0; 
} 

Это valid C and C++ code и уже на протяжении многих лет. Это было действительно удобно, но вы должны были помнить, что это работало только с типами POD. Люди долго жаловались, что нет способа сделать std::vector<int> data = { 3, 7, 4, 1, 8};, но некоторые классы (std::array) были написаны странными способами, чтобы разрешить конструкторы списка инициализаторов.

Итак, для C++ 11 комитет сделал это так, чтобы мы могли сделать этот вектор и другие классные классы. Это сделало конструкцию всех типов более однородной, так что мы можем использовать {} для инициализации через конструкторы, а также из списков значений. Проблема, с которой вы сталкиваетесь, заключается в том, что перегрузка конструктора с помощью std::initializer_list<int> является лучшим совпадением и будет выбрана первыми. Таким образом, std::vector<int> b{2}; не означает вызов конструктора, который принимает int, вместо этого он означает создание vector из этого списка значений int. В этом свете совершенно очевидно, что он создаст vector, содержащий одно значение 2. Чтобы вызвать другой конструктор, вам нужно будет использовать синтаксис (), поэтому C++ знает, что вы не хотите инициализировать его из списка.