Блог

Ниже приведен упрощенный пример шаблона List , где есть две append_move() append_forward() функции и, которые имеют одну и ту же цель, берут аргументы и помещают их в контейнер List . Первая append_move() функция принимает arg1 переданное значение, а затем перемещает его в emplace_back() функцию. Вторая append_move() функция использует автоматическое arg1 восстановление, а затем перенаправляет его в emplace_back() функцию.

Имеет ли append_forward() функция какие-либо преимущества перед append_move() функцией и какой функции следует отдать предпочтение?

 #include lt;dequegt; #include lt;stringgt; #include lt;utilitygt;  templatelt;typename Tgt; class List {  public:  void append_move(T arg1, std::string arg2)  {  list.emplace_back(std::move(arg1), std::move(arg2));  }   templatelt;typename Xgt;  void append_forward(Xamp;amp; arg1, std::string arg2)  {  list.emplace_back(std::forwardlt;Xgt;(arg1), std::move(arg2));  }   private:  std::dequelt;std::pairlt;T, std::stringgt;gt; list; };  

Вперед или вперед

Если T деструктор не может быть оптимизирован и создает видимые побочные эффекты, например

 struct Loud { ~Loud() { std::cout lt;lt; "destructorn"; } };  

затем

 Listlt;Loudgt; list; Loud const loud; list.append_forward(loud);  

вызывает на один деструктор меньше, чем

 list.append_move(loud);  

поскольку последний создает еще один объект =gt; должен вызвать еще один деструктор. Таким образом, пересылка более предпочтительна.

Однако это делает API менее привлекательным:

 another_list.append_move({"some", "arguments"}); // works and pretty //another_list.append_forward({"some", "arguments"}); // doesn't compile another_list.append_forward(Foo{"some", "arguments"}); // works  

Перегрузка вручную

Так что, к сожалению, обеспечение рукописных перегрузок, по-видимому, является лучшим решением (для пользователя вашего кода) из этих трех:

 void append_overload(Tamp;amp; t); // TODO actually implement void append_overload(T constamp; t) { append_overload(T{t}); }  

Место

Однако (еще раз), если вас все это волнует, подумайте о том, чтобы разместить:

 templatelt;typename... Asgt; void append_emplace(Asamp;amp;... args) {  list.emplace_back(std::forwardlt;Asgt;(args)...); }  

 // works and pretty as long as you don't need to pass-construct two arguments another_list.append_emplace("some", "arguments");  

Другие перегрузки

Кроме того, если у вас больше append_* перегрузок, обратите внимание, что версии пересылки/размещения имеют меньший приоритет из-за того, что они являются шаблонами. Выбор за вами.