未调用 C++11 移动构造函数，默认构造函数首选-解网

问：

假设我们有这个类：

class X {
public:
    explicit X (char* c) { cout<<"ctor"<<endl; init(c); };
    X (X& lv)  { cout<<"copy"<<endl;  init(lv.c_); };
    X (X&& rv) { cout<<"move"<<endl;  c_ = rv.c_; rv.c_ = nullptr; };

    const char* c() { return c_; };

private:
    void init(char *c) { c_ = new char[strlen(c)+1]; strcpy(c_, c); };
    char* c_;

};

和这个示例用法：

X x("test");
cout << x.c() << endl;
X y(x);
cout << y.c() << endl;
X z( X("test") );
cout << z.c() << endl;

输出为：

ctor
test
copy
test
ctor   <-- why not move?
test

我正在使用默认设置的 VS2010。我希望最后一个对象（）是移动构造的，但事实并非如此！如果我使用，那么输出的最后一行是，正如我所期望的那样。是（N）RVO 的情况吗？zX z( move(X("test")) );ctor move test

问：是否应该按照标准调用移动器？如果是这样，为什么不叫它？

C++ C++11 移动语义

当满足某些条件时，允许实现省略类对象的复制/移动构造，即使复制/移动对象的构造函数和/或析构函数具有副作用。在这样的情况下，实现处理省略的来源和目标复制/移动操作只是引用同一对象，并且该对象的破坏发生在较晚的如果没有优化。这种复制/移动的省略以下操作中允许执行称为复制省略的操作情况（可以组合起来消除多个副本）：

在具有类返回类型的函数的 return 语句中，当表达式是与函数返回类型具有相同 cv 非限定类型的非易失性自动对象的名称时，可以通过将自动
对象
直接构造到函数的返回值中来省略
复制/移动操作

在 throw-expression 中，当操作数是非易失性自动对象的名称时，其范围不会超出最内层封闭的 try-block（如果有）的末端，将操作从操作数复制/移动到异常对象（15.1）可以通过将自动对象直接构造到异常对象

当未绑定到引用的临时类对象（12.2）将被复制/移动到具有 HE 的类对象时相同的 cv-unqualified 类型，复制/移动操作可以通过以下方式省略将临时对象直接构造到
省略的复制/移动的目标中

当异常处理程序的异常声明（第 15 条）声明与异常对象（15.1）类型相同的对象（cv-qualification 除外）
时，可以通过将异常声明视为异常
对象的别名
来省略复制/移动操作，如果程序的含义保持不变，但执行 exception-declaration 声明的对象的
构造函数和析构函数。

（第12.8/31节）当满足某些条件时，允许实现省略类对象的复制/移动构造，即使该对象的复制/移动构造函数和/或析构函数具有副作用。[...]在以下情况下，允许这种复制/移动操作的省略，称为复制省略（可以组合以消除多个副本）：
[...]
- 当未绑定到引用（12.2）的临时类对象将被复制/移动到具有相同 cv 非限定类型的类对象时，可以通过将临时对象直接构造到省略的复制/移动的目标中来省略复制/移动
操作 [...]

一个重要的条件是源对象和目标属于同一类型（除了 cv-qualification，即）。const

因此，可以强制调用移动构造函数的一种方法是将对象初始化与隐式类型转换相结合：

#include <iostream>

struct B
{};

struct A
{
  A() {}
  A(A&& a) {
    std::cout << "move" << std::endl;
  }
  A(B&& b) {
    std::cout << "move from B" << std::endl;
  }
};


int main()
{
  A a1 = A(); // move elided
  A a2 = B(); // move not elided because of type conversion
  return 0;
}

可以看作是移动构造函数吗？N3936 草案（12.8.3）说：“类 X 的非模板构造函数是移动构造函数，如果它的第一个参数是 X&、常量 X&&、易失性 X&& 或常量易失性 X&&，并且没有其他参数，或者所有其他参数都有默认参数”A::A(B&& b)

0赞 Israel Unterman 6/26/2023 #4

只是想评论一下，如果你只想确保移动 ctor 工作，你可以破解代码，通过抛出一个条件来消除编译器优化，例如：

X z( some_val > 1 ? X("test") : X("other test"));

上一个：在需要深度复制的结构上编码 std：：sort

下一个：模板副本分配功能的混淆

未调用 C++11 移动构造函数，默认构造函数首选

C++11 move constructor not called, default constructor preferred

评论

评论

评论

评论