深入理解指针（2）

1.void*类型指针

在指针类型中有一种特殊指针可以存放任意类型的地址，可以理解为无类型指针，也叫做泛型指针，这种指针虽然可以存放任意类型地址，但是也有其局限性，这种指针不能够进行+-和解引用操作。

#include <stdio.h>
int main()
{
	int n = 10;
	char* pc = &n;
	int* pi = &n;

	return 0;
}

可以看到，用char*类型指针变量去存放整形数据时编译器发出了警告。

#include <stdio.h>
int main()
{
	int n = 10;
	void* pc = &n;
	int* pi = &n;

	return 0;
}

当我们用void*类型指针变量去存放时就不会发生警告。

2.const修饰指针

2.1.const修饰变量

我们知道变量是可以修改的，那么当我们不希望一些变量被修改的时候我们应该怎么办呢？这时我们可以给变量加上const就可以了。

#include <stdio.h>
int main()
{
	int m = 0;
	m = 20;//m是可以修改的
	const int n = 0;
	n = 20;//n是不能被修改的
	return 0;
}

但是如果我们不直接修改n，而且通过地址去修改n却是可以做到的。

但是我们还是要思考⼀下，为什么n要被const修饰呢？就是为了不能被修改，如果p拿到n的地址就能修改n，这样就打破了const的限制，这是不合理的，所以应该让 p拿到n的地址也不能修改n，那接下来怎么做呢？

2.2const修饰指针变量

我们来分析一下代码：

#include <stdio.h>

void test1()
{
	int n = 10;
	int m = 20;
	int* p = &n;
	*p = 20;//ok?
	p = &m; //ok?
}
void test2()
{
	//代码2
	int n = 10;
	int m = 20;
	const int* p = &n;
	*p = 20;//ok?
	p = &m; //ok?
}
void test3()
{
	int n = 10;
	int m = 20;
	int* const p = &n;
	*p = 20; //ok?
	*p = &m; //ok?
}
void test4()
{
	int n = 10;
	int m = 20;
	int const* const p = &n;
	*p = 20; //ok?
	p = &m; //ok?
}
int main()
{
	//测试⽆const修饰的情况
	test1();
	//测试const放在*的左边情况
	test2();
	//测试const放在*的右边情况
	test3();
	//测试*的左右两边都有const
	test4();
	return 0;
}

我们直接说结论：

const如果放在*的左边，修饰的是指针指向的内容，保证指针指向的内容不能通过指针来改变。

但是指针变量本⾝的内容可变。

const如果放在*的右边，修饰的是指针变量本⾝，保证了指针变量的内容不能修改，但是指针指

向的内容，可以通过指针改变。

const如果在*的两边都放，那么指针指向的内容和指针本身都不能改变。

3.指针运算

3.1指针+指针

深入理解指针（1）中已经有介绍，这里就不再重复了哦。

3.2指针-指针

指针减指针是指两个指针相减的操作，得到的结果是指针之间的距离或者元素个数）。两个指针相减得到的结果是一个整数值，用指针类型的变量存放时，需要注意类型的匹配。

如果指针 a 指向数组的第一个元素，指针 b 指向数组的第三个元素，则表达式 b - a 的计算结果为 2，表示数组中 a 和 b 之间有两个元素，也就是 b 指向的元素从 a 指向的元素经过两个元素之后才能到达。

需要注意的是，两个指针减法运算只有在指向同一数组时才有意义，否则结果是未定义的。指针减法的结果也可以是负数，表示第一个指针指向的元素在第二个指针指向的元素之前。

3.3指针大小比较

我们直接看图：

我们可以看到，指针也是可以比较大小的。

4.野指针

野指针就是指针指向的位置是不可知的，随机的，不正确的，没有明确限制的。

造成野指针有以下三种情况：

1. 指针未初始化

2. 指针越界访问

3. 指针指向的空间释放