使用向量在初始化器列表中移动构造函数

Question

使用此示例：

// test.cpp

#include <iostream>
#include <vector>
#include <utility>

using namespace std;

class mystring : public string { public:
    mystring() = default;

    mystring(const char* c) : string(c) {}

    mystring(mystring& m) : string(m) { cout << "Reference" << endl; }
    mystring(mystring const & m) : string(m) { cout << "Const reference" << endl; }
    mystring(mystring&& m) : string(move(m)) { cout << "Move" << endl; }
};

int main() {
    mystring a;

    vector<mystring> v{ a };
}

输出是：

$ g++ --version | grep "g++"
g++ (Ubuntu/Linaro 4.7.2-2ubuntu1) 4.7.2
$ g++ -std=c++11 -fno-elide-constructors test.cpp
$ ./a.out
Reference
Move
Const reference

但是，如果我用 r 值初始化 v：

vector<mystring> v{"hello"};

输出是：

$ g++ -std=c++11 -fno-elide-constructors test.cpp
$ ./a.out
Const reference

这意味着，没有副本。使用 r 值：

vector <mystring> v{mystring()};

输出：

$ g++ -std=c++11 -fno-elide-constructors test.cpp
$ ./a.out
Move
Move
Const reference

我不明白两件事：

• 为什么使用非原始字符串执行第二次移动（在第一次复制/移动之前）？
• 为什么对于原始字符串，不执行“mystring”的副本？

Answer 1

注意原始字符串在 C++11 中的含义有所不同，如果您在谈论 "hello"

，我认为您的意思是字符串文字

• 为什么对于原始字符串，不执行“mystring”的副本？

诶？有一份，所以打印Const Reference。

vector<mystring> v{"hello"};

braced-init-list 使用单个元素初始化 std::initializer_list<mystring> 构造函数参数，该元素使用 mystring(const char* c) 构造函数构造，然后使用 mystring(const mystring&) 构造函数将该元素复制到向量中，该构造函数打印 @987654327 @。很简单。

• 为什么使用非原始字符串执行第二次移动（在第一次复制/移动之前）？

第二步怎么会在第一步之前？！ :)

这是initializer_list如何构造的实现细节，这通常无关紧要，因为多余的动作会被省略。

vector <mystring> v{mystring()};

这会使用默认构造函数创建一个临时的mystring，然后使用单个元素创建std::initializer_list<mystring>，该元素是使用mystring(mystring&&) 构造函数构造的，并将临时作为其参数。该移动构造打印Move。内部还有另一个动作，再次打印Move。然后像以前一样将initializer_list元素复制到向量中，打印Const Reference。

回答您的评论：

您看到的额外移动也发生在第一种情况下，但在这种情况下，被移动的类型是const char*，因此它不会打印Move，即语句std::vector<mystring>{ expr };可以被认为是：

auto tmp = expr;
mystring tmparray[] = { std::move(tmp) };
std::initializer_list<mystring> init_list( tmparray, 1 };
std::vector<mystring> v(init_list);

当expr 是a（这是一个非常量左值）创建tmp 打印Reference 然后创建tmparray 打印Move 然后将tmparray[0] 复制到向量打印Const Reference。

当expr 是"hello" 时，创建tmp 的元素不打印任何内容，创建tmparray 调用不打印任何内容的mystring(const char*)，然后将tmparray[0] 复制到矢量打印中@ 987654355@.

当expr 是mystring() 创建tmp 打印Move 然后创建tmparray 打印Move 然后将tmparray[0] 复制到矢量打印Const Reference

使用像 { expr1, expr2 } 这样的两个元素支撑初始化列表，它可以是：

auto tmp1 = expr1;
auto tmp2 = expr2;
mystring tmparray[] = { std::move(tmp1), std::move(tmp2) };
std::initializer_list<mystring> init_list( tmparray, 2 };
std::vector<mystring> v(init_list);

因此，如果您使用{ "hello", mystring() }，您将得到Move 打印一次，tmp2 和Move 打印一次，由tmparray 和Const Reference 打印两次，由v 的元素打印。

当然，通常所有这些都会被省略掉，因此没有不必要的复制或移动。 -fno-elide-constructors 除了找出会发生的事情之外并没有真正的用处，但实际上并没有发生！

Answer 2

您没有正确地将移动构造函数标记为noexcept。