是否可以在容器中放置一个 std::array ？如果是怎么回事？如果不是，为什么？ [复制]

Question

给定简单的代码

#include <array>
#include <vector>
int main() {
    std::vector<std::array<int,3>> v;
    v.emplace_back(std::array<int,3>{1,2,3});
}

我首先担心到底发生了什么。

我对 emplace_back 的理解是，它通过将其参数转发到该元素的构造函数。

但是哪个构造函数？由于我们传递的是与我们想要放置的元素类型相同的对象，我猜想选择了移动构造函数，因为我们传递的是临时的，或者如果移动 ctor 被删除（隐式或显式），则传递复制 ctor。此外，我们首先是在构建那个临时的，而这没有就地完成，对吧？

所以我们基本上是通过将1、2 和3 作为参数传递给std::array<int,3> 的“普通”(???) 构造函数，从而取回一个临时的，它被传递到std::array<int,3> 的复制ctor，它在适当的位置构造副本，或者最好是到std::array<int,3> 的移动ctor，它（？）复制底层C 样式指针？

应该清楚这个简单的例子让我很困惑。

更让我困惑的是，如果我真的想利用emplace_back，我只能将std::array<int,3> 的参数传递给它，如

#include <array>
#include <vector>
int main() {
    std::vector<std::array<int,3>> v;
    v.emplace_back(1,2,3);
}

which doesn't even compile.

Answer 1

让我试着澄清一下。首先，std::array<> 是一个aggregate。它根本没有任何用户定义的构造函数。

所以它是准可移动的（技术术语是trivially movable），这意味着您可以从临时构造它，但它会简单地复制底层数组。所以代码最终要做的是将提供的数组复制到新分配的向量元素中。

如果您将emplace_back 替换为push_back，您将获得相同的结果（但输入会稍微减少），如下所示：

    v.push_back({1,2,3});

而emplace_back(1, 2, 3) 无法编译，因为std::array<> 没有任何构造函数接受多个参数。