多操作赋的语义判断（如 int& *a和int* &a）

　　C++语言经常会有涉及到多操作符的变量或者数组定义，怎么判断其语义着实让人费解，下面谈谈我的个人理解，如有不对，请留言并谈谈您的理解。

　　首先用一个小小的测试程序：

#include <iostream.h>

void main()
{
 int intOne = 6;
 int& rInt=intOne; 

 int *pp=&intOne;

// int& *p = &intOne; //编译错误，不能定义指向引用的指针；

// int& *p = &rInt; //编译错误，同样不能定义指向引用的指针；

 int* &p = pp;　　　//编译正确，可以定义指针的应用

 cout<<intOne<<endl;//输出为6

 cout<<rInt<<endl; //输出为6

cout<<intOne<<"  "<<&intOne<<endl;

 cout<<*pp<<"  "<<pp<<endl;
 cout<<*p<<"  "<<p<<endl;//输出同上两行，地址为intOne的地址

 }

       上面的测试程序很简单，容易混淆的地方在于int & * p和int * & p的区别。这两种表达式无外乎两种含义：指向引用的指针和引用指针的引用。

通过实验结果可以看出，后一种的是正确的，而前一种是错误的。我们知道引用变量可以引用指针和常规变量，而指针不可以指向应用。实验结果说明后面一种是引用指针的引用。

我是这样理解的： 既然实验结果表明 int * &p是一个引用，那么我们可以这样理解：上述表达式可以这样写

（int *）(&p)：（&p）表明这是一个引用，（int*）表明这是应用指针变量的引用。对比一下：

int *a=int (*a):(*a)表明a是一个指针，int 表明这是一个指向int 的指针；

int &a=int (&a):(&a)表明a是一个引用，int 表明这是一个引用int 的引用；

int *a[5]:(int *)(a[5]) a[5] 表明定义的是一个数组，int *表明定义的是一个成员为指针的数组。

上述例子表明当有多个操作符修饰变量时，变量和最后的一个组合，前一个和类型说明符组合，然后再来分析语义。

--未完待续