[置顶] 对一个程序的思考2（各编译器指针类型）

#include<iostream>
using namespace std;
#include<typeinfo>
int main()
{
   int a[3]={1,2，3};
    cout<<sizeof(a)<<'\n'
        <<typeid(a).name()<<'\n'
	<<sizeof(&a)<<'\n'
	<<typeid(&a).name()<<'\n';

return 0;
}

先运行一下：

 VC 6.0 结果如果是整形指针类型就是代表数组的地址 那莫大小就是数组的大小，下一句是一个数组指针那莫就因该是指针的大小所以就是上面的互相矛盾的显示使我产生了好奇，于是我进行了探索（上边的程序在GCC中结果与CodeBlock中一样只是4 变成了8 所有我认为可能因该这两个是对的）

首先面对这个程序，typeid是一个什么东东  于是我了解了一些关于typeid 的信息 typeid是C++的关键字之一，等同于sizeof这类的操作符。typeid操作符的返回结果是名为type_info的标准库类型的对象的引用（在头文件typeinfo中定义）

#include<iostream>
using namespace std;
#include<typeinfo>

int main()
{
	int array[3] = {1, 2, 3};
	int *p = array;
	//int *q = &array; //编译错误,int (*)[3]数组指针不能与 int * 赋值类型不匹配
    int (*q)[3] = &array;
cout << "p = " << p << "     " << typeid(p).name() << '\n'
	 << "q = " << q << "     " << typeid(q).name() << '\n'
	 << "array = " << array << "    " << typeid(array).name() << '\n'
	 << "&array = " << &array << "    " << typeid(&array).name() << '\n'
	 << "*(p+1) = " << *(p + 1) << "    " << typeid(*(p + 1)).name() << '\n'
	 << "*(q+1) = " << *(q + 1) << "    " << typeid(*(q + 1)).name() << '\n'
	 << "*p+1 = " << *p + 1 << "    " << typeid(*p + 1).name() << '\n'
	 << "*q+1 = " << *q + 1 << "    " << typeid(*q + 1).name() << '\n'
	 << "*(*q+1) = " << *(*q + 1) << "    " << typeid(*(*q + 1)).name() << '\n'
	 << "p+1 = " << p + 1 << "    " << typeid(p + 1).name() << '\n'
	 << "q+1 = " << q + 1 << "    " << typeid(q + 1).name() << '\n';

return 0;
}

运行结果：

1.     p和q的值相同，即array和&array是相同的，均指向相同的地址，但是两个指针的类型不同，p（array）的类型是int *（整型指针），而q（&array）的类型是int (*)[2]（数组指针），这也是语句“int *q = &array;”错误的原因

2.      因为p是int *类型的指针，故p+1=0018FF40，即每次+1，地址+4，指向数组中下一个数据；而q是int (*)[3]类型的指针，故q+1=0018FF48，即每次+1，地址+12（2*4），指向下一个数组

3.      *(p+1)==p[1]==array[1]==2，这很好理解；而按照相同的逻辑，*(q+1)==q[1]==(&array)[1]，此时我们可以理解成“在内存中有一个更大的数组，其元素的类型为int [2]，故q[1]就等价于指向这个大数组中的第二个元素”，根据2的解释，我们知道“第二个元素”的地址为0018FF48

4.      *p+1很简单，*p就是array数组中第一个元素，*p+1即将2加1，得3；而由恒等式*&x==x知，*q=*&array=array，即*q就是数组中第一个元素的地址，*q+1即将0018FF3C加1（指针+1等价地址+4），得0018FF40，此时*q+1的类型为int*，故对*q+1进行解引用（*）就是地址所指值，故*(*q+1)==array[1]==2