C++中智能指针能管理数组吗？探讨unique_ptr数组特化

c++中智能指针可以管理数组，但需注意不同指针的使用方式。1. unique_ptr支持数组特化，使用unique_ptr可自动调用delete[]释放内存，是管理动态数组的首选；2. shared_ptr默认析构调用delete而非delete[]，需提供自定义删除器方可安全管理数组；3. 使用shared_ptr管理数组时不能直接用operator[]访问元素，必须通过get()获取原始指针；4. 风险包括忘记设置删除器、降低代码可读性及性能开销；5. 可通过编写工厂函数统一创建shared_ptr或考虑使用std::vector避免错误。

C++中，智能指针是可以管理数组的，但需要特别注意。unique_ptr可以通过数组特化来管理动态分配的数组，而shared_ptr则需要一些技巧才能安全地管理数组。

解决方案

unique_ptr是管理动态数组的首选智能指针，因为它提供了数组特化版本。这意味着你可以使用unique_ptr来管理new T[]分配的内存，并在unique_ptr析构时自动调用delete[]释放内存。

例如：

立即学习“C++免费学习笔记（深入）”；

#include 
#include 

int main() {
    // 使用 unique_ptr 管理动态分配的 int 数组
    std::unique_ptr arr(new int[10]);

    // 初始化数组
    for (int i = 0; i < 10; ++i) {
        arr[i] = i * 2;
    }

    // 访问数组元素
    for (int i = 0; i < 10; ++i) {
        std::cout << arr[i] << " ";
    }
    std::cout << std::endl;

    // 当 arr 超出作用域时，会自动调用 delete[] 释放内存
    return 0;
}

shared_ptr默认情况下不提供数组特化，如果直接用shared_ptr管理数组，在析构时会调用delete而不是delete[]，这会导致未定义行为。要让shared_ptr安全地管理数组，你需要提供一个自定义的删除器：

Manus

全球首款通用型AI Agent，可以将你的想法转化为行动。

下载

#include 
#include 

int main() {
    // 使用 shared_ptr 管理动态分配的 int 数组，并提供自定义删除器
    std::shared_ptr arr(new int[10], [](int* p){ delete[] p; });

    // 初始化数组
    for (int i = 0; i < 10; ++i) {
        arr.get()[i] = i * 2; // 注意这里要用 get() 获取原始指针
    }

    // 访问数组元素
    for (int i = 0; i < 10; ++i) {
        std::cout << arr.get()[i] << " ";
    }
    std::cout << std::endl;

    // 当 arr 超出作用域时，会自动调用 delete[] 释放内存
    return 0;
}

需要注意的是，使用shared_ptr管理数组时，不能使用operator[]访问数组元素，必须通过get()获取原始指针，然后才能使用[]访问。

为什么优先选择 unique_ptr 管理数组？

unique_ptr的设计目标是独占资源的所有权，它更轻量级，没有引用计数的开销。对于数组，通常我们希望只有一个所有者，因此unique_ptr更符合这种场景。此外，unique_ptr对数组提供了原生支持，使用起来更安全、更方便，避免了手动编写删除器的麻烦。

shared_ptr 管理数组有什么潜在风险？

虽然可以通过自定义删除器让shared_ptr管理数组，但这种方式存在一些潜在风险：

• 忘记提供自定义删除器： 如果不小心忘记提供自定义删除器，shared_ptr在析构时会调用delete，导致内存泄漏或程序崩溃。
• 代码可读性降低： 使用自定义删除器会增加代码的复杂性，降低可读性。
• 性能开销： shared_ptr需要维护引用计数，这会带来一定的性能开销。

因此，除非有特殊需求（例如，需要在多个地方共享数组的所有权），否则应优先选择unique_ptr管理数组。

如何避免 shared_ptr 管理数组时的错误？

为了避免shared_ptr管理数组时的错误，可以采取以下措施：

• 始终提供自定义删除器： 确保在使用shared_ptr管理数组时，始终提供自定义删除器，并仔细检查删除器的实现是否正确。
• 使用工厂函数： 可以编写一个工厂函数来创建shared_ptr，并在工厂函数中设置自定义删除器，这样可以避免在每次创建shared_ptr时都手动设置删除器。
• 考虑使用 std::vector： 如果数组的大小在运行时才知道，并且需要在多个地方共享数组的所有权，可以考虑使用std::vector。std::vector会自动管理内存，并且提供了方便的数组访问方式。