Возврат контейнера 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, все правильно, пока не сможете считать себя достаточно хорошо разбирающимся в вопросе оптимизации или нет оснований полагать, что ваша оптимизация лучше - полагайтесь на компилятор.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

@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 Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,035 Записей в блоге: 1
	20.12.2016, 09:59
	Bretbas, а как же Вы в константной функции-члене перемещаете внутренности? Да и предполагает ли getComponents очистку собственных данных? Может лучше вернуть константную ссылку на потроха? 1

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

Решение