为何Valgrind报告C++ vector未初始化值而非非法读取？

我正在开发一个涉及std::vector元素访问的C++程序，用Valgrind运行时遇到了不符合预期的错误报告：明明是越界访问，Valgrind却只报“未初始化值”错误，而不是我预期的“非法读取”错误。

简化代码 #

#include <vector>
#include <iostream>
#define DATA_SIZE 10

struct Data {
  Data(double aa, double bb) : a(aa), b(bb) {}
  double a {0.0};
  double b {0.0};
};

class Test {
  public:
    Test() {
      data_.clear();
      data_.reserve(DATA_SIZE * 2);
      for (int i = 0; i < DATA_SIZE; ++i) {
          data_.push_back(Data(i, i));
      }
    }
    double Read() {
      const int index = DATA_SIZE;
      const auto& data = data_[index];
      double res = data.a + data.b;
      std::cout << res;
      return res;
    }
  private:
    std::vector<Data> data_;
};

int main() {
  Test t;
  t.Read();
}

环境与操作命令 #

环境：Linux Ubuntu 18.04，搭配g++ 7.5和valgrind 1:3.13.0-2ubuntu2.3

编译命令：

g++ -std=c++17 -O2 -g test.cpp -o test

Valgrind运行命令：

valgrind --tool=memcheck --leak-check=full --expensive-definedness-checks=yes --track-origins=yes ./test

错误报告结果 #

Valgrind在std::cout << res;处报告大量Conditional jump or move depends on uninitialised value(s)错误。

核心问题 #

明明是越界访问data_[DATA_SIZE]（vector当前仅有DATA_SIZE个元素，合法索引范围为0到DATA_SIZE-1），为什么Valgrind不报告“非法读取”，反而只触发未初始化值相关错误？

补充信息：如果将data_.reserve(DATA_SIZE * 2);修改为data_.reserve(DATA_SIZE);，Valgrind会如预期报告“非法读取”错误，推测问题与vector的reserve大小有关，但不确定具体原因。

原因解析 #

这完全由std::vector::reserve()的行为特性决定：

• reserve(N)的作用是让vector提前分配至少可容纳N个元素的内存空间，但这些内存不会被自动初始化，vector的size()（实际元素数量）也不会改变。只有通过push_back、emplace_back等方法才能构造元素并增加size()。
• 当你调用reserve(DATA_SIZE * 2)时，vector分配了能容纳20个Data对象的内存，但仅构造了10个元素。此时索引DATA_SIZE（即10）对应的内存属于vector已分配的容量范围，但该位置从未构造过Data对象，内存值是未初始化的。
• Valgrind的“非法读取”错误针对的是访问进程未拥有的内存或vector未分配的内存区域；而此处访问的是vector已预留的内存空间，因此不会触发非法读取错误，只会因读取未初始化的值，触发“未初始化值依赖”的错误。

当修改reserve参数为DATA_SIZE时：

• vector仅分配了刚好容纳10个元素的内存，索引10超出了vector已分配的内存范围，属于访问未分配的内存，因此Valgrind会报告“非法读取”错误。

⚠️ 注意：无论Valgrind是否报告非法读取，访问vectorsize()之外的位置都属于未定义行为，这种写法绝对不应该出现在生产代码中。

内容的提问来源于stack exchange，提问作者kaixin liu