如何判断C++动态分配数组中已初始化的元素？

首先明确：C++中用new int[]创建的基本类型数组，未初始化元素的内存是随机垃圾值，没有内置的方法直接通过元素值判断是否已初始化——因为垃圾值可能和合法的初始化值完全重合，无法区分。必须通过额外的标记机制来追踪元素的初始化状态。

以下是几种实用的实现方式：

1. 使用布尔数组标记初始化状态 #

创建一个和原数组长度相同的布尔数组，每个元素对应原数组位置是否已初始化：

#include <iostream>

int main() {
    const int arrSize = 3;
    int* arr = new int[arrSize];
    bool* isInitialized = new bool[arrSize]{false}; // 所有元素初始化为false

    // 初始化元素时同步标记状态
    arr[0] = 1;
    isInitialized[0] = true;
    arr[2] = 3;
    isInitialized[2] = true;

    // 遍历输出已初始化元素
    for (int i = 0; i < arrSize; ++i) {
        if (isInitialized[i]) {
            std::cout << arr[i] << " ";
        }
    }

    // 记得释放动态分配的内存
    delete[] arr;
    delete[] isInitialized;
    return 0;
}

2. 使用结构体/std::pair绑定值与状态 #

把元素值和初始化状态封装在一起，避免单独维护两个数组：

#include <iostream>
#include <utility> // 包含std::pair

int main() {
    const int arrSize = 3;
    // 用pair的first存数值，second存是否初始化的标记
    using IntWithInit = std::pair<int, bool>;
    IntWithInit* arr = new IntWithInit[arrSize];

    // 初始化元素时设置状态
    arr[0].first = 1;
    arr[0].second = true;
    arr[2].first = 3;
    arr[2].second = true;

    for (int i = 0; i < arrSize; ++i) {
        if (arr[i].second) {
            std::cout << arr[i].first << " ";
        }
    }

    delete[] arr;
    return 0;
}

3. 使用容器存储已初始化元素（更简洁） #

如果不需要保留未初始化的位置，直接用std::map或std::unordered_map存储已初始化的索引和值，遍历容器即可输出：

#include <iostream>
#include <unordered_map>

int main() {
    std::unordered_map<int, int> initializedElements;

    initializedElements[0] = 1;
    initializedElements[2] = 3;

    for (const auto& entry : initializedElements) {
        std::cout << entry.second << " ";
    }

    return 0;
}

注意事项 #

• 原代码中的arr.size()是错误的：int*是指针类型，没有size()成员函数，必须手动维护数组长度（比如用常量或变量存储）。
• 动态分配的内存记得用delete[]释放，避免内存泄漏。

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