1

В классе синглтоне есть метод который принимает объект класса SentPackage, олицетворяющего отправленный пакет. Внутри этого объекта находится довольно крупный вектор payload.

void PendingStorage::AddPackage(SentPackage& in_packet); // Внутри in_packet огромный вектор payload. 

В методе AddPackage мне необходимо сохранить in_packet в std::map и тут я встал перед дилеммой. Я могу либо копировать объект либо переместить его (с помощью std::move). Во втором случае я довольно сильно выиграю по производительности т.к. в конструкторе копирования SentPackage внутренний вектор payload также будет перемещаться. Но получается, что in_packet во втором случае будет опустошён и далее не пригоден для использования, что конечно я буду учитывать в своём коде. Проблема может возникнуть кода мой синглтон будет использовать другой программист, который не чего не знает об изменениях передаваемого объекта внутри моего метода. По идее на эти изменения будут указывать отсутствие спецификатора const у in_packet и мои комментарии которые я напишу=) Но всё же мне кажется это очень небезопасным решением. Меня интересует ваше мнение, на сколько это вообще считается безопасным в нормальном сообществе и как принято разруливать такие ситуации в ваших проектах?

1
  • как правило, если метод не изменяет входной параметр, то этот параметр объявляют константной ссылкой foo(const int& i). Если параметр передается по ссылке, то это означает, что функция МОЖЕТ изменить его. Как правило это оговаривается в документации 28 мар 2018 в 10:56

1 ответ 1

0

Принимай r-value, тогда "другой" программис просто так туда не отдаст и будет готов к тому, что объект после этого вызова будет не валиден.

void PendingStorage::AddPackage(SentPackage&& in_packet); 

UPD: Если вызывается будет так:

foo()
{
    SentPackage in_packet;
    pending_storage.AddPackage(std::move(in_packet));
}

А в AddPackage будет так:

void PendingStorage::AddPackage(SentPackage&& in_packet)
{
     m_packets.empalce(key, std::move(in_packet));
}

То компилятор это выродит до 1 перемещения. Причем, если SentPackage(SentPackage&&) написан правильно, то стоимость этого перемещения ничто по сравнению с добавление в std::map

12
  • Я так и сделал вначале, но тогда нам нужно делать два перемещения. А этот участок очень критичен с точки зрения производительности. По сути он сейчас является узким местом всего приложения.
    – Rivand
    28 мар 2018 в 10:30
  • @mrFieldy Перемещение будет все равно только одно, независимо от количества вызовов std::move. 28 мар 2018 в 10:43
  • После перемещения объект остается валидным. 28 мар 2018 в 10:44
  • 1
    @mrFieldy Объект обязан оставаться валидным по стандарту. При перемещении объектов std::vector исходный вектор после перемещения всегда остается в валидном состоянии. Пустой вектор тоже является валидным состоянием. Поэтому "испортить" объект премещением из него не получится. 28 мар 2018 в 11:06
  • 1
    @mrFieldy Пустой объект тоже является валидным. У него можно спокойно вызвать методы и перезаполнить его. Для него следует по-прежнему вызвать деструктор. У невалидного объекта вызов любого метода являлся бы неопределенным поведением. Конструктор перемещения в вашем примере вызывается два раза, так как вы создаете временный объект std::pair. Используйте emplace. 28 мар 2018 в 11:29

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.