C/C++每日一课 >> [原创]细说如何确定一个变量的类型(2005-04-25)

/* C/C++每日一课*/
/*2005-05-14*/
/*来自 虚拟现实论坛 ( http://www.3d-vr.com )*/
/*作者: srj2005*/

确定一个变量的类型是C语言中的一项很重要的能力, 在编写程序的过程中,你必须时时刻刻对你所定义的变量的类型保持清晰.
不然, 你就会发现是程序在写你,不是你在写程序了(开个玩笑,也就是说写出来的东西会很乱,更不用说质量了)

其实一般的情况判断一个变量的类型是很简单的, 比如
int a; (a 的类型是一个整形数)
float a; (a的类型是一个浮点数)
int *a; (a是一个整型指针)
int a[10]; (a是一个包含10个整型元素的数组)
int a(); a是一个函数

等等等...

是不是知道这么就够了呢? 那要看你自己了. 如果你学习C语言只是想达到了解或简单运用的阶段, 那足够了;
可是如果你想达到深入理解的话就还不够.
比如你看看下边的定义:
void * (*(*a)(int))[10];
这个a你又知道是个什么东西吗?

我们不赞成在实际coding中使用象上面那样的让人费解的复杂定义, 因为程序除了要让电脑来翻译执行以外, 还有一个重要的目的是要让人看,
所以最好不要搞一些别人看不懂的东西了.
不过呢, 其实只要电脑能看懂的东西,人都是能够看懂的(只是你不愿意去看罢了). 因为电脑看东西一定是有它固有的逻辑的, 所以你只有理解了它的那套逻辑,
才能真正的运用自如.

那么电脑在看 int *a;这个定义表达式的时候又是个什么逻辑呢?
首先, a是这个式子的主体,所以
第一步: 电脑知道你定义的是一个叫a东西.
然后往下,电脑就会想知道, 那a又是什么东西呢?

这时候,他就会找a旁边的最近的,优先级最高一个修饰符.
(这里涉及到一个修饰符的优先级的问题, c++标准有全面的说明)
这时候找到就是 * 这个符号. *符号有很多意思, 用在类型定义里面表示的是他后面跟的是一个指针(相信你应该有所耳闻吧).
所以
第二部: a 是一个指针

再往下, 既然a是一个指针, 那你就必须让他明白, 他指向的对象是什么类型的呢?
这时候电脑是这样认为的, 把已经处理过的部分( *a)去掉, 剩下的还是一个类型表达式, 把这个表达式就认为是指针指向的对象的类型.
在这里很明显, 就剩一个int 了,所以
第三部: a 指向的对象的类型是整型,也就是一个整数.

这时候为止, 电脑就觉得这个定义已经没有任何悬念了, 也就完整的结束了!

那么我们用同样的方法来分析一下void * (*(*a)(int))[10]; 吧

首先由 *a 确定 a是一个指针
这时候为了直观起见,我们建议把 *a用b代替, 那么上面的表达式就成了
void *(*b(int))[10];
根据前面说的,a是一个指针,接下来就需要确定的是指针指向的对象的类型. 那么b就是指针的类型,
由b(int)确定b是一个函数, 也就是说a指向的是一个函数
函数需要确定的量有 参数和返回值, 参数就是()里面的, 也就是一个int
同样, 把b(int)用c代替,变成void *(*c)[10], 那么c就是返回值的类型.
由*c确定c是一个指针, 剩下的void *[10]就是指针的类型,
同样的分析可以知道,它是一个10个元素的数组, 每个元素是一个void *.

归纳起来:
a就是一个指向函数的指针, 函数的参数是一个整数, 返回值是一个指针, 指向一个包含10个void *元素的数组.

终于讲完了, 虽然我已经尽力详细了, 但还是觉得不是那么容易懂, 不知道大家是不是都可以看明白.

付:
修饰符的优先级:
() 大于 *, [] 大于*, *大于其他