Исключения в конструкторах стандартных контейнеров

@Renji · Регистрация: 05.06.2014

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

Очень тупой вопрос: могут ли перемещающие конструкторы std::map и std::vector выкинуть исключение? С одной стороны, ну чему там кидать исключение? Ресурсы же перемещаются, а не выделяются. С другой стороны, смотрел на www.cplusplus.com, гарантий отсутствия исключений не нашел.

@castaway · 11.02.2015, 15:00

На cppreference об этом говорится.

Ilot · 11.02.2015, 15:01

Да может.

@ForEveR · 11.02.2015, 15:03

Renji, В стандарте нет спецификации noexcept, а раз нет, значит может. Как минимум конструктор перемещения элемента контейнера может кинуть, судя по cppreference для вектора будет в 17 стандарте.

@Renji · 11.02.2015, 15:08 **[ТС]**

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

На cppreference об этом говорится.

С припиской since C++17. Жаль, еще пару лет ждать придется. А то и все пять, учитывая задержки внедрения новых стандартов.

Добавлено через 5 минут

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

Как минимум конструктор перемещения элемента контейнера может кинуть, судя по cppreference для вектора будет в 17 стандарте.

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

Ilot · 11.02.2015, 15:14

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

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

Это при условии, что аллокаторы у обоих контейнеров одинаковые. В противном случае будут перемещаться непосредственно сами элементы. Вот тут стандарт бессилен, что либо гарантировать.

If alloc is specified and is different from x's allocator, the elements are moved. Otherwise, no elements are constructed (their ownership is directly transferred).

http://www.cplusplus.com/refer... or/vector/

@castaway · 11.02.2015, 15:26

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

С припиской since C++17.

Приписка к 1). К 6) приписки нет.

Новые блоги и статьи Все статьи Все блоги /
Async/await в Swift: Асинхронное программирование в iOS mobDevWorks 20.03.2025 Асинхронное программирование долго было одной из самых сложных задач для разработчиков iOS. В течение многих лет мы сражались с замыканиями, диспетчеризацией очередей и обратными вызовами, чтобы. . .	Сложность Колмогорова: Приёмы упрощения кода ArchitectMsa 20.03.2025 Наверное, каждый программист хотя бы раз сталкивался с кодом, который напоминает запутанный лабиринт — чем дальше в него погружаешься, тем сложнее найти выход. И когда мы говорим о сложности кода, мы. . .	PostgreSQL в Kubernetes: Подготовка кластера и настройка Mr. Docker 20.03.2025 Когда доходит до контейнеризации баз данных и особенно таких требовательных к ресурсам системах как PostgreSQL, многие команды до сих пор колеблются, прежде чем перенести их в контейнерную. . .	C++26: Индексирование пакетов и метапрограммирование bytestream 20.03.2025 Эволюция C++ продолжается стремительными темпами – каждый новый стандарт приносит функциональность, о которой мы мечтали годами. Звучит слишком громко? Если вы когда-либо боролись с вариадическими. . .	Состояние гонки в C#: подводные камни многопоточного программирования UnmanagedCoder 20.03.2025 Что такое состояние гонки? Это ситуация, когда результат программы непредсказуемо меняется в зависимости от порядка выполнения потоков. Проще говоря, два или более потока пытаются одновременно. . .
Next.js для разработки React: преимущества серверного рендеринга Reangularity 20.03.2025 Next. js решает классическую проблему React-приложений: медленную первоначальную загрузку и плохую индексацию поисковиками. Вместо того чтобы заставлять браузер пользователя выполнять всю работу по. . .	JUnit или TestNG: Выбираем Java-фреймворк для тестирования Javaican 20.03.2025 История тестовых фреймворков в Java началась в конце 90-х, когда Кент Бек и Эрих Гамма разработали JUnit - инструмент, который перевернул представление разработчиков о модульном тестировании. JUnit. . .	Разбиваем монолит на два микросервиса и реализуем CI/CD ArchitectMsa 20.03.2025 Когда команда растет, а функциональность монолита расширяется, поддерживать и развивать такую систему становится все труднее. Разработчики начинают тратить много времени на разбор сложных. . .	Python и PDF: Создание и редактирование файлов py-thonny 20.03.2025 Работа с PDF-документами – одна из популярных задач в современной разработке. Python предлагает несколько инструментов для создания, чтения и редактирования PDF-файлов, среди которых особенно. . .	Корутины в Unity и производительность WaitForSeconds GameUnited 20.03.2025 Разработчики игр на Unity часто сталкиваются с вопросом: как выполнять действия через определённые промежутки времени, не блокируя основной поток игры? Тут как раз и приходят на помощь корутины —. . .

@Renji 2784 / 1937 / 570 Регистрация: 05.06.2014 Сообщений: 5,602

	Исключения в конструкторах стандартных контейнеров 11.02.2015, 14:34. Показов 1383. Ответов 6 Метки нет (Все метки) Очень тупой вопрос: могут ли перемещающие конструкторы std::map и std::vector выкинуть исключение? С одной стороны, ну чему там кидать исключение? Ресурсы же перемещаются, а не выделяются. С другой стороны, смотрел на www.cplusplus.com, гарантий отсутствия исключений не нашел. 0

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	11.02.2015, 15:00
	На cppreference об этом говорится. 1

Ilot $Эксперт по математике/физике$ 2208 / 1413 / 411 Регистрация: 16.05.2013 Сообщений: 3,600 Записей в блоге: 6
	11.02.2015, 15:01
	Да может. 1

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	11.02.2015, 15:03
	Renji, В стандарте нет спецификации noexcept, а раз нет, значит может. Как минимум конструктор перемещения элемента контейнера может кинуть, судя по cppreference для вектора будет в 17 стандарте. 0

@Renji 2784 / 1937 / 570 Регистрация: 05.06.2014 Сообщений: 5,602
	11.02.2015, 15:08 [ТС]
	Сообщение от castaway На cppreference об этом говорится. С припиской since C++17. Жаль, еще пару лет ждать придется. А то и все пять, учитывая задержки внедрения новых стандартов. Добавлено через 5 минут Сообщение от ForEveR Как минимум конструктор перемещения элемента контейнера может кинуть, судя по cppreference для вектора будет в 17 стандарте. По идее контейнер должен просто переместить указатель на внутренний буфер, вообще не трогая сами элементы. Но, похоже, такая модель поведения не стандартизирована. 0

Ilot $Эксперт по математике/физике$ 2208 / 1413 / 411 Регистрация: 16.05.2013 Сообщений: 3,600 Записей в блоге: 6
	11.02.2015, 15:14
	Сообщение от Renji По идее контейнер должен просто переместить указатель на внутренний буфер, вообще не трогая сами элементы. Но, похоже, такая модель поведения не стандартизирована. Это при условии, что аллокаторы у обоих контейнеров одинаковые. В противном случае будут перемещаться непосредственно сами элементы. Вот тут стандарт бессилен, что либо гарантировать. If alloc is specified and is different from x's allocator, the elements are moved. Otherwise, no elements are constructed (their ownership is directly transferred). http://www.cplusplus.com/refer... or/vector/ 1

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	11.02.2015, 15:26
	Сообщение от Renji С припиской since C++17. Приписка к 1). К 6) приписки нет. 0