OpenHarmony中的HDF单链表及其迭代器

概念

为了性能考虑,嵌入式系统一般使用C语言进行开发,由于C语言标准库没有封装链表,所以嵌入式系统一般自己设计和实现链表这种数据结构。单链表是链表中的一种,本文描述OpenAtom OpenHarmony(以下简称“OpenHarmony”)中HDF软件模块自己定义的单链表,并学习其设计和实现方法。其中包含一些技巧,可以提高读者的软件开发能力。

 

单链表定义

在OpenHarmony的HDF软件模块中,单链表定义在hdf_slist.h中。

 

struct HdfSListNode {
    struct HdfSListNode *next; // next element in list, or NULL
};

其示意图如下:

 

 

如上图所述,每个节点都是HdfSListNode,上图共有5个节点,每个节点内部有一个next成员,其值为下一个节点在内存中的地址。由于可以通过这个地址找到下一个节点,所以在图里面用红色右箭头来描述这个关系。整体来看,从1号节点可以通过next成员依次找到后面4个节点,从图形看,就是一个逻辑上的链关系,我们把这种结构称为链表。

单独看5号节点,5号节点没有下一个节点,所以设计上是需要给一个特定的值来表示,实现上一般把5号节点的next成员填成0值,表明其为最末尾的节点。

接下来我们看下面这个数据结构:

 

struct HdfSList {
    struct HdfSListNode *root;
};
 

  

其示意图如下:

 

 

如上图所示,圆角矩形表示的是HdfSList,其root成员记录了链表中某节点的地址,为了访问整个链表,需要将root成员的值设置成第1个节点的地址。因为单链表只支持往一个方向查找,不支持往回查找,如上面的错误范例。如果root记录的是第二个节点地址,则第一个节点变得不可访问。

 

迭代器简介

迭代器是伴随集合概念产生的,意思是依次访问集合中的每一个元素,迭代器提供访问这些元素的方法。对于单链表而言,链表中的每一个节点都是一个元素,所有的节点组成集合。所以可以通过迭代器来访问链表中的元素。

迭代器需要提供的基本能力以及操作范式是:

 

初始化迭代器
重复判断(集合中还有未被访问的元素)
     获取下一个元素的访问方法
     读写下一个元素(也可能是删除这个元素)
结束
 

  

上述范式展示了迭代器的用法,通过迭代器,遍历元素变得简单直接(将遍历算法封装在迭代器中),不用每次迭代都考虑数据结构细节(数据结构种类繁多,单链表只是其中之一)。

对于本文描述的单链表,其封装了下面3个函数来支持迭代算法。这3个函数分别表示迭代器对象的初始化;集合中是否还有元素没有参与迭代;取出集合中下一个可以参与迭代的元素。

 

/* * @brief initialize iterator * * @param[in] iterator the point of iterator. * @param[in] list the point of operation list. * * @return None */
void HdfSListIteratorInit(struct HdfSListIterator *iterator, struct HdfSList *list);

/* * @brief check whether list has next node. * * @param[in] iterator the point of iterator. * * @return the result of check next. */
bool HdfSListIteratorHasNext(struct HdfSListIterator *iterator);

/* * @brief get next link in the list and move iterator to next. * * @param[in] iterator the point of iterator. * * @return point to next element of it. */
struct HdfSListNode *HdfSListIteratorNext(struct HdfSListIterator *iterator);
 

  

 

迭代器实现考虑

对于本文所描述的单链表迭代器。直观上看,除了第一个节点,其它节点都可以通过next访问到,第一个节点通过root访问到。那实际上会不会就是这么简单呢?其实不然,因为需要考虑到节点删除的因素。如下图,在链表迭代过程中,如果删除了当前节点,那么怎么找到下一个节点呢?

 

 

如上图所示,当在遍历过程中删除了curr节点时,那么通过它找到下一个节点是不可能了。所以这个时候我们必须借助操作curr之前还在链表上的上一个节点,即上图的prev节点,通过其next成员,找到需要迭代处理的下一个节点。所以,迭代过程中需要记录prev、curr这2个节点的位置信息。迭代过程实际就是调整prev和curr的过程,对于不删除的情况,prev和curr依次向后移动,删除操作时,只移动curr。

另外,对于第1个节点的情况需要特殊处理,所以需要一个额外的信息来表示是不是迭代第1个元素,因为本文描述的迭代器对象含有3个信息。如下代码所示:

 

struct HdfSListIterator {
    int stepOnNext;     //是否即将开始遍历第二个以及之后的元素
    struct HdfSListNode *prev; // points to the item before the current one 当前被操作元素的前一个元素
    struct HdfSListNode *curr; // points to the current item (to detect item removal) 当前被操作的元素,可能刚操作完,被移除链表
};
 

  

上述代码中prev和curr的作用已经在前面详细描述,而stepOnNext的意思就是是否已经开始取第二个元素。即将第一个元素的获取算法与第二个元素分开。

 

结论

在嵌入式开发中,在学习数据结构课程中,在进行OpenHarmony项目开发中,单链表都是很重要的,而本文只是其中一个软件模块的单链表实现。通过对单链表的实现的图示分析,特别是迭代器惯用法的分析,相信读者对单链表以及迭代器的认识都会进一步提升,更详尽的代码分析和阅读留给读者自己进行,请参考如下代码文件:

https://gitee.com/openharmony/drivers_hdf_core/blob/master/framework/utils/include/hdf_slist.h

https://gitee.com/openharmony/drivers_hdf_core/blob/master/framework/utils/src/hdf_slist.c

 

 

posted on 2022-09-05 11:26  OpenHarmony开发者  阅读(40)  评论(0编辑  收藏  举报