考虑下面运行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构造到容器中。不涉及任何形式的复制或移动。

09-11 17:31