C++指针为什么要定义类型

C++ 指针为什么需要定义类型

在最近的C++学习过程中，重新复习了一下本科学习的C++指针问题。

在考虑指针的用途的时候思考到为什么指针需要定义类型。

C++在定义变量的时候都需要定义变量类型，这是C++作为强类型语言的特征。但是指针在定义的时候也需要定义类型，如果单纯只是考虑指针存储的数据的话，指针存储的也只是地址，而地址本身也没有具有类型的区别，而且指针在内存中的固定大小都是8个字节。
测试代码如下：

#include <iostream>
using namespace std;
int main(){
	int* a;
	double* b;
	float* c;
	bool* d;
	char* e;

	cout<<"a指针大小:"<<sizeof(a)<<endl;
	cout<<"b指针大小:"<<sizeof(b)<<endl;
	cout<<"c指针大小:"<<sizeof(c)<<endl;
	cout<<"d指针大小:"<<sizeof(d)<<endl;
	cout<<"e指针大小:"<<sizeof(e)<<endl;
	return 0;
}

测试的结果是:

a指针大小:  8
b指针大小:  8
c指针大小:  8
d指针大小:  8
e指针大小:  8
/*64位系统大小是8，32位系统是4*/

但是在实际情况中，我们会对地址进行操作，例如指针指向数组的时候。我们常会使用地址+1操作或者地址-1操作。
地址+1或者-1操作就像我们跳格子，每个格子里面存储一个数据，格子与格子之间有一定的步长。
如果没有定义类型，那么就不知道步长是多少，那么增1减1操作就不知道下一个访问地址是多少，那么就会访问错误。
例如:

#include <iostream>
using namespace std;
int main(){
	int *a = new int[3];
	double *b = new double[3]; 
	cout<<"a指针大小:"<<"  "<<sizeof(a)<<endl;
	cout<<"a的地址:"<<"   "<<a<<endl;
	cout<<"a+1的地址:"<<"   "<<++a<<endl;
	cout<<"b指针大小:"<<"  "<<sizeof(b)<<endl;
	cout<<"b的地址:"<<"   "<<b<<endl;
	cout<<"b+1的地址:"<<"   "<<++b<<endl;
	return 0;
}

测试结果是：

a指针大小:  8
a的地址:   0x2255e70
a+1的地址:   0x2255e74
b指针大小:  8
b的地址:   0x2255e90
b+1的地址:   0x2255e98

我们可以清楚的看到，定义的类型不同，加一减一的步长也不相同，int类型步长是4，double类型步长是8。
这就是为什么指针也需要定义类型，定义类型能够防止在进行指针地址操作时出错。