栈(数组)

本文介绍了栈的基本概念,定义了栈作为后进先出(LIFO)的数据结构,并详细阐述了栈的顺序存储结构及其push和pop操作。通过设置top变量指示栈顶元素的位置,实现了栈的高效操作,其时间复杂度为O(1)。

本文参考自《大话数据结构》

栈与队列

  • 栈是限定只能在表尾进行插入和删除操作的线性表
  • 队列是只允许在一端进行插入操作,而在另一端进行删除操作的线性表

1.栈的定义

​ 我们把允许插入和删除的一端称为栈顶,另一端称为栈底,不包含任何数据元素的栈称为空栈。栈又称为后进先出的线性表,简称LIFO(Last In First Out)结构。

  • 栈的插入操作,叫做进栈,也称压栈,入栈;
  • 栈的删除操作,叫做出栈,也有的叫做弹栈;

2.栈的抽象数据类型

把插入和删除操作改名为push和pop;

ADT 栈(stack)
Data
	同线性表。元素具有相同的类型,相邻元素具有前驱和后继关系。
Operation
	InitStack(*S):初始条件,建立一个空栈S;
	DestroyStack(*S):若栈存在,则销毁它;
	ClearStack(*S):将栈清空;
	StackEmpty(S):若栈为空,返回true,否则返回false;
	GetTop(S,*e):若栈存在且非空,用e返回S的栈顶元素;
	Push(*S,e):若栈S存在,插入新元素e到栈S中并成为栈顶元素;
	Pop(*S,*e):删除栈S中栈顶元素,并用e返回其值;
	StackLength(S):返回栈S的元素个数
endADT

3.栈的顺序存储结构及实现

定义一个top变量来指示栈顶元素在数组中的位置,top可以上下移动,但无论如何都不能超出存储栈的长度(StackSize),即top必须小于StackSize。当栈存在一个元素时,top等于0,因此通常把空栈的判定条件定为top等于-1。

栈演示

栈的结构定义

typedef int SElemType;	//SElemType类型根据实际情况而定,这里假设为int */
typedef struct
{
    SElemType data[MAXSIZE];
    int top;	//用于栈顶指针
}SqStack;

进栈操作push

/* 插入元素e为新的栈顶元素 */
Status Push(SqStack *S, SElemType e)
{
    if(S->top == MAXSIZE-1)	//栈满
        return ERROR;
    S->top++;	//栈顶指针+1
    S->data[S->top] = e;
    return OK;
}

出栈操作pop

/* 若栈不空,则删除S的栈顶元素,用e返回其值,并返回OK,否则返回ERROR */
Status Pop(SqStack *S, SElemType *e)
{
    if(S->top == -1){
        return ERROR;
    }
    *e = S->data[S->top];	//将要删除的栈顶元素赋值给e
    S->top--;	//栈顶指针-1
    return OK;
}

两者没有涉及到循环语句,所以时间复杂度为O(1)。

4.简单实现

#include <stdio.h>
#include <stdbool.h>
#define MAXSIZE 100
#define ERROR 0
#define OK 1
typedef int Status;
typedef int SElemType;
typedef struct{
	SElemType data[MAXSIZE];
	int top;
}SqStack;

/* 入栈 */
Status push(SqStack* S, SElemType e){
	if(S->top == MAXSIZE-1){
		return ERROR;
	} 
	S->data[++S->top] = e;
	return OK;
} 

/* 出栈 */
Status pop(SqStack* S, SElemType *e){
	if(S->top == -1){
		return ERROR;
	}
	*e = S->data[S->top--];
	return OK;
} 

/* 返回栈的个数 */
int StackLength(SqStack* S){
	return S->top+1;
}

/* 判断栈空 */
bool StackEmpty(SqStack* S){
	if(S->top == -1)
		return true;
	return false;
}

/* 判断栈满 */
bool StackFull(SqStack* S){
	if(S->top == MAXSIZE-1)
		return true;
	return false;
}

/* 拿到栈顶元素 */ 
Status getTop(SqStack* S, SElemType* e){
	if(S->top == -1)
		return ERROR;
	*e = S->data[S->top];
	return OK;
}

/* 遍历栈中元素 */
void printStack(SqStack* S){
	if(StackEmpty(S)){
		printf("栈空!\n");
		return;
	}
	int i = 0;
	printf("栈中元素遍历:\n");
	while(i<=S->top)
		printf("%d\n", S->data[i++]);
}

int main(){
	bool continueFlag = true;	//是否循环菜单 
	int functionNum;	//功能号 
	SqStack stack, *S = &stack;
	S->top = -1;	//最开始栈为空 
	SElemType pushNum, popNum;
	while(continueFlag){
		printf("-----------菜单------------\n");
		printf("-----------1.入栈----------\n");
		printf("-----------2.出栈----------\n");
		printf("-----------3.返回栈顶元素--\n");
		printf("-----------4.栈元素遍历----\n");
		printf("-----------5.栈元素个数----\n");
		printf("-----------6.判断栈是否为空\n");
		printf("-----------7.判断栈是否已满\n");
		printf("-----------8.退出----------\n");
		printf("输入功能号:\n");
		scanf("%d",&functionNum);
		printf("-----------------------\n");
		switch(functionNum){
			case 1:
				printf("请输入要入栈的元素:\n");
				scanf("%d", &pushNum);
				if(push(S, pushNum))
					printf("入栈成功!\n");
				else
					printf("入栈失败!\n");
				break;
			case 2:
				if(pop(S, &popNum))
					printf("出栈元素:%d\n",popNum);
				else
					printf("栈空!\n");
				break;
			case 3:
				if(getTop(S, &popNum))
					printf("栈顶元素:%d!\n",popNum);
				else
					printf("栈空!\n");
				break;
			case 4:
				printStack(S);
				break;
			case 5:
					printf("栈元素个数:%d\n",StackLength(S));
				break;
			case 6:
				if(StackEmpty(S))
					printf("栈空!\n",popNum);
				else
					printf("栈非空!\n");
				break;
			case 7:
				if(StackFull(S))
					printf("栈满!\n",popNum);
				else
					printf("栈不满!\n");
				break;
			case 8:
				continueFlag = false;
				printf("欢迎使用!\n");
				break;
			default:
				printf("功能号不存在!\n");
				break;
		}
		printf("-----------------------\n");
	} 
	return 0;
} 
<think>好的,我现在需要回答用户关于数组中返回-1和调用free函数之间区别的问题。这个问题涉及到数据结构和内存管理,我需要先理清这两个概念的不同之处。首先,用户提到的“数组顶返回-1”可能指的是在这种数据结构中,当为空时,返回-1作为错误标志或特定状态。例如,在实现的pop操作时,如果为空,可能会返回-1表示没有元素可以弹出。这种情况下,返回-1属于逻辑层面的操作,用于指示状态,并不会涉及内存的释放。另一方面,调用free函数是C语言中用于释放动态分配的内存的操作。当使用malloc、calloc等函数分配内存后,必须使用free来释放,否则会导致内存泄漏。这里的free属于内存管理的一部分,直接操作系统的内存资源,与数据结构本身的逻辑无关。接下来,我需要确认数组的实现方式。如果是基于静态数组(即固定大小的数组),那么通常不需要动态内存管理,的空间在编译时就已经确定,元素的入和出只是通过索引(如top变量)来管理。此时返回-1可能仅表示空的状态,而不会涉及内存释放,因为数组本身是静态分配的。 而如果是基于动态数组(例如使用malloc分配的数组),那么可能需要调整数组的大小。但即使如此,pop操作通常只是移动顶指针,不会立即释放内存,除非进行缩容操作。此时free函数可能用于整个结构的销毁阶段,而不是每次弹出元素时调用。用户可能混淆了操作中的状态返回和内存释放操作。需要明确区分数据结构逻辑操作和内存管理的不同层次。返回-1属于前者,而free属于后者。此外,还需注意内存泄漏的问题,即动态分配的内存必须适时释放,但不应在每次弹出元素时调用free,这样会导致访问已释放内存的风险。需要参考提供的引用内容,特别是引用[3]和[5]关于malloc和free的使用,以及引用[4]关于数组的内存分配。同时,引用[2]提到在函数调用中的使用,可能涉及局部变量的管理,但静态数组不需要free,而动态分配的数组需要。最后,总结两者的区别:返回-1是数据结构层面的状态指示,不涉及内存释放;free是系统级内存管理,释放动态分配的内存。必须确保在适当的时候调用free,避免内存泄漏,但不应在常规操作中频繁调用,以免破坏数据结构。</think>### 数组中“返回-1”与“调用free函数”的区别 #### 1. **概念区别** - **返回-1**:属于数据结构层面的逻辑操作,用于表示的状态(如空、操作失败)。例如,当尝试从空中弹出元素时,可能返回-1作为错误标志[^2]。 - **调用free函数**:属于系统级内存管理操作,用于释放动态分配的内存空间(如通过`malloc`、`calloc`分配的内存)[^3][^4]。 #### 2. **操作对象** - **返回-1**:作用于顶指针(如`top`变量)。例如: ```c int pop(int stack[], int *top) { if (*top == -1) return -1; // 空时返回-1 return stack[(*top)--]; } ``` - **调用free函数**:作用于动态分配的堆内存。例如销毁整个结构时: ```c void destroy_stack(int *stack) { free(stack); // 释放动态数组的内存 } ``` #### 3. **内存影响** - **返回-1**:仅改变的状态(如`top`值),不涉及内存分配或释放。 *示例*:静态数组实现的中,弹出元素时仅移动顶指针,数组本身的内存仍保留[^4]。 - **调用free函数**:直接释放内存,若操作不当会导致: - **内存泄漏**:未释放动态分配的内存。 - **悬空指针**:释放后继续访问已释放的内存区域(如`stack[0]`)[^3][^5]。 #### 4. **典型场景** - **返回-1**的常见场景: - 空时尝试弹出元素。 - 满时尝试压入元素(若容量固定)。 - **调用free函数**的常见场景: - 销毁动态分配的结构。 - 调整容量时释放旧内存(如缩容操作)。 #### 5. **关联与风险** - **错误混淆的后果**: - 若在弹出元素时误用`free`:可能导致程序崩溃(如后续操作访问已释放内存)。 - 若未在销毁时调用`free`:导致内存泄漏,长期运行可能耗尽系统资源[^3][^5]。 --- ###
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值