Возврат контейнера STL из функции

@Bretbas · Регистрация: 05.08.2013

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

Как правильно вернуть STL контейнер из функции НЕ ПО ЗНАЧЕНИЮ?

C++
1
2
3
4
std :: map<std :: string, BTSComponent*> BTSObject :: getComponents() const
{
    return std :: move( _components );
}

Так?

@S_el · 19.12.2016, 21:16

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

Как правильно вернуть STL контейнер из функции НЕ ПО ЗНАЧЕНИЮ?

Правильно не пытаться оптимизировать то, что успешно оптимизирует компилятор.

@Bretbas · 19.12.2016, 21:21 **[ТС]**

S_el, а если не оптимизирует? Всегда ли нужно надеяться на компилятор?

@GbaLog- · 19.12.2016, 21:31

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

Как правильно вернуть STL контейнер из функции НЕ ПО ЗНАЧЕНИЮ?

C++
1
2
3
4
const std::map<std::string, SomeComponent>& SomeClass::getComponents() const
{
    return components;
}

П.С. Имена переменных, начинающиеся с нижнего подчёркивания, зарезервированы для компилятора, поэтому Ваш код - UB.

@Bretbas · 19.12.2016, 21:35 **[ТС]**

GbaLog-,

Сообщение от GbaLog-

П.С. Имена переменных, начинающиеся с нижнего подчёркивания, зарезервированы для компилятора, поэтому Ваш код - UB.

Читал где-то "Стиль C++", там было написано, что лучше частные члены класса начинать с подчеркивания...

@GbaLog- · 19.12.2016, 21:37

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

там было написано

Функция принимает любое количество строк а затем складывает их
Тут даже постом ниже скинули из стандарта кусок.

@John999 · 19.12.2016, 21:41

GbaLog-, всё-таки это никак не UB.

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

is reserved to the implementation for use as a name in
the global namespace.

зарезервировано для нужд языка, а не компилятора. Всё STL начинается с подчеркивания .

@GbaLog- · 19.12.2016, 21:43

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

для нужд языка, а не компилятора.

Ну моя оговорка, да.

Добавлено через 22 секунды

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

всё-таки это никак не UB.

Займёте чужое имя - будет UB.

MrGluck · 19.12.2016, 21:43

Следует почитать про RVO и NRVO.

@S_el · 19.12.2016, 22:00

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

а если не оптимизирует? Всегда ли нужно надеяться на компилятор?

Вы хорошо разбираетесь в процессе оптимизации кода компилятором?

Сообщение от GbaLog-

Займёте чужое имя - будет UB.

Оно не будет занято в данном случае. Позволю себе привести цитату из стандарта еще раз:
2.10.3:

In addition, some identifiers are reserved for use by C++ implementations and shall not be used otherwise; no diagnostic is required.
(3.1) — Each identifier that contains a double underscore __ or begins with an underscore followed by an uppercase letter is reserved to the implementation for any use.

(3.2) — Each identifier that begins with an underscore is reserved to the implementation for use as a name in the global namespace.

Локальные переменные и члены класса НЕ находятся в глобальном пространстве имен, поэтому можно смело их использовать(если, конечно, не нарушать (3.1), чего в коде ТС нету).

@Bretbas · 20.12.2016, 08:11 **[ТС]**

S_el,

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

Вы хорошо разбираетесь в процессе оптимизации кода компилятором?

Я это написал написал не из за своих убеждений, а потому, что читал про то, что компилятор может вернуть временный объект из функции за счет перемещения, чтобы не производить копирования. Но не всегда нужно расчитывать на компилятор. Где читал, я уже не смогу вспомнить, помоему у Бьерна Страуструпа

@GbaLog- · 20.12.2016, 09:53

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

Оно не будет занято в данном случае.

Ну, я понимаю, что в данном случае оно занято не будет. Просто John999 сказал это так, как будто вообще нет тут UB никакого в этом правиле. А я ему сказал, когда будет UB.

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

Позволю себе привести цитату из стандарта

Я вообще английский плохо знаю, лучше б перевели.

Croessmah · 20.12.2016, 09:59

Bretbas, а как же Вы в константной функции-члене перемещаете внутренности?
Да и предполагает ли getComponents очистку собственных данных?
Может лучше вернуть константную ссылку на потроха?

@Mr.X · 20.12.2016, 10:14

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

Bretbas, а как же Вы в константной функции-члене перемещаете внутренности?

Тема вообще забавная! Все участники обсуждения сошлись на том, что из функции-члена класса возвращается временный объект, одновременно являющийся членом класса!

MrGluck · 20.12.2016, 10:29

Сообщение от Mr.X

Все участники обсуждения сошлись на том

Не все

@Mr.X · 20.12.2016, 10:45

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

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

Не все

Как это?

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

RVO и NRVO

это же тоже про временные объекты.

MrGluck · 20.12.2016, 10:53

Сообщение от Mr.X

это же тоже про временные объекты.

Это скорее про то, что временные объекты всё же не создаются.
Наверное, мы об одном и том же говорим. Вы - про то, что затрагивается тема временных объектов, я - про то, что временные объекты не создаются.

@Mr.X · 20.12.2016, 11:28

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

Это скорее про то, что временные объекты всё же не создаются.
Наверное, мы об одном и том же говорим. Вы - про то, что затрагивается тема временных объектов, я - про то, что временные объекты не создаются.

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

MrGluck · 20.12.2016, 11:40

Сообщение от Mr.X

в примере автора в функции ничего не создается, а она возвращает уже существующий объект члена класса.

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

@S_el · 20.12.2016, 12:05

Аналогично, ответил не посмотрев на код.

Сообщение от GbaLog-

Я вообще английский плохо знаю, лучше б перевели.

Я тоже не эксперт в английском, но попробую:

В дополнении, некоторые идентификаторы зарезервированы для реализаций C++ и не должны быть использованы в других случаях;никакой диагностики не требуется.

(3.1) — Каждый идентификатор содержащий двойное нижнее подчеркивание или начинающийся с нижнего подчеркивания за которым следует заглавная буква зарезервированы реализацией для любого использования

(3.2) — Каждый идентификатор, начинающийся с нижнего подчеркивания зарезервирован реализацией для использования как имя в глобальном пространстве имен.

Bretbas, все правильно, пока не сможете считать себя достаточно хорошо разбирающимся в вопросе оптимизации или нет оснований полагать, что ваша оптимизация лучше - полагайтесь на компилятор.

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит переходные токи и напряжения на элементах схемы. . . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

@Bretbas Каждому свое 533 / 219 / 81 Регистрация: 05.08.2013 Сообщений: 1,614
	19.12.2016, 21:21 [ТС]
	S_el, а если не оптимизирует? Всегда ли нужно надеяться на компилятор? 0

MrGluck Форумчанин 8216 / 5047 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	19.12.2016, 21:43
	Следует почитать про RVO и NRVO. 0

Croessmah Неэпический 18144 / 10728 / 2066 Регистрация: 27.09.2012 Сообщений: 27,026 Записей в блоге: 1
	20.12.2016, 09:59
	Bretbas, а как же Вы в константной функции-члене перемещаете внутренности? Да и предполагает ли getComponents очистку собственных данных? Может лучше вернуть константную ссылку на потроха? 1

Возврат контейнера STL из функции

Решение