std：：vector （ab）使用自动存储-解网

问：

请考虑以下代码片段：

#include <array>
int main() {
  using huge_type = std::array<char, 20*1024*1024>;
  huge_type t;
}

显然，它会在大多数平台上崩溃，因为默认堆栈大小通常小于 20MB。

现在考虑以下代码：

#include <array>
#include <vector>

int main() {
  using huge_type = std::array<char, 20*1024*1024>;
  std::vector<huge_type> v(1);
}

令人惊讶的是，它也崩溃了！回溯（使用最新的 libstdc++ 版本之一）指向文件，我们可以在其中看到以下行：include/bits/stl_uninitialized.h

typedef typename iterator_traits<_ForwardIterator>::value_type _ValueType;
std::fill(__first, __last, _ValueType());

调整大小构造函数必须默认初始化元素，这就是它的实现方式。显然，临时崩溃会使堆栈崩溃。vector_ValueType()

问题是它是否符合要求。如果是，这实际上意味着使用大类型的向量是相当有限的，不是吗？

c 语言律师 stdvector libstdc++ 自动存储

@walnut特殊情况存在，因此我们调度到琐碎类型，然后用于将字节爆炸到位置，这可能比在循环中构造大量单个对象要快得多。我相信 libstdc++ 实现是合规的，但导致大型对象的堆栈溢出是实现质量（QoI）错误。我已将其报告为 gcc.gnu.org/PR94540，并将修复它。std::fillmemcpy

0赞 walnut 4/9/2020

@JonathanWakely 是的，这是有道理的。我不记得为什么我在写评论时没有想到这一点。我想我会认为第一个默认构造的元素将直接就地构造，然后可以从中复制，这样就不会构造元素类型的其他对象。但当然，我还没有真正详细考虑过这一点，也不知道实现标准库的来龙去脉。（我意识到为时已晚，这也是您在错误报告中的建议。

9赞 eerorika 1/7/2020 #2

huge_type t;
显然，它会在大多数平台上崩溃......

我对“大多数”的假设提出异议。由于从未使用过巨大对象的内存，因此编译器可以完全忽略它并且从不分配内存，在这种情况下不会崩溃。

问题是它是否符合要求。

C++ 标准不限制堆栈的使用，甚至不承认堆栈的存在。所以，是的，它符合标准。但人们可以认为这是一个执行质量问题。

这实际上意味着使用大类型的向量是相当有限的，不是吗？

libstdc++ 似乎就是这种情况。libc++（使用 clang）没有重现崩溃，因此这似乎不是语言的限制，而只是该特定实现的限制。

IIRC 您还需要可复制性或可移动性，但不仅仅是为了创建矢量。这意味着您可以拥有但不能拥有类似的东西，您可能仍然拥有第二个版本的分配和移动操作。两者都不应创建临时对象。emplace_backvector<mutex> v(1)vector<mutex> v; v.emplace_back();huge_type

1赞 dyp 1/10/2020

@IgorR。需要（Cpp17）DefaultInsertablevector::vector(size_type, Allocator const&)

上一个：自动计算百分比并存储到变量中

下一个：不同 C 模块中同名的自动变量：内存分配

std：：vector （ab）使用自动存储

std::vector (ab)uses automatic storage

评论

评论

评论

评论