考虑下面运行C ++ 11的代码。如果我正确理解了移动语义,则不应调用复制构造函数。但它是。有人可以解释为什么吗?
template<class D>
struct traced
{
public:
traced() = default;
traced(traced const&) { std::cout << typeid(D).name() << " copy ctor\n"; }
protected:
~traced() = default;
};
class A : public traced<A>{
public:
A(int x) : x_(x) {}
private:
int x_;
};
int main() {
// I thought the following two are equivalent. Apparently not.
aList.push_back(A(6)); // Prints out ".. copy ctor" ..
aList.emplace_back(6); // Does not print out " ... copy ctor"
}
最佳答案
aList.push_back(A(6));
这将构造一个临时
A
并将其移动到容器中。调用了隐式生成的A
移动构造函数,该构造函数需要从临时对象的基础子对象构造基础traced<A>
。但是,trace
显式声明了一个复制构造函数,因此默认情况下它没有move构造函数,并且A
的move构造函数仍需要为其基类子对象执行复制。aList.emplace_back(6);
这直接将
A
构造到容器中。不涉及任何形式的复制或移动。