转自 http://blog.csdn.net/feixiaoxing/article/details/6846664
我们知道,在内存中的空间都是连续的。也就是说,0x00000001下面的地址必然是0x00000002。所以,空间上是不会出现地址的突变的。那什么数据结构类型是连续内部空间呢,其实就是数组,当然也可以是堆。数组有很多优势,它可以在一段连续空间内保存相同类型的数据,并且对这些数据进行管理。所以从这个意义上说,掌握了数组才能说明你数据结构入门了。
那么,在实际开发中,我们对线性结构应该注意些什么呢?我个人的观点:
(1)数组的资源是有限的,必须确定资源的范围
(2)数组中资源的申请和释放必须一一对应,否则很容易造成资源泄漏的现象h
(3)数组中的注意事项同样应用于堆分配的连续内存资源空间中
下面是自己设计的一个int分配的小程序,大家可以一起尝试一下:
a)设计内存节点的数据形式
[cpp] view plain copy
- typedef struct _DATA_NODE
- {
- int* pData;
- char* pFlag;
- int num;
- }DATA_NODE;
- #define STATUS int
- #define TRUE 1
- #define FALSE 0
b)创建内存节点
[cpp] view plain copy
- DATA_NODE* malloc_node(int number)
- {
- DATA_NODE* pDataNode = NULL;
- if(0 == number)
- return NULL;
- pDataNode = (DATA_NODE*) malloc(sizeof(DATA_NODE));
- assert(NULL != pDataNode);
- memset(pDataNode, 0, sizeof(DATA_NODE));
- pDataNode->pData = (int*)malloc(sizeof(int) * number);
- if(NULL == pDataNode->pData){
- free(pDataNode);
- return NULL;
- }
- pDataNode->pFlag = (char*) malloc( (number + 7) >> 3);
- if(NULL == pDataNode->pFlag){
- free(pDataNode->pData);
- free(pDataNode);
- return NULL;
- }
- memset(pDataNode->pData, 0, sizeof(int) * number);
- memset(pDataNode->pFlag, 0, (number + 7) >> 3);
- pDataNode->num = number;
- return pDataNode;
- }
c) 删除内存节点
[cpp] view plain copy
- STATUS free_node(const DATA_NODE* pDataNode)
- {
- if(NULL == pDataNode)
- return FALSE;
- assert(NULL != pDataNode ->pData);
- assert(NULL != pDataNode-> pFlag);
- assert(0 != pDataNode);
- free(pDataNode->pFlag);
- free(pDataNode->pData);
- free((void*)pDataNode);
- return TRUE;
- }
d)判断当前是否还有内存可以分配
[cpp] view plain copy
- int check_if_data_exist(const DATA_NODE* pDataNode)
- {
- int number = pDataNode->num;
- char* pFlag = pDataNode->pFlag;
- unsigned char flag = 0;
- int loop = 1;
- while(loop <= number){
- flag = pFlag[(loop + 7) >> 3 - 1] & (0x1 << ((loop + 7) % 8));
- if(0 != flag){
- return loop;
- }
- loop ++;
- }
- return -1;
- }
e) 分配内存空间
[cpp] view plain copy
- int* alloca_data(const DATA_NODE* pDataNode)
- {
- int* pData = NULL;
- int pos;
- if(NULL == pDataNode)
- return NULL;
- if(-1 == (pos = check_if_data_exist(pDataNode)))
- return NULL;
- pDataNode->pFlag[(pos + 7) >> 3 - 1] |= 0x1 << ((pos + 7)% 8);
- return pDataNode->pData + (pos - 1);
- }
f)回收内存空间
[cpp] view plain copy
- STATUS free_data(const DATA_NODE* pDataNode, const int* pData)
- {
- int pos = 0;
- if(NULL == pDataNode || NULL == pData)
- return FALSE;
- if(pData < pDataNode->pData || pData > (pDataNode->pData + pDataNode->num))
- return FALSE;
- pos = (pData - pDataNode->pData) >> 3;
- pDataNode->pFlag[(pos + 7) -1] &= ~(0x1 << ((pos + 7) % 8));
- return TRUE;
- }
g)统计当前已经分配了多少DWORD空间
[cpp] view plain copy
- int count_free_space(const DATA_NODE* pDataNode)
- {
- int count = 0;
- int loop = 1;
- char flag = 0;
- if(NULL == pDataNode)
- return 0;
- for(; loop <= pDataNode->num; loop++)
- {
- flag = pDataNode->pFlag[(loop + 7) >> 3 - 1] & (0x1 << ((loop + 7) % 8));
- if(0 == flag){
- count ++;
- }
- }
- return count;
- }
上面的代码只是一个示范,大家可以在这个基础之上加以改进,比如说:
(1)修改成可以自由分配很多内存,注意需要同时修改flag的结构类型
(2)修改成先到先得的内存分配类型
(3)修改成最合适空间的内存分配类型
(4)修改成debug类型的内存分配形式,每次分配和释放的时候都检查内存是否越界、是否没有成对运行,注意需要添加对应的判断函数
一步一步写算法(之线性队列)
这里的线性结构实际上指的就是连续内存的意思,只不过使用“线性”这个词显得比较专业而已。前面一篇博客介绍了现象结构的处理方法,那么在这个基础之上我们是不是添加一些属性形成一种新的数据结构类型呢?答案是肯定的,队列便是其中的一种。
队列的性质很简单:
(1)队列有头部和尾部
(2)队列从尾部压入数据
(3)队列从头部弹出数据
那么连续内存下的队列是怎么实现的呢?
a)设计队列数据结构
[cpp] view plain copy
- typedef struct _QUEUE_NODE
- {
- int* pData;
- int length;
- int head ;
- int tail;
- int count;
- }QUEUE_NODE;
b)申请队列内存
[cpp] view plain copy
- QUEUE_NODE* alloca_queue(int number)
- {
- QUEUE_NODE* pQueueNode;
- if( 0 == number)
- return NULL;
- pQueueNode = (QUEUE_NODE*)malloc(sizeof(QUEUE_NODE));
- assert(NULL != pQueueNode);
- memset(pQueueNode, 0, sizeof(QUEUE_NODE));
- pQueueNode->pData = (int*)malloc(sizeof(int) * number);
- if(NULL == pQueueNode->pData){
- free(pQueueNode);
- return NULL;
- }
- pQueueNode->length = number;
- return pQueueNode;
- }
c)释放队列内存
[cpp] view plain copy
- STATUS delete_queue(const QUEUE_NODE* pQueueNode)
- {
- if(NULL == pQueueNode)
- return FALSE;
- assert(NULL != pQueueNode->pData);
- free(pQueueNode->pData);
- free((void*)pQueueNode);
- return TRUE;
- }
d)把数据压入队列
[cpp] view plain copy
- STATUS insert_queue(QUEUE_NODE* pQueueNode, int value)
- {
- if(NULL == pQueueNode)
- return FALSE;
- if(pQueueNode->length == pQueueNode->count)
- return FALSE;
- pQueueNode->pData[pQueueNode->tail] = value;
- pQueueNode->tail = (pQueueNode->tail + 1) % pQueueNode->length;
- pQueueNode->count ++;
- return TRUE;
- }
e)把数据弹出队列
[cpp] view plain copy
- STATUS get_queue_data(QUEUE_NODE* pQueueNode, int* value)
- {
- if(NULL == pQueueNode || NULL == value)
- return FALSE;
- if(0 == pQueueNode->count)
- return FALSE;
- *value = pQueueNode->pData[pQueueNode->head];
- pQueueNode-> pData[pQueueNode->head] = 0;
- pQueueNode-> count --;
- pQueueNode->head = (pQueueNode->head + 1) % pQueueNode->length;
- return TRUE;
- }
f)统计当前队列中有多少数据
[cpp] view plain copy
- int get_total_number(const QUEUE_NODE* pQueueNode)
- {
- if(NULL == pQueueNode)
- return 0;
- return pQueueNode->count;
- }
g)查看队列中初始化的时候总长度是多少
[cpp] view plain copy
- int get_total_number(const QUEUE_NODE* pQueueNode)
- {
- if(NULL == pQueueNode)
- return 0;
- return pQueueNode->length;
- }
一步一步写算法(之线性堆栈)
前面我们讲到了队列,今天我们接着讨论另外一种数据结构:堆栈。堆栈几乎是程序设计的命脉,没有堆栈就没有函数调用,当然也就没有软件设计。那么堆栈有什么特殊的属性呢?其实,堆栈的属性主要表现在下面两个方面:
(1)堆栈的数据是先入后出
(2)堆栈的长度取决于栈顶的高度
那么,作为连续内存类型的堆栈应该怎么设计呢?大家可以自己先试一下:
(1)设计堆栈节点
[cpp] view plain copy
- typedef struct _STACK_NODE
- {
- int* pData;
- int length;
- int top;
- }STACK_NODE;
(2)创建堆栈
[cpp] view plain copy
- STACK_NODE* alloca_stack(int number)
- {
- STACK_NODE* pStackNode = NULL;
- if(0 == number)
- return NULL;
- pStackNode = (STACK_NODE*)malloc(sizeof(STACK_NODE));
- assert(NULL != pStackNode);
- memset(pStackNode, 0, sizeof(STACK_NODE));
- pStackNode->pData = (int*)malloc(sizeof(int) * number);
- if(NULL == pStackNode->pData){
- free(pStackNode);
- return NULL;
- }
- memset(pStackNode->pData, 0, sizeof(int) * number);
- pStackNode-> length = number;
- pStackNode-> top= 0;
- return pStackNode;
- }
(3)释放堆栈
[cpp] view plain copy
- STATUS free_stack(const STACK_NODE* pStackNode)
- {
- if(NULL == pStackNode)
- return FALSE;
- assert(NULL != pStackNode->pData);
- free(pStackNode->pData);
- free((void*)pStackNode);
- return TRUE;
- }
(4)堆栈压入数据
[cpp] view plain copy
- STATUS stack_push(STACK_NODE* pStackNode, int value)
- {
- if(NULL == pStackNode)
- return FALSE;
- if(pStackNode->length == pStackNode->top)
- return FALSE;
- pStackNode->pData[pStackNode->top ++] = value;
- return TRUE;
- }
(5)堆栈弹出数据
[cpp] view plain copy
- STATUS stack_pop(STACK_NODE* pStackNode, int* value)
- {
- if(NULL == pStackNode || NULL == value)
- return FALSE;
- if(0 == pStackNode->top)
- return FALSE;
- *value = pStackNode->pData[-- pStackNode->top];
- return TRUE;
- }
(6)统计当前堆栈中包含多少数据
[cpp] view plain copy
- int count_stack_number(const STACK_NODE* pStackNode)
- {
- return pStackNode->top;
- }
建议: 堆栈是函数调用的基础,是递归调用的基础,是很多问题的根源,建议朋友们平时有时间好好练习一下
一步一步写算法(之单向链表)
有的时候,处于内存中的数据并不是连续的。那么这时候,我们就需要在数据结构中添加一个属性,这个属性会记录下面一个数据的地址。有了这个地址之后,所有的数据就像一条链子一样串起来了,那么这个地址属性就起到了穿线连结的作用。
相比较普通的线性结构,链表结构的优势是什么呢?我们可以总结一下:
(1)单个节点创建非常方便,普通的线性内存通常在创建的时候就需要设定数据的大小
(2)节点的删除非常方便,不需要像线性结构那样移动剩下的数据
(3)节点的访问方便,可以通过循环或者递归的方法访问到任意数据,但是平均的访问效率低于线性表
那么在实际应用中,链表是怎么设计的呢?我们可以以int数据类型作为基础,设计一个简单的int链表:
(1)设计链表的数据结构
[cpp] view plain copy
- typedef struct _LINK_NODE
- {
- int data;
- struct _LINK_NODE* next;
- }LINK_NODE;
(2)创建链表
[cpp] view plain copy
- LINK_NODE* alloca_node(int value)
- {
- LINK_NODE* pLinkNode = NULL;
- pLinkNode = (LINK_NODE*)malloc(sizeof(LINK_NODE));
- pLinkNode->data = value;
- pLinkNode->next = NULL;
- return pLinkNode;
- }
(3)删除链表
[cpp] view plain copy
- void delete_node(LINK_NODE** pNode)
- {
- LINK_NODE** pNext;
- if(NULL == pNode || NULL == *pNode)
- return ;
- pNext = &(*pNode)->next;
- free(*pNode);
- delete_node(pNext);
- }
(4)链表插入数据
[cpp] view plain copy
- STATUS _add_data(LINK_NODE** pNode, LINK_NODE* pDataNode)
- {
- if(NULL == *pNode){
- *pNode = pDataNode;
- return TRUE;
- }
- return _add_data(&(*pNode)->next, pDataNode);
- }
- STATUS add_data(const LINK_NODE** pNode, int value)
- {
- LINK_NODE* pDataNode;
- if(NULL == *pNode)
- return FALSE;
- pDataNode = alloca_node(value);
- assert(NULL != pDataNode);
- return _add_data((LINK_NODE**)pNode, pDataNode);
- }
(5)删除数据
[cpp] view plain copy
- STATUS _delete_data(LINK_NODE** pNode, int value)
- {
- LINK_NODE* pLinkNode;
- if(NULL == (*pNode)->next)
- return FALSE;
- pLinkNode = (*pNode)->next;
- if(value == pLinkNode->data){
- (*pNode)->next = pLinkNode->next;
- free(pLinkNode);
- return TRUE;
- }else{
- return _delete_data(&(*pNode)->next, value);
- }
- }
- STATUS delete_data(LINK_NODE** pNode, int value)
- {
- LINK_NODE* pLinkNode;
- if(NULL == pNode || NULL == *pNode)
- return FALSE;
- if(value == (*pNode)->data){
- pLinkNode = *pNode;
- *pNode = pLinkNode->next;
- free(pLinkNode);
- return TRUE;
- }
- return _delete_data(pNode, value);
- }
(6)查找数据
[cpp] view plain copy
- LINK_NODE* find_data(const LINK_NODE* pLinkNode, int value)
- {
- if(NULL == pLinkNode)
- return NULL;
- if(value == pLinkNode->data)
- return (LINK_NODE*)pLinkNode;
- return find_data(pLinkNode->next, value);
- }
(7)打印数据
[cpp] view plain copy
- void print_node(const LINK_NODE* pLinkNode)
- {
- if(pLinkNode){
- printf("%d\n", pLinkNode->data);
- print_node(pLinkNode->next);
- }
- }
(8)统计数据
[cpp] view plain copy
- int count_node(const LINK_NODE* pLinkNode)
- {
- if(NULL == pLinkNode)
- return 0;
- return 1 + count_node(pLinkNode->next);
- }
一步一步写算法(之双向链表)
前面的博客我们介绍了单向链表。那么我们今天介绍的双向链表,顾名思义,就是数据本身具备了左边和右边的双向指针。双向链表相比较单向链表,主要有下面几个特点:
(1)在数据结构中具有双向指针
(2)插入数据的时候需要考虑前后的方向的操作
(3)同样,删除数据的是有也需要考虑前后方向的操作
那么,一个非循环的双向链表操作应该是怎么样的呢?我们可以自己尝试一下:
(1)定义双向链表的基本结构
[cpp] view plain copy
- typedef struct _DOUBLE_LINK_NODE
- {
- int data;
- struct _DOUBLE_LINK_NODE* prev;
- struct _DOUBLE_LINK_NODE* next;
- }DOUBLE_LINK_NODE;
(2)创建双向链表节点
[cpp] view plain copy
- DOUBLE_LINK_NODE* create_double_link_node(int value)
- {
- DOUBLE_LINK_NODE* pDLinkNode = NULL;
- pDLinkNode = (DOUBLE_LINK_NODE*)malloc(sizeof(DOUBLE_LINK_NODE));
- assert(NULL != pDLinkNode);
- memset(pDLinkNode, 0, sizeof(DOUBLE_LINK_NODE));
- pDLinkNode->data = value;
- return pDLinkNode;
- }
(3)删除双向链表
[cpp] view plain copy
- void delete_all_double_link_node(DOUBLE_LINK_NODE** pDLinkNode)
- {
- DOUBLE_LINK_NODE* pNode;
- if(NULL == *pDLinkNode)
- return ;
- pNode = *pDLinkNode;
- *pDLinkNode = pNode->next;
- free(pNode);
- delete_all_double_link_node(pDLinkNode);
- }
(4)在双向链表中查找数据
[cpp] view plain copy
- DOUBLE_LINK_NODE* find_data_in_double_link(const DOUBLE_LINK_NODE* pDLinkNode, int data)
- {
- DOUBLE_LINK_NODE* pNode = NULL;
- if(NULL == pDLinkNode)
- return NULL;
- pNode = (DOUBLE_LINK_NODE*)pDLinkNode;
- while(NULL != pNode){
- if(data == pNode->data)
- return pNode;
- pNode = pNode ->next;
- }
- return NULL;
- }
(5)双向链表中插入数据
[cpp] view plain copy
- STATUS insert_data_into_double_link(DOUBLE_LINK_NODE** ppDLinkNode, int data)
- {
- DOUBLE_LINK_NODE* pNode;
- DOUBLE_LINK_NODE* pIndex;
- if(NULL == ppDLinkNode)
- return FALSE;
- if(NULL == *ppDLinkNode){
- pNode = create_double_link_node(data);
- assert(NULL != pNode);
- *ppDLinkNode = pNode;
- (*ppDLinkNode)->prev = (*ppDLinkNode)->next = NULL;
- return TRUE;
- }
- if(NULL != find_data_in_double_link(*ppDLinkNode, data))
- return FALSE;
- pNode = create_double_link_node(data);
- assert(NULL != pNode);
- pIndex = *ppDLinkNode;
- while(NULL != pIndex->next)
- pIndex = pIndex->next;
- pNode->prev = pIndex;
- pNode->next = pIndex->next;
- pIndex->next = pNode;
- return TRUE;
- }
(6)双向链表中删除数据
[cpp] view plain copy
- STATUS delete_data_from_double_link(DOUBLE_LINK_NODE** ppDLinkNode, int data)
- {
- DOUBLE_LINK_NODE* pNode;
- if(NULL == ppDLinkNode || NULL == *ppDLinkNode)
- return FALSE;
- pNode = find_data_in_double_link(*ppDLinkNode, data);
- if(NULL == pNode)
- return FALSE;
- if(pNode == *ppDLinkNode){
- if(NULL == (*ppDLinkNode)->next){
- *ppDLinkNode = NULL;
- }else{
- *ppDLinkNode = pNode->next;
- (*ppDLinkNode)->prev = NULL;
- }
- }else{
- if(pNode->next)
- pNode->next->prev = pNode->prev;
- pNode->prev->next = pNode->next;
- }
- free(pNode);
- return TRUE;
- }
(7)统计双向链表中数据的个数
[cpp] view plain copy
- int count_number_in_double_link(const DOUBLE_LINK_NODE* pDLinkNode)
- {
- int count = 0;
- DOUBLE_LINK_NODE* pNode = (DOUBLE_LINK_NODE*)pDLinkNode;
- while(NULL != pNode){
- count ++;
- pNode = pNode->next;
- }
- return count;
- }
(8)打印双向链表中数据
[cpp] view plain copy
- void print_double_link_node(const DOUBLE_LINK_NODE* pDLinkNode)
- {
- DOUBLE_LINK_NODE* pNode = (DOUBLE_LINK_NODE*)pDLinkNode;
- while(NULL != pNode){
- printf("%d\n", pNode->data);
- pNode = pNode ->next;
- }
- }
注意:
今天我们讨论的双向链表是非循环的,大家可以考虑一下如果改成循环双向链表,应该怎么写?如果是有序的循环双向链表,又该怎么写?
最近在接触内核方面的东西,遇见如下一段代码:
struct list_head {
struct list_head *next, *prev; //双向链表
};
#define LIST_HEAD_INIT(name) { &(name), &(name) }
#define LIST_HEAD(name) \
struct list_head name = LIST_HEAD_INIT(name)
#define INIT_LIST_HEAD(ptr) do { \
(ptr)->next = (ptr); (ptr)->prev = (ptr); \
} while (0)
在网上看了很多前人工作,在这里自己做下总结。
来看数据结构体:
struct list_head { struct list_head *next, *prev; };
//宏定义如下:
#define LIST_HEAD_INIT(name) { &(name), &(name) }
#define LIST_HEAD(name) struct list_head name = LIST_HEAD_INIT(name)
举例如下:
struct list_head foo = { &(foo) , &(foo)}
相当于:
struct list_head foo; foo.next = &foo; foo.prev = &foo;
另一个例子:
struct list_head test = LIST_HEAD (check); LIST_HEAD (check);
在C语言中我们使用的结构体对应实例:例如:
struct student{long int num;
char name[20];char sex;
char addr[20];
}a={10101,"Li yong tian",'M',“513477736”};
a的初始化是四项,与结构体的成员是一一对应的。而结构体中:
struct list_head foo = { &(foo) , &(foo)}
在本文中等价与
:struct list_head { struct list_head *next, *prev; } foo = { &(foo) , &(foo)};
按照成员的对应赋值就是:
struct list_head foo; foo.next = &foo; foo.prev = &foo;
//如果我有一个定义了一个对象:
struct list_head mylist;
//then
LIST_HEAD(mylist);
==
struct list_head mylist = { &(mylist), &(mylist) } ;
总而言之:用同一个对象初始化next 和 prev
而对于最后一段代码:
#define INIT_LIST_HEAD(ptr) do { \
(ptr)->next = (ptr); (ptr)->prev = (ptr); \
} while (0)
初始化就是把指针指向自己。在不同版本的源码中,这些函数的实现方式略有不同,例如在linux-2.6.26中,此函数不是宏定义,而是一个内联函数,不过它们所做的工作都是大同小异的,这一点在本文其他部分都一样,下面就不再提醒了。