数据结构学习(一)

---

前言

今天重新看了数据结构中的链接栈结构的数据出栈pop函数，发现自己之前对这个函数理解的还不够深入，因此将重新理解该函数的心得记录如下。

---

一、链接栈的实现

#pragma once
#include<iostream>
using namespace std;
 1.结点类
template <class T>
class LinkNode
{
	template<class T >
	friend class LinkStack;// 将链式栈声明为友元类，LinkStack可以访问LinkNode的私有成员	
	
private:
	T data;// 数据域(节点元素,数据类型为T)
	LinkNode<T> *next;// 指针域(指向下一个节点的指针)
public:
	LinkNode();// 无参构造函数
};
template <typename T>
LinkNode<T>::LinkNode()
{
	next = NULL; // next指向空
}
// 2.链接栈
template <class T>
class LinkStack
{
private:
	LinkNode<T> *top;   // 表示栈顶
	int size;           // 栈中元素个数
public:
	LinkStack();              // 有参构造，创建空栈
	~LinkStack();             // 析构函数，删除栈
	bool IsEmpty();            // 判断栈是否为空，为空返回true，非空返回false
	bool Push(const T&x);      // 入栈操作，从栈顶插入元素x，成功返回true,失败返回false
	bool Top(T&x);             // 取栈顶元素，将元素值放入x中
	bool Pop(T&x);             // 出栈操作，从栈顶删除一个元素，将元素值放入x中
	void OutPut(ostream&out)const;// 将顺序栈放到输出流out中输出
};
// 1.构造函数
template<typename T>
LinkStack<T>::LinkStack()
{
	top = NULL;
	size = 0;
}
// 2.析构函数
template<typename T>
LinkStack<T>::~LinkStack()
{
	T x;
	while (top != NULL) {
		Pop(x);
	}
}
// 3.判断栈是否为空
template<typename T>
bool LinkStack<T>::IsEmpty()
{
	return top == NULL;
}
// 6.实现出栈
template<typename T>
bool LinkStack<T>::Pop(T&x)
{
	LinkNode<T> *p;
	if (IsEmpty())// 栈空的时候不能让元素出栈
	{
		return false;
	}
	else
	{
		x = top->data;
		p = top;
		top = top->next;// 指向原来栈顶的下面的元素
		delete p;       // 将原来的栈顶删除
		//p = NULL;
		size--;
		return true;
	}
}

这里仅仅展示了栈中元素出栈的代码，而自己当时就一直对如下的出栈代码感到疑惑。

// 6.实现出栈
template<typename T>
bool LinkStack<T>::Pop(T&x)
{
	LinkNode<T> *p;
	if (IsEmpty())// 栈空的时候不能让元素出栈
	{
		return false;
	}
	else
	{
		x = top->data;
		p = top;
		top = top->next;// 指向原来栈顶的下面的元素
		delete p;       // 将原来的栈顶删除
		//p = NULL;
		size--;
		return true;
	}
}

首先p=top，那么不就是说指针p和指针top指向的是同一块内存空间了吗。后面top=top->next表示指针top的指向已经改变，那么是不是指针p的指向也发生改变了呢？如果指针p的指向也发生了改变，那么后面的delete p不也将修改了指向的指针top删除了吗？可是后来随着我的深入了解，我发现我的这种理解是错误的。

二、两个指针共同指向同一块内存空间

#include<iostream>
using namespace std;
int main()
{
	int *pa;
	int a[8] = { 1,2,3,4,5,6,7,8 };
	pa = a;
	int *pb;
	pb = pa;// pb和pa一样也指向数组a(指向同一个内存空间)
	int b[8] = { 8,7,6,5,4,3,2,1 };
	pa = b;// 现在修改pa的指向(从指向数组a的内存空间转为指向b的内存空间)
	cout << "显示pa指向的内存空间的值" << endl;
	for (int i = 0; i < 8; i++)
		cout << *(pa + i) << endl;
	// pb还是指向数组b
	cout << "显示pb指向的内存空间的值" << endl;
	for (int i = 0; i < 8; i++)
		cout << *(pb + i) << endl;
	system("pause");
	return 0;
}

在上述代码中共定义了两个指针pa,pb，这两个指针一开始都是指向数组a的。但是后来又定义了一个数组b，令指针pa指向数组b，那么此时指针pb的指向会发生改变吗？

可以看到指针pb的指向并没有改变，还是指向数组a。这可以说明虽然指针pa,pb一开始都是指向同一个内存空间，但是修改pa的指向并不会影响pb的指向，因为指针pa,pb虽然指向相同，但也是两个不同的变量，只有修改它们的指向a的时候才会影响指针pb。

p = top;
top = top->next;// 指向原来栈顶的下面的元素
delete p;       // 将原来的栈顶删除

那么上面出栈的代码也很好理解了。虽然p和top的指向相同，但是由于top修改了指向，这并不会影响p，p指向的还是原来的top，因此删除p也不会对现在的top有任何影响。

---

总结

发现自己对指针理解还是不够深，后续还需要学习相关知识去弥补自己不足。