教你理解复杂的C_C 声明

文章作者 100test 发表时间 2007:03:10 17:09:13
来源 100Test.Com百考试题网

原文：
http://www.codeproject.com/cpp/complex_declarations.asp
作者：Vikram A Punathambekar


介绍

曾经碰到过让你迷惑不解、类似于int * (* (*fp1) (int) ) [10].这样的变量声明吗？本文将由易到难，一步一步教会你如何理解这种复杂的C/C 声明：我们将从每天都能碰到的较简单的声明入手，然后逐步加入const修饰符和typedef，还有函数指针，最后介绍一个能够让你准确地理解任何C/C 声明的“右左法则”。需要强调一下的是，复杂的C/C 声明并不是好的编程风格；我这里仅仅是教你如何去理解这些声明。注意：为了保证能够在同一行上显示代码和相关注释，本文最好在至少1024x768分辨率的显示器上阅读。 来源：www.examda.com



基础

让我们从一个非常简单的例子开始，如下：

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类型引用的引用（不合法！）。