Ликбез по передаче параметров по значению в конструкторы и сеттеры (современный C++, примеры)

Судя по комментам habr.com/ru/post/460831/#comment_20416435 в соседнем посте и развернувшейся там дискуссии, на Хабре не помешает статья, как правильно передавать аргументы в конструктор или сеттер. На StackOverflow подобного материала полно, но тут что-то я не припомню.

Потому что пример в той статье полностью корректен, и автор статьи абсолютно прав. Вот этот пример:

struct person {
  person(std::string first_name, std::string last_name)
    : first_name{std::move(first_name)} // верно
    , last_name{std::move(last_name)}
  {}
private:
  std::string first_name;
  std::string last_name;
};

Такой вариант позволяет покрыть все возможные варианты использования класса:

std::string first{"abc"}, last{"def"};
person p1{first, last};  // (1) копирование у обеих
person p2{std::move(first), last}; // !!! копирование только у второй
person p2{std::move(first), std::move(last)}; // (3) нет копирования
person p3{"x", "y"}; // нет копирования

Сравните со старым методом, когда передавали по const&: он однозначно хуже, потому что исключает вариант (3):

struct person {
  person(const std::string& first_name, const std::string& last_name)
    : first_name{first_name}
    , last_name{last_name}
  {}
private:
  std::string first_name;
  std::string last_name;
};
std::string first{"abc"}, last{"def"};
person p1{first, last}; // будет копирование, как и хотели
// Но что если мы точно знаем, что first и last нам больше не
// понадобятся? мы не можем их в таком случае переместить
// и добиться 0 копирований! Поэтому const& хуже.

Альтернативный вариант с && также хуже, но в обратную сторону:

struct person {
  person(std::string&& first_name, std::string&& last_name)
    : first_name{std::move(first_name)}
    , last_name{std::move(last_name)}
  {}
private:
  std::string first_name;
  std::string last_name;
};
std::string first{"abc"}, last{"def"};
person p1{std::move(first), std::move(last)}; // норм
// но вот если мы НЕ хотим перемещения, то в случае && придется хитрить:
person p2{std::string{first}, std::string{last}}; // FOOOO

Даже если у вас на std::string, а какой-то объект собственноручно написанного большущего класса, и вы хотите людей заставить перемещать его (а не копировать), то в таком случае лучше запретить конструктор копирование у этого большущего класса, нежели везде передавать его по &&. Так надежнее, да и код короче.

Напоследок пара вариантов, как делать НЕ СТОИТ:

struct person {
  person(const std::string& first_name, const std::string& last_name)
    : first_name{first_name}
    , last_name{last_name}
  {}
private:
  // НЕТ и НЕТ: это мегаопасно, никогда не сохраняйте константные
  // ссылки в свойствах объекта
  const std::string& first_name;
  const std::string& last_name;
};
person p{"x", "y"}; // ха-ха-ха, приехали

И так тоже не надо:

struct person {
  person(std::string& first_name, std::string& last_name)
    : first_name{first_name}
    , last_name{last_name}
  {}
private:
  // так можно иногда, но лучше все же воспользоваться shared_ptr:
  // будет медленнее, но безопасно
  std::string& first_name;
  std::string& last_name;
};

Почему так происходит, каков фундаментальный принцип? Он прост: объект, как правило, должен ВЛАДЕТЬ своими свойствами.

Если объект не хочет чем-то владеть, то он может владеть shared_ptr’ом на это «что-то». Кстати, shared_ptr’ы в таком случае тоже надо передавать по значению, а не по константной ссылке — тут разницы с самым первым примером в начале статьи никакой:

struct person {
  person(std::shared_ptr<portfolio> pf) : pf{std::move(pf)} {}
private:
  std::shared_ptr<portfolio> pf;
};
auto psh = make_shared<portfolio>("xxx", "yyy", "zzz");
...
person p1{psh};
person p2{std::move(psh)}; // так эффективнее, если psh больше не нужен

Обратите внимание: std::move для shared_ptr совершенно легален, он исключает накладные расходы на блокировку счетчика ссылок shared_ptr в памяти (сотни циклов CPU) и на его инкремент. И он никак не влияет на время жизни объекта и остальные ссылки на него. Но так можно делать, конечно, только в случае, если ссылка psh в коде ниже нам больше не нужна.

Мораль: не используйте const& повально. Смотрите по обстоятельствам.

P.S.
Используйте {} вместо () при передаче параметров конструктора. Модно, современно, молодежно.

Теги:

с++