См. следующий код:
std::vector<int> v1{1, 2, 3};
std::vector<int> v2 = {1, 2, 3};
Мои вопросы:
Есть ли разница между ними? Я знаю, что первое должно быть инициализацией списка, но как насчет второго?
Поскольку для второго есть знак назначения, это заставляет меня думать, что компилятор сначала будет использовать std::initializer_list для создания временного vector, а затем использовать конструктор копирования для копирования временного vector в v2. Это факт?
Два (direct-list-initialization и copy- list-initialization) в этом случае точно такие же. Временный std::vector не создается и std::vector::operator= не вызывается. Знак равенства является частью синтаксиса инициализации.
Была бы разница, если бы перегрузка конструктора std::vector была перегружена. 7 был помечен explicit, и в этом случае любая инициализация копирования завершается ошибкой, но это было бы недостатком в структуре стандартной библиотеки.
Оба они являются инициализацией списка (начиная с C++11). Первый — это прямая инициализация списка, а второй — инициализация списка копирования.
- Есть ли разница между ними?
Для прямой-списковой-инициализации будут рассматриваться как явные, так и неявные конструкторы, в то время как для копирования-списка-инициализации могут вызываться только неявные конструкторы. Для этого случая (т.е. std::vector) фактический результат такой же.
- Поскольку для второго есть знак назначения, это заставляет меня думать, что компилятор сначала будет использовать initializer_list для создания временного вектора, а затем использовать конструктор копирования для копирования временного вектора в v2. Это факт?
Нет. Даже для инициализации списка копирования объект будет построен соответствующим конструктором напрямую. В этом случае будет создан временный std::initializer_list<int>, а затем будет вызван std::vector::vector(std::initializer_list<T>, const Allocator& = Allocator()) для построения v2.
auto v = {1} никогда не выводил std::vector. Действительно, теперь он будет выводить int вместо std::initializer_list, но совершенно не имеет отношения к обсуждению std::vector.
- person bolov; 26.07.2016
auto v = vector{1, 2, 3} (вывод шаблона для конструктора)
- person bolov; 26.07.2016
Type val = { ... }; и Type val { ... }; в любом случае абсолютно одинаковы.
- person Andrei R.; 26.07.2016
