教你理解复杂的C/C++声明

陆其明 译 
原文： 
http://www.codeproject.com/cpp/complex_declarations.asp 
作者：Vikram A Punathambekar 
介绍 
曾经碰到过让你迷惑不解、类似于int * (* (*fp1) (int) ) [10];这样的变量声明吗？本文将由易到难，一步一步教会你如何理解这种复杂的C/C++声明：我们将从每天都能碰到的较简单的声明入手，然后逐步加入const修饰符和typedef，还有函数指针，最后介绍一个能够让你准确地理解任何C/C++声明的“右左法则”。需要强调一下的是，复杂的C/C++声明并不是好的编程风格；我这里仅仅是教你如何去理解这些声明。注意：为了保证能够在同一行上显示代码和相关注释，本文最好在至少1024x768分辨率的显示器上阅读。 
基础 
让我们从一个非常简单的例子开始，如下： 
int n; 
这个应该被理解为“declare n as an int”（n是一个int型的变量）。 
接下去来看一下指针变量，如下： 
int *p; 
这个应该被理解为“declare p as an int *”（p是一个int *型的变量），或者说p是一个指向一个int型变量的指针。我想在这里展开讨论一下：我觉得在声明一个指针（或引用）类型的变量时，最好将*（或&）写在紧靠变量之前，而不是紧跟基本类型之后。这样可以避免一些理解上的误区，比如： 
int*  p,q; 
第一眼看去，好像是p和q都是int*类型的，但事实上，只有p是一个指针，而q是一个最简单的int型变量。 
我们还是继续我们前面的话题，再来看一个指针的指针的例子： 
char **argv; 
理论上，对于指针的级数没有限制，你可以定义一个浮点类型变量的指针的指针的指针的指针... 
再来看如下的声明： 
int RollNum[30][4]; 
int (*p)[4]=RollNum; 
int *q[5]; 
这里，p被声明为一个指向一个4元素（int类型）数组的指针，而q被声明为一个包含5个元素（int类型的指针）的数组。 
另外，我们还可以在同一个声明中混合实用*和&，如下： 
int **p1; // p1 is a pointer  to a pointer  to an int. 
int *&p2; // p2 is a reference to a pointer  to an int. 
int &*p3; // ERROR: Pointer  to a reference is illegal. 
int &&p4; // ERROR: Reference to a reference is illegal.&n