如何判断C++中数组元素是否已初始化？

嘿，这个问题问得挺实在的——用std::make_unique<int[]>(10)创建的int数组，元素都是未初始化的，而C++里原生类型本身是没有自带“初始化状态标记”的，没法直接查出来它有没有被赋值过。不过我们可以用几个实用的办法来解决这个问题，我给你梳理一下：

• 用哨兵值统一初始化，再做判断
  我们可以在创建数组后，先把所有元素初始化成一个业务逻辑中绝不会用到的特殊值（也就是“哨兵值”），之后就可以通过判断元素是否等于这个哨兵值，来确定它有没有被初始化过。

  举个例子：

  #include <iostream>
  #include <memory>
  #include <climits>
  
  int main(void)
  {
      auto arr = std::make_unique<int[]>(10);
      // 先把所有元素初始化为INT_MIN（int类型的最小值）
      for (int i = 0; i < 10; ++i) {
          arr[i] = INT_MIN;
      }
  
      // 假设我们给第3个元素（索引2）赋值
      arr[2] = 42;
  
      // 现在检查每个元素的状态
      for (int i = 0; i < 10; ++i) {
          if (arr[i] != INT_MIN) {
              std::cout << "元素" << i << "已初始化，值为：" << arr[i] << std::endl;
          } else {
              std::cout << "元素" << i << "未初始化" << std::endl;
          }
      }
  
      return EXIT_SUCCESS;
  }
  

  这里要注意：一定要确保你选的哨兵值不会和业务中可能用到的正常值冲突，如果你的逻辑里可能用到INT_MIN，那就换个别的值，比如0xDEADBEEF这类自定义的魔法数（记得要符合int的取值范围哦）。

• 用std::optional包装元素
  如果不想纠结哨兵值的问题，咱们可以用std::optional<int>来包装数组里的每个元素。std::optional本身就会维护一个“是否有值”的状态，默认是空的（代表未初始化），当你给它赋值后，就会变成“有值”状态。

  代码示例：

  #include <iostream>
  #include <memory>
  #include <optional>
  
  int main(void)
  {
      auto arr = std::make_unique<std::optional<int>[]>(10);
  
      // 给第5个元素（索引4）赋值
      arr[4] = 100;
  
      // 检查元素状态
      for (int i = 0; i < 10; ++i) {
          if (arr[i].has_value()) {
              std::cout << "元素" << i << "已初始化，值为：" << arr[i].value() << std::endl;
          } else {
              std::cout << "元素" << i << "未初始化" << std::endl;
          }
      }
  
      return EXIT_SUCCESS;
  }
  

  这种方法更安全，完全不用担心值冲突的问题，唯一的小代价是每个元素会多占一点内存（用来存状态标记），不过一般场景下这点开销可以忽略不计。

• 单独维护一个标记数组
  咱们也可以创建一个和原数组大小一样的bool数组，专门用来记录对应位置的元素是否已经被初始化。标记数组默认全设为false，当给原数组的某个元素赋值时，就把对应位置的标记设为true。

  看个例子：

  #include <iostream>
  #include <memory>
  
  int main(void)
  {
      auto arr = std::make_unique<int[]>(10);
      auto is_initialized = std::make_unique<bool[]>(10);
      // 初始化标记数组，默认所有元素未初始化
      for (int i = 0; i < 10; ++i) {
          is_initialized[i] = false;
      }
  
      // 给第2个元素（索引1）赋值，并标记为已初始化
      arr[1] = 77;
      is_initialized[1] = true;
  
      // 检查状态
      for (int i = 0; i < 10; ++i) {
          if (is_initialized[i]) {
              std::cout << "元素" << i << "已初始化，值为：" << arr[i] << std::endl;
          } else {
              std::cout << "元素" << i << "未初始化" << std::endl;
          }
      }
  
      return EXIT_SUCCESS;
  }
  

  这种方法把标记和数据分开，同样不会有值冲突的问题，需要的就是额外的bool数组内存，逻辑也很直观。

最后得提醒你一句：绝对不要通过元素的“随机垃圾值”来判断是否初始化。未初始化的int元素的值是未定义行为，它可能是任何数字，甚至每次运行程序都不一样，你根本没法通过“这个数看起来像垃圾”就断定它没被初始化——万一业务逻辑里刚好就用到了那个值，那判断就完全失效了，还可能引发奇怪的bug。

备注：内容来源于stack exchange，提问作者Александр Алибеков