C++函数的黑暗面：智能指针的使用技巧有哪些

C++的智能指针是RAII思想在内存管理领域的典型实现，它将裸指针的生存期与对象绑定，自动完成内存的释放工作，大幅降低了手动管理内存带来的风险。不过智能指针的使用存在不少容易被忽略的细节，尤其是在函数场景中，错误的用法反而会引发新的问题。

常见智能指针类型及基础特性

C++标准库提供了三种核心智能指针，各自有不同的适用场景，开发者需要根据需求选择合适的类型。

unique_ptr：独占所有权的智能指针

unique_ptr独占所指向对象的所有权，不支持拷贝构造和拷贝赋值，只能通过移动语义转移所有权，适合管理生命周期明确的独占资源。

在函数参数传递中，如果需要传递unique_ptr，通常需要使用移动语义，避免尝试拷贝导致的编译错误：

#include <memory>
#include <iostream>

// 接收unique_ptr的函数，使用右值引用接收移动后的指针
void process_unique(std::unique_ptr<int>&& ptr) {
    if (ptr) {
        std::cout << "process unique ptr value: " << *ptr << std::endl;
    }
}

int main() {
    std::unique_ptr<int> u_ptr = std::make_unique<int>(10);
    // 转移所有权给函数，之后u_ptr不再持有资源
    process_unique(std::move(u_ptr));
    // 此时u_ptr为空，访问会触发未定义行为
    return 0;
}

shared_ptr：共享所有权的智能指针

shared_ptr通过引用计数管理资源，多个shared_ptr可以指向同一个对象，当最后一个指向该对象的shared_ptr销毁时，资源才会被释放。适合多个模块需要共享同一份资源的场景。

函数返回shared_ptr是非常安全的做法，不会额外增加引用计数的开销：

#include <memory>
#include <iostream>

// 返回shared_ptr的函数
std::shared_ptr<int> create_shared(int value) {
    // 推荐使用make_shared创建，效率更高且更安全
    return std::make_shared<int>(value);
}

int main() {
    std::shared_ptr<int> s_ptr = create_shared(20);
    std::cout << "shared ptr value: " << *s_ptr << std::endl;
    return 0;
}

weak_ptr：弱引用智能指针

weak_ptr是对shared_ptr管理的资源的一种弱引用，不会增加引用计数，主要用于解决shared_ptr的循环引用问题。

函数场景下的智能指针使用技巧

函数参数传递的正确方式

在函数参数中传递智能指针时，需要根据需求选择传递方式：

• 如果函数只需要临时使用资源，不需要长期持有，建议传递裸指针或者裸指针的引用，避免不必要的引用计数增减开销。
• 如果函数需要共享资源的所有权，传递shared_ptr的const引用，避免拷贝带来的引用计数修改。
• 如果函数需要接管unique_ptr的所有权，传递右值引用，通过std::move转移所有权。

以下是不同传递方式的示例：

#include <memory>
#include <iostream>

// 传递裸指针，不持有所有权，仅临时使用
void use_resource(int* ptr) {
    if (ptr) {
        std::cout << "use resource: " << *ptr << std::endl;
    }
}

// 传递shared_ptr的const引用，避免拷贝
void share_resource(const std::shared_ptr<int>& ptr) {
    if (ptr) {
        std::cout << "share resource: " << *ptr << std::endl;
    }
}

int main() {
    auto s_ptr = std::make_shared<int>(30);
    // 传递裸指针，无额外开销
    use_resource(s_ptr.get());
    // 传递const引用，无引用计数修改
    share_resource(s_ptr);
    return 0;
}

避免循环引用的技巧

当两个对象互相持有对方的shared_ptr时，会形成循环引用，导致引用计数永远无法降为0，引发内存泄漏。此时需要将其中一个持有改为weak_ptr。

以下是循环引用问题及解决方案的示例：

#include <memory>
#include <iostream>

class B; // 前向声明

class A {
public:
    // 持有B的shared_ptr，形成循环引用
    // std::shared_ptr<B> b_ptr;
    // 改为weak_ptr，打破循环
    std::weak_ptr<B> b_ptr;
    ~A() {
        std::cout << "A destroyed" << std::endl;
    }
};

class B {
public:
    std::shared_ptr<A> a_ptr;
    ~B() {
        std::cout << "B destroyed" << std::endl;
    }
};

int main() {
    auto a = std::make_shared<A>();
    auto b = std::make_shared<B>();
    a->b_ptr = b;
    b->a_ptr = a;
    // 此时离开作用域，A和B都能正确销毁
    return 0;
}

自定义删除器的使用技巧

智能指针默认使用delete释放资源，对于需要特殊释放逻辑的资源（如文件句柄、网络套接字、malloc分配的内存），可以自定义删除器。

自定义删除器可以作为函数对象传递给智能指针的构造函数：

#include <memory>
#include <iostream>
#include <cstdlib>

// 自定义删除器，处理malloc分配的内存
struct FreeDeleter {
    void operator()(void* ptr) const {
        std::cout << "free malloc memory" << std::endl;
        free(ptr);
    }
};

int main() {
    // 使用自定义删除器管理malloc的内存
    std::unique_ptr<int, FreeDeleter> malloc_ptr(static_cast<int*>(malloc(sizeof(int))));
    if (malloc_ptr) {
        *malloc_ptr = 100;
        std::cout << "malloc value: " << *malloc_ptr << std::endl;
    }
    return 0;
}

常见使用误区及规避方法

很多开发者在使用智能指针时会犯一些典型错误，需要特别注意：

• 不要将同一个裸指针交给多个独立初始化的shared_ptr管理，会导致重复释放的问题。
• 不要使用get()方法获取裸指针后手动释放资源，会破坏智能指针的生命周期管理。
• 避免在函数的返回值中返回栈上对象的shared_ptr，会导致悬空指针。
• 优先使用make_shared和make_unique创建智能指针，比直接new后构造更安全，也能减少一次内存分配。

以下是重复释放错误的示例及正确写法：

#include <memory>
#include <iostream>

int main() {
    // 错误写法：同一个裸指针初始化两个shared_ptr
    // int* raw_ptr = new int(50);
    // std::shared_ptr<int> p1(raw_ptr);
    // std::shared_ptr<int> p2(raw_ptr); // 会导致重复释放

    // 正确写法：通过第一个shared_ptr拷贝构造第二个
    auto p1 = std::make_shared<int>(50);
    auto p2 = p1; // 引用计数增加，不会重复释放
    std::cout << "p1 count: " << p1.use_count() << std::endl;
    std::cout << "p2 count: " << p2.use_count() << std::endl;
    return 0;
}

掌握智能指针的这些使用技巧，能够让开发者在C++函数开发中更安全地管理内存，减少内存相关的问题，提升代码的健壮性和可维护性。

C++智能指针shared_ptrunique_ptrweak_ptr修改时间：2026-06-24 16:12:33