OpenHarmony使用智能指针管理动态分配内存对象

概述

智能指针是行为类似指针的类，在模拟指针功能的同时提供增强特性，如针对具有动态分配内存对象的自动内存管理等。

自动内存管理主要是指对超出生命周期的对象正确并自动地释放其内存空间，以避免出现内存泄漏等相关内存问题。
智能指针对每一个RefBase对象具有两种不同的引用形式。强引用持有对一个对象的直接引用。具有强引用关系的对象在该强引用关系存在时同样也应当存在，也即该引用关系有效；弱引用持有对一个对象的间接引用。具有弱引用关系的对象在该弱引用关系存在时并不保证存在。

注意：上述描述仅当正确使用智能指针时才成立。

实现原理

智能指针通过引用计数来实现所指向对象内存的自动管理。每一个可以被智能指针管理的对象都持有一个引用计数器，引用计数器在相关引用计数清0时会调用一个用于销毁该对象的回调函数。
引用计数器记录了对应RefBase对象的两种不同引用计数值，以及对于其本身，即RefCounter对象的引用计数值。

涉及功能

OHOS::sptr

模块: SmartPointer

指向RefBase(或其子类)对象的强引用智能指针。

具体描述

template <typename T >
class OHOS::sptr;

指向RefBase(或其子类)对象的强引用智能指针。

模板参数:

T 被sptr管理的具体类型。该类必须继承自RefBase基类。

其直接引用RefBase对象。

#include <refbase.h>

接口说明

OHOS::wptr

模块: SmartPointer

指向RefBase(或其子类)对象的弱引用智能指针。

具体描述

template <typename T >
class OHOS::wptr;

指向RefBase(或其子类)对象的弱引用智能指针。

模板参数:

T 被wptr管理的具体类型。该类必须继承自RefBase基类。

其间接引用RefBase对象；直接引用WeakRefCounter对象。

#include <refbase.h>

接口说明

使用示例

使用方法(伪代码)

#include "../include/refbase.h"
#include <iostream>using namespace std;
using namespace OHOS;// 管理目标类
class RefBaseTest : public RefBase {
public:virtual void Access(){cout<<"Access RefBaseTest::Show"<<endl;}~RefBaseTest() override{cout << "RefBaseTest destroyed" << endl;}
};// 管理目标类的子类
class SubRefBaseTest : public RefBaseTest {
public:void Access() override{cout<<"Access SubRefBaseTest::Show"<<endl;}~SubRefBaseTest() override{cout << "SubRefBaseTest destroyed" << endl;}
};int main()
{// 1. 使用新创建智能指针，管理新创建对象sptr<RefBaseTest> newSptr(new RefBaseTest());wptr<RefBaseTest> newWptr(new RefBaseTest());// 2. 使用上述智能指针，管理另一个新创建对象// 原管理对象析构newSptr = new RefBaseTest();newWptr = new RefBaseTest();// 3. 使用新创建智能指针，指向其他现存智能指针管理对象sptr<RefBaseTest> curSptr(newSptr);wptr<RefBaseTest> curWptr(newWptr);if (curSptr->GetSptrRefCount() == 2 && curSptr->GetWptrRefCount() == 2 && // 2: countcurWptr->GetWptrRefCount() == 1) {cout << "curSptr run as expected" << endl;}// 4. 使用现存智能指针管理其托管类型的子类对象sptr<SubRefBaseTest> subSptr(new SubRefBaseTest());wptr<SubRefBaseTest> subWptr(new SubRefBaseTest());curSptr = subSptr;curWptr = subWptr;// 5. 通过->运算符访问成员"curSptr->Access();curWptr->Access();// 6. 通过*运算符解引用(*curSptr).Access();(*curSptr).Access();// 7. 两种智能指针可以管理对方所管理的对象sptr<RefBaseTest> scurSptr(new RefBaseTest);wptr<RefBaseTest> scurWptr(new RefBaseTest);wptr<RefBaseTest> snewWptr(scurSptr);sptr<RefBaseTest> soldSptr(new RefBaseTest);wptr<RefBaseTest> soldWptr(new RefBaseTest);soldSptr = scurWptr; // sptr仅可通过拷贝赋值管理wptr所管理对象soldWptr = scurSptr; // 原本的引用关系将被释放if (snewWptr->GetWptrRefCount() == 3 && soldSptr->GetSptrRefCount() == 1 && // 3: countsoldWptr->GetWptrRefCount() == 3) { // 3: countcout << "Smart Pointer assignment run as expected" << endl;}// 8. wptr可升级为sptrsptr<RefBaseTest> spromotedWptr = snewWptr.promote(); // 升级失败时返回空sptr对象，即未管理具体对象的sptr对象if (spromotedWptr->GetSptrRefCount() == 2 && spromotedWptr->GetWptrRefCount() == 4) { // 2, 4: countcout << "Promote run as expected" << endl;}return 0;
}

测试用例编译运行方法

测试用例代码参见 base/test/unittest/common/utils_refbase_test.cpp
使用开发者自测试框架，使用方法参见：开发自测试执行框架-测试用例执行
使用以下具体命令以运行refbase.h对应测试用例

run -t UT -tp utils -ts UtilsRefBaseTest

debug功能 RefTracker作为debug工具被添加入refbase文件中，以便开发者对RefBase相关问题进行定位。该功能需要重新编译动态库替换系统原有动态库来上机使用（如是静态依赖则需开发者独立审视使能方法）。

全局追踪

全局追踪功能通过编译宏控制，可以追踪全局的RefBase及其子类的轨迹，但同时会对整机性能造成影响。全局追踪中我们提供了立即打印模式及非立即打印模式。立即打印模式会在每次引用计数发生变化时对计数进行打印。非立即打印模式会在RefBase及其子类对象析构时对轨迹进行打印。

全局追踪、立即打印编译命令：

./build.sh --product-name xxx --ccache --build-target commonlibrary/c_utils/base:utils --gn-args c_utils_debug_refbase=true --gn-args c_utils_track_all=true --gn-args c_utils_print_track_at_once=true

全局追踪、非立即打印编译命令：

./build.sh --product-name xxx --ccache --build-target commonlibrary/c_utils/base:utils --gn-args c_utils_debug_refbase=true --gn-args c_utils_track_all=true

独立追踪

独立追踪功能同样能通过编译宏控制。我们为开发者提供了RefBase::EnableTracker()接口来对某个具体实例使能追踪功能。独立追踪对性能影响很小，可以忽略不计。在独立追踪中我们能同样提供了立即打印及非立即打印模式。

独立追踪、立即打印编译命令：

./build.sh --product-name xxx --ccache --build-target commonlibrary/c_utils/base:utils --gn-args c_utils_debug_refbase=true --gn-args c_utils_print_track_at_once=true

独立追踪、非立即打印编译命令：

./build.sh --product-name xxx --ccache --build-target commonlibrary/c_utils/base:utils --gn-args c_utils_debug_refbase=true

使用方法

编译动态库，编译产物路径为./out/xxx/commonlibrary/c_utils/libutils.z.so。

编译产物需要推入系统进行替换，64位系统位于/system/lib64/，32位系统位于/system/lib/。

追踪结果通过log打印。格式如下：

// 立即打印
(sptr pointer) start tracking
(sptr pointer) call (RefBase pointer). strong: x weak: x refcnnt: x
...
(sptr pointer) call (RefBase pointer). strong: x weak: x refcnnt: x
(sptr pointer) end tracking// 非立即打印
(sptr pointer) start backtrace
(sptr pointer) call (RefBase pointer). strong: x weak: x refcnnt: x PID: xxx TID: xxx
...
(sptr pointer) call (RefBase pointer). strong: x weak: x refcnnt: x PID: xxx TID: xxx
(sptr pointer) end backtrace

常见问题

使用本实现智能指针时，同时使用裸指针或std标准库智能指针(std::shared_ptr)
- 会造成管理冲突，导致非法访问以及未定义行为，如内存重复释放。
  - 因此也不推荐先创建裸指针后，再使用智能指针管理。

RefBase* a = new RefBase();
sptr<RefBase> s = a;
// 或
sptr<RefBase> s(a); // 裸指针a容易被误delete,造成sptr功能失常

智能指针需构造在栈上，管理的对象需要在堆上(动态分配对象)
- 智能指针若构造在堆上则不符合定义。
- 管理对象若构造在栈上，则会自动释放，错误绕开智能指针管控。
智能指针不保证线程安全，使用者需保证线程安全以避免同时对同一个sptr对象赋值等操作
避免通过隐式转换构造智能指针对象
- 易造成误解。
- 因编译器优化程度具有不确定的行为，易造成问题。
不建议使用对象指针构造智能指针对象
- 外部提前以指针形式释放对象后，继续通过智能指针中使用
- sptr引用计数为0释放对象，对象指针依旧在外被继续使用

Refbase *a = new Refbase(arg1, arg2);
sptr<Refbase> sp1 = a; // 不建议，对象指针a暴露在外，存在风险
sptr<Refbase> sp2(a); // 不建议，对象指针a暴露在外，存在风险
sptr<Refbase> sp3 = sptr<Refbase>::MakeSptr(arg1, arg2); // 建议，在内部构造Refbase对象，直接交与sptr管控使用

wptr使用注意
- 在未设置ExtendObjectLifetime的情况下，wptr不参与被管理对象的生命周期控制，对象生命周期由sptr的引用计数控制，但在极特殊情况下存在例外

// 由于历史设计原因，可以在sptr不存在的情况下，基于对象指针创建wptr对象。
// 在未设置ExtendObjectLifetime，且无sptr被创建的特殊少见情况下，为了防止内存泄漏，在wptr引用计数归0时会释放管理对象
Refbase *a = new Refbase(arg1, arg2);
wptr<Refbase> wp1(a);
wp1 = nullptr; // 弱引用计数归0，对象释放，应避免再次手动释放wptr<Refbase> wp2 = new Refbase(arg1, arg2);
wp2 = nullptr; // 弱引用计数归0，对象释放，这种情况无法手动释放, 如果wptr不能控制对象释放则必然会发生内存泄漏

为了能让大家更好的学习鸿蒙（HarmonyOS NEXT）开发技术，这边特意整理了《鸿蒙开发学习手册》（共计890页），希望对大家有所帮助：https://qr21.cn/FV7h05