c++ - 为什么 valarray 分配不根据文档调整受让人的大小？

Question

代码:

#include <valarray>
#include <iostream>    

using namespace std;

int main()
{
  valarray<int> v0(2, 4);
  valarray<int> v1;
  v1 = v0;
  cout << "v0.size: " << v0.size() << endl;
  cout << "v1.size: " << v1.size() << endl;
  cout << "v0[0]: " << v0[0] << endl;
  cout << "v1[0]: " << v1[0] << endl;
}

输出:

v0.size: 4
v1.size: 0
v0[0]: 2
Segmentation fault

对于作业:

v1 = v0;

我认为构造函数:

valarray<T>& operator=( const valarray<T>& other );

应该使用并根据 documentation ，我相信应该调整 v1 的大小并将 v0 的内容复制到其中，一个元素一个元素。那么实际发生了什么？

$ g++ --version
g++ (GCC) 4.4.7 20120313 (Red Hat 4.4.7-11)

Answer 1

因为您使用的是旧的 C++。

从 C++11 开始，目标会调整大小以匹配源。
这就是为什么这里的一些贡献者无法重现您的问题(另外，UB 的结果不可预测)。 这也是为什么 the cppreference.com article states that a resize is first performed (尽管免责声明这仅适用于 C++11 可能很好)。 [现在已修复。]

[C++11: 23.6.2.3] valarray assignment [valarray.assign]

valarray<T>& operator=(const valarray<T>& v);

¹   Each element of the *this array is assigned the value of the corresponding element of the argument array. If the length of v is not equal to the length of *this, resizes *this to make the two arrays the same length, as if by calling resize(v.size()), before performing the assignment.

²   Postcondition: size() == v.size().

但是，在 C++03 中，您的代码有未定义的行为。
这就是为什么您的旧工具链出现段错误的原因。这也是为什么当这个问题被提出为 a GCC bug 时早在 2003 年，它就因无效而被拒绝，因为当时的实现实际上是一致的。

[C++03: 23.3.2.2] valarray assignment [valarray.assign]

valarray<T>& operator=(const valarray<T>& v);

¹   Each element of the *this array is assigned the value of the corresponding element of the argument array. The resulting behavior is undefined if the length of the argument array is not equal to the length of the *this array.