Я только что узнал о гарантированном копировании в С++ 17. Согласно ответу на этот вопрос:
Когда вы
return T();
, это инициализирует возвращаемое значение функции черезprvalue
. Поскольку эта функция возвращает T, временное создание не создается; инициализацияprvalue
просто непосредственно инициализирует возвращаемое значение.Дело в том, что, поскольку возвращаемое значение является
prvalue
, это еще не объект. Это просто инициализатор для объекта, как иT()
.
Поэтому мне было интересно, не работает ли эта работа, кроме:
T f() {return T();}
T t = f();
Поэтому я написал этот код с emplace_back
чтобы проверить его:
#include <vector>
#include <iostream>
struct BigObj{
BigObj() = default;
BigObj(int) { std::cout << "int ctor called" << std::endl; }
BigObj(const BigObj&){
std::cout << "copy ctor called" << std::endl;
}
BigObj(BigObj&&){
std::cout << "move ctor called" << std::endl;
}
};
BigObj f(){ return BigObj(2); }
int g(){ return 2; }
int main(){
std::vector<BigObj> v;
v.reserve(10);
std::cout << "emplace_back with rvalue \n";
v.emplace_back(1+1);
std::cout << "emplace_back with f()\n";
v.emplace_back(f());
std::cout << "emplace_back with g()\n";
v.emplace_back(g());
}
Это результат, который я получаю (с отключением копирования):
emplace_back with rvalue
int ctor called
emplace_back with f()
int ctor called
move ctor called
emplace_back with g()
int ctor called
Кажется, что конструктор перемещения по-прежнему вызывается, даже если prvalue
передается непосредственно в emplace_back
, который, как я думал, можно использовать для прямой конструирования объекта, а не для его создания, а затем для его перемещения.
Есть ли более элегантный способ избежать вызова конструктора move с помощью emplace_back
кроме как делать что-то вроде функции g()
?