Почему vector v{vector{1, 2} }; имеет тип vector<int>

@_stanislav · Регистрация: 16.08.2014

Студворк — интернет-сервис помощи студентам

C++
1
std::vector v{std::vector{1, 2} };

Почему v выводиться как vector<int>

@oleg-m1973 · 24.07.2020, 17:29

Сообщение от _stanislav

Почему v выводиться как vector<int>

Потому что ты его инициализируешь списком int. Отрабатывает соответствующий argument deduction https://en.cppreference.com/w/... _deduction

When initializing from a single argument of a type that is a specialization of the class template at issue, copying deduction is generally preferred over wrapping by default:

std::tuple t1{1}; //std::tuple<int>
std::tuple t2{t1}; //std::tuple<int>, not std::tuple<std::tuple<int>>

std::vector v1{1, 2}; // std::vector<int>
std::vector v2{v1}; // std::vector<int>, not std::vector<std::vector<int>> (P0702R1)
std::vector v3{v1, v2}; // std::vector<std::vector<int>>

@Undisputed · 24.07.2020, 17:31

_stanislav,
Вложенный вектор формируется на основе конструктора который принимает initializer_list из int-ов, соответственно получаем вектор интов. Внешний вектор это просто обьект который формируется на основе вложенного вектора с типом vector<int>, поэтому такой тип. То есть внешний вектор это вектор из vector<int>. Принцип его формирования такой же как и для вложенного вектора

Добавлено через 1 минуту
Уточню что тип будет vector<vector<int>> а не vector<int>

@oleg-m1973 · 24.07.2020, 17:36

Сообщение от Undisputed

Уточню что тип будет vector<vector<int>> а не vector<int>

std::vector v2{v1}; // std::vector<int>, not std::vector<std::vector<int>> (P0702R1)

@_stanislav · 24.07.2020, 17:38 **[ТС]**

oleg-m1973, Undisputed, а понятно вроде, вывод происходит при вызове копирующего конструктора, а не конструктора с initializer_list?

@oleg-m1973 · 24.07.2020, 17:42

Сообщение от _stanislav

oleg-m1973, Undisputed, а понятно вроде, вывод происходит при вызове копирующего конструктора?

Выводится из аргумента конструктора
Подробный алгоритм работы CTAD

@Black Fregat · 24.07.2020, 17:49

Сообщение от Undisputed

[Уточню что тип будет vector<vector<int>> а не vector<int>

Это почему? Там конструктор копирования отработает
Чтобы был вектор векторов, надо либо размерность указать, либо ещё одно скобки:

C++
1
2
    std::vector v1{ 1, std::vector{1, 2} };
    std::vector v2{ { std::vector{1, 2} } };

@_stanislav · 24.07.2020, 17:55 **[ТС]**

Сообщение от oleg-m1973

Выводится из аргумента конструктора

копирования?

@oleg-m1973 · 24.07.2020, 17:58

Сообщение от _stanislav

копирования?

в данном случае да. Что-то типа

C++
1
template <typename T> vector(const vector<T> &) -> vector<T>

@Undisputed · 24.07.2020, 18:43

Сообщение от oleg-m1973

not std::vector<std::vector<int>>

Сообщение от Black Fregat

Там конструктор копирования отработает

Да, вы правы. Спасибо.
Я проверял на gcc 7.4.0 и тип выводился как vector<vector<int>>
похоже в более свежих версиях это исправлено и тип выводится как vector<int>

_stanislav,
сори, я ошибся

Добавлено через 17 минут
_stanislav,
Убери плиз плюс который ты поставил на этот пост
Почему vector v{vector{1, 2} }; имеет тип vector<int>
это был очень неправильный пост

@_stanislav · 24.07.2020, 18:46 **[ТС]**

Не по теме:

Сообщение от Undisputed

Убери плиз плюс который ты поставил на этот пост

минус поставить? :)
тот плюс не за ответ а за отзыв.

@Undisputed · 24.07.2020, 18:54

Сообщение от _stanislav

минус поставить?

там вроде можно на крестик нажать возле единички и просто единичка станет ноликом...
кстати то чем я говорил вроде как изначально и было
только потом решили убрать такой вариант и выводить тип в подобных случаях как vector<int>
http://www.open-std.org/jtc1/s... 702r1.html

C++
1
2
3
4
5
6
7
8
9
10
11
12
//g++  7.4.0
 
#include <iostream>
#include <type_traits>
#include <vector>
 
int main()
{
    std::vector v{std::vector{1, 2} };
    std::cout << v[0][1] << '\n'; // выводит 2
    std::cout << std::is_same<std::vector<std::vector<int>>, decltype(v)>::value; // 1, т.е true
}

https://rextester.com/HUGUZ51969

@TheCalligrapher · 24.07.2020, 21:09

Сообщение от _stanislav

C++
1
std::vector v{std::vector{1, 2} };

Почему v выводиться как vector<int>

У вас в этом примере два вывода std::vector как vector<int>. В обоих случаях вывод производится через неявно сгенерированные deduction guides.

Для внутреннего std::vector это неявный deduction guide, полученный из конструктора для std::initializer_list<int>.

Для внешнего std::vector это специальный неявный deduction guide, сгенерированный для копирования.

Если вопрос именно в том, почему во втором случае выбран конструктор копирования (перемещения), а не std::initializer_list<std::vector<int>>, то это потому, что, как уже заметил oleg-m1973, для обработки случая копирования специально сделано исключение, т.е. в алгоритме генерации неявных deduction guides (https://en.cppreference.com/w/... _templates) искусственным образом добавляется правило для копирования

"In any case, an additional fictional function template derived as above from a hypothetical constructor C(C) is added, called the copy deduction candidate."

Этот copy deduction candidate обычно будет более специализированным, чем вариант с std::initializer_list<std::vector<int>>, т.е. "побеждать" будет именно копирование.

Новые блоги и статьи Все статьи Все блоги /
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .
Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	24.07.2020, 17:31
	_stanislav, Вложенный вектор формируется на основе конструктора который принимает initializer_list из int-ов, соответственно получаем вектор интов. Внешний вектор это просто обьект который формируется на основе вложенного вектора с типом vector<int>, поэтому такой тип. То есть внешний вектор это вектор из vector<int>. Принцип его формирования такой же как и для вложенного вектора Добавлено через 1 минуту Уточню что тип будет vector<vector<int>> а не vector<int> 1

@_stanislav "C with Classes" 2022 / 1404 / 523 Регистрация: 16.08.2014 Сообщений: 5,885 Записей в блоге: 1
	24.07.2020, 17:38 [ТС]
	oleg-m1973, Undisputed, а понятно вроде, вывод происходит при вызове копирующего конструктора, а не конструктора с `initializer_list`? 0