OpenHarmony 实战开发——智能指针管理动态分配内存对象

本文主要是介绍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>

接口说明

使用示例

  1. 使用方法(伪代码)
#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;
}
  1. 测试用例编译运行方法
  • 测试用例代码参见 base/test/unittest/common/utils_refbase_test.cpp

  • 使用开发者自测试框架,使用方法参见: 开发自测试执行框架-测试用例执行

  • 使用以下具体命令以运行refbase.h对应测试用例

run -t UT -tp utils -ts UtilsRefBaseTest
  1. 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

常见问题

  1. 使用本实现智能指针时,同时使用裸指针或std标准库智能指针(std::shared_ptr)

    • 会造成管理冲突,导致非法访问以及未定义行为,如内存重复释放。
      • 因此也不推荐先创建裸指针后,再使用智能指针管理。
RefBase* a = new RefBase();
sptr<RefBase> s = a;
// 或
sptr<RefBase> s(a); // 裸指针a容易被误delete,造成sptr功能失常
  1. 智能指针需构造在栈上,管理的对象需要在堆上(动态分配对象)

    • 智能指针若构造在堆上则不符合定义。
    • 管理对象若构造在栈上,则会自动释放,错误绕开智能指针管控。
  2. 智能指针不保证线程安全,使用者需保证线程安全以避免同时对同一个sptr对象赋值等操作

  3. 避免通过隐式转换构造智能指针对象

    • 易造成误解。
    • 因编译器优化程度具有不确定的行为,易造成问题。
  4. 不建议使用对象指针构造智能指针对象

    • 外部提前以指针形式释放对象后,继续通过智能指针中使用
    • 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管控使用
  1. 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不能控制对象释放则必然会发生内存泄漏

写在最后

  • 如果你觉得这篇内容对你还蛮有帮助,我想邀请你帮我三个小忙:
  • 点赞,转发,有你们的 『点赞和评论』,才是我创造的动力。
  • 关注小编,同时可以期待后续文章ing🚀,不定期分享原创知识。
  • 想要获取更多完整鸿蒙最新学习资源,请移步前往小编:https://gitee.com/MNxiaona/733GH

这篇关于OpenHarmony 实战开发——智能指针管理动态分配内存对象的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/951566

相关文章

HTML5中的Microdata与历史记录管理详解

《HTML5中的Microdata与历史记录管理详解》Microdata作为HTML5新增的一个特性,它允许开发者在HTML文档中添加更多的语义信息,以便于搜索引擎和浏览器更好地理解页面内容,本文将探... 目录html5中的Mijscrodata与历史记录管理背景简介html5中的Microdata使用M

Spring 基于XML配置 bean管理 Bean-IOC的方法

《Spring基于XML配置bean管理Bean-IOC的方法》:本文主要介绍Spring基于XML配置bean管理Bean-IOC的方法,本文给大家介绍的非常详细,对大家的学习或工作具有一... 目录一. spring学习的核心内容二. 基于 XML 配置 bean1. 通过类型来获取 bean2. 通过

Python实现word文档内容智能提取以及合成

《Python实现word文档内容智能提取以及合成》这篇文章主要为大家详细介绍了如何使用Python实现从10个左右的docx文档中抽取内容,再调整语言风格后生成新的文档,感兴趣的小伙伴可以了解一下... 目录核心思路技术路径实现步骤阶段一:准备工作阶段二:内容提取 (python 脚本)阶段三:语言风格调

Python列表去重的4种核心方法与实战指南详解

《Python列表去重的4种核心方法与实战指南详解》在Python开发中,处理列表数据时经常需要去除重复元素,本文将详细介绍4种最实用的列表去重方法,有需要的小伙伴可以根据自己的需要进行选择... 目录方法1:集合(set)去重法(最快速)方法2:顺序遍历法(保持顺序)方法3:副本删除法(原地修改)方法4:

Python中判断对象是否为空的方法

《Python中判断对象是否为空的方法》在Python开发中,判断对象是否为“空”是高频操作,但看似简单的需求却暗藏玄机,从None到空容器,从零值到自定义对象的“假值”状态,不同场景下的“空”需要精... 目录一、python中的“空”值体系二、精准判定方法对比三、常见误区解析四、进阶处理技巧五、性能优化

go 指针接收者和值接收者的区别小结

《go指针接收者和值接收者的区别小结》在Go语言中,值接收者和指针接收者是方法定义中的两种接收者类型,本文主要介绍了go指针接收者和值接收者的区别小结,文中通过示例代码介绍的非常详细,需要的朋友们下... 目录go 指针接收者和值接收者的区别易错点辨析go 指针接收者和值接收者的区别指针接收者和值接收者的

在Spring Boot中浅尝内存泄漏的实战记录

《在SpringBoot中浅尝内存泄漏的实战记录》本文给大家分享在SpringBoot中浅尝内存泄漏的实战记录,结合实例代码给大家介绍的非常详细,感兴趣的朋友一起看看吧... 目录使用静态集合持有对象引用,阻止GC回收关键点:可执行代码:验证:1,运行程序(启动时添加JVM参数限制堆大小):2,访问 htt

python uv包管理小结

《pythonuv包管理小结》uv是一个高性能的Python包管理工具,它不仅能够高效地处理包管理和依赖解析,还提供了对Python版本管理的支持,本文主要介绍了pythonuv包管理小结,具有一... 目录安装 uv使用 uv 管理 python 版本安装指定版本的 Python查看已安装的 Python

使用Python开发一个带EPUB转换功能的Markdown编辑器

《使用Python开发一个带EPUB转换功能的Markdown编辑器》Markdown因其简单易用和强大的格式支持,成为了写作者、开发者及内容创作者的首选格式,本文将通过Python开发一个Markd... 目录应用概览代码结构与核心组件1. 初始化与布局 (__init__)2. 工具栏 (setup_t

Spring Shell 命令行实现交互式Shell应用开发

《SpringShell命令行实现交互式Shell应用开发》本文主要介绍了SpringShell命令行实现交互式Shell应用开发,能够帮助开发者快速构建功能丰富的命令行应用程序,具有一定的参考价... 目录引言一、Spring Shell概述二、创建命令类三、命令参数处理四、命令分组与帮助系统五、自定义S