分配内存后是否需要初始化变量？

Question

我正在尝试在 C++ 中实现矩阵乘法。我找到了一个示例代码，它使用了一个写入.h 和.cpp 文件的类。这只是与我的问题相关的代码的一部分：

#include "Matrix.h"

// Constructor - using an initialisation list here
Matrix::Matrix(int rows, int cols, bool preallocate): rows(rows), cols(cols), size_of_values(rows * cols), preallocated(preallocate)
{
   // If we want to handle memory ourselves
   if (this->preallocated)
   {
      // Must remember to delete this in the destructor
      this->values = new double[size_of_values];
   }
}

void Matrix::matMatMult(Matrix& mat_left, Matrix& output)
{
   // The output hasn't been preallocated, so we are going to do that

      output.values = new double[this->rows * mat_left.cols];

   // Set values to zero before hand
   for (int i = 0; i < output.size_of_values; i++)
   {
      output.values[i] = 0;
   }

我想知道为什么他们使用 0s output.values[i] = 0; 的输出矩阵来初始化它之前已经分配了内存？

Answer 1

从cppreference 到new 表达式：

new-expression 创建的对象按照以下规则进行初始化：

• [...]
• 如果 type 是数组类型，则初始化对象数组。
  • 如果没有初始化，每个元素都是默认初始化的
  • 如果初始化程序是一对空括号，则每个元素都进行值初始化。

“default-initialized”ints 通俗地说是没有初始化的。它们具有不确定的值。空的一对括号指的是 Ted 在评论中提到的内容：

output.values = new double[this->rows * mat_left.cols]{};

值初始化在here 中描述。这里适用的情况是

• 否则，对象被零初始化。

---

我想知道为什么他们使用 0 的输出矩阵进行初始化 output.values[i] = 0;虽然之前已经分配了内存？

分配内存和初始化对象是两个独立的步骤。是的，元素必须初始化，分配内存是不够的。