堆栈面试题及答案.docxVIP

堆栈面试题及答案

问题1：栈和堆的核心区别是什么？（从数据结构和内存管理两个维度说明）

从数据结构维度：栈是线性结构，严格遵循LIFO；堆是树状结构（通常指二叉堆），满足父节点与子节点的大小关系（大顶堆/小顶堆）。从内存管理维度（以C/C++为例）：栈内存由编译器自动分配释放，存储局部变量、函数参数、返回地址等，空间大小固定（如默认1MB），超出则栈溢出；堆内存由程序员手动分配（malloc/new）和释放（free/delete），空间较大但需处理碎片问题，若未释放会导致内存泄漏。例如，函数中定义的inta=10存储于栈，new出来的对象存储于堆。

问题2：如何用数组实现一个线程安全的栈？需处理哪些边界条件？

线程安全需通过锁（如互斥锁）保证push、pop操作的原子性。数组实现栈的核心是维护栈顶指针（top），初始为-1。push时检查top+1是否等于数组容量，若满则扩容（如两倍）；pop时检查top是否为-1（空栈）。代码示例（C++）：

```cpp

includemutex

templatetypenameT

classSafeStack{

private:

Tdata;

intcapacity;

inttop;

std::mutexmtx;

public:

SafeStack(intinitSize=10):capacity(initSize),top(-1){

data=newT[capacity];

}

voidpush(constTval){

std::lock_guardstd::mutexlock(mtx);//自动加锁解锁

if(top==capacity1){//扩容逻辑

intnewCap=capacity2;

TnewData=newT[newCap];

std::copy(data,data+capacity,newData);

delete[]data;

data=newData;

capacity=newCap;

}

data[++top]=val;

}

Tpop(){

std::lock_guardstd::mutexlock(mtx);

if(top==-1)throwstd::out_of_range(Stackempty);

returndata[top--];

}

boolempty()const{returntop==-1;}

~SafeStack(){delete[]data;}

};

```

需处理的边界条件：空栈时pop操作抛异常；扩容时数据拷贝的效率（可优化为移动语义）；多线程同时push时的竞争条件（锁的粒度需最小化）。

问题3：用两个栈实现队列，要求均摊时间复杂度O(1)

思路：队列需FIFO，用栈s1（入队栈）和s2（出队栈）。入队时元素压入s1；出队时若s2为空，将s1所有元素弹出压入s2（此时s2顶部为最早入队元素），若s2非空则直接弹出。均摊分析：每个元素最多被push两次（s1→s2），均摊时间复杂度O(1)。

Python实现：

```python

classMyQueue:

def__init__(self):

self.s1=[]入队栈

self.s2=[]出队栈

defpush(self,x:int)-None:

self.s1.append(x)

defpop(self)-int:

ifnotself.s2:仅当s2空时转移

whileself.s1:

self.s2.append(self.s1.pop())

returnself.s2.pop()

defpeek(self)-int:

ifnotself.s2:

whileself.s1:

self.s2.append(self.s1.pop())