教你理解复杂的C_C++声明

教你理解复杂的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. 

注：p1是一个int类型的指针的指针；p2是一个int类型的指针的引用；p3是一个int类型引用的指针（不合法！）；p4是一个int类型引用的引用（不合法！）。