C语言的神奇语法

C语言的神奇语法

C语言的语法较其他语言来说比较复杂。这里举几个我碰到过的例子，证之。

例子1

int a[10];
printf( "%d-%d", a, & a);

猜测：这里的&会被编译器忽略。a在内存中是不存在的，内存中的是a[0] a[1]....a[9]，上述printf打印的a在编译的时候就被替换成了a在内存中的地址。因为a是概念上的，而非内存中的，所以自然不存在地址，也就无法对它使用取址符。但是编译器很聪明，会忽略&。

例子2

struct a{
 void (*func)();
};

声明了一个结构体，含有一个函数指针成员。这种语法不太好看，一般这么写：

typedef void (*lpFuncType)(); // 定义func类型
struct a{
 lpFuncType func;
}; // 更像C语言的声明语句

如果上面看懂了，再看看一个标准库函数的声明（signal.h文件中）：

void ( *signal( int signal, void (* func) (int)) ) (int);

相信你可以看懂了。不过最好还是这么写，以便于别人阅读你的程序：

typedef void (*funcType)(int);
funcType signal( int signal, funcType func);

例子3

下面的输出是什么呢？

#include<stdio.h>

int a[2][5] = { 0,1,2,3,4,
5,6,7,8,9};
void f( int ** b){
    printf( "%d\n", b[1][3]);
}
int main(){
    f(a);
    return 0;
}

答案是会报段错误。解释如下：

先看看一个更容易理解的版本，当然二者是等价的。

#include<stdio.h>

int a[2][5] = { 0,1,2,3,4,
5,6,7,8,9};
void f( (int*) b[]){
    printf( "%d\n", (b[1])[3]);
}
int main(){
    f(a);
    return 0;
}

函数f的参数是一个一维数组，其中存放的是一个int指针。b[1]就是取出a中的第二个数字，所以是1,。因为这是指针，所以指向内存地址1处；又它是int指针，所以指向的是int数组，那么其中第四个数的地址就是( 1 + 3 * sizeof( int))，也就是13。当然，这是一个非法地址，所以会报段错误，或者内存访问违例。  

那么二维数组怎么写呢？

#include<stdio.h>

int a[2][5] = { 0,1,2,3,4,
5,6,7,8,9};
void f( int (*b)[5]){
    printf( "%d\n", b[1][3]);
}
int main(){
    f(a);
    return 0;
}

这样就可以正确访问到8这个值了。可以这么理解f的参数的类型：

void f( int[5] b[]);

当然，也只是理解而已。这个问题是复习编译原理考试的时候遇到的，考了上面的源码，答案给的也是错误的（因为不相信答案，所以自己在VS上试了一下）。正确的理解应当是从编译器翻译的角度来理解，也就是如何计算多维指针地址之类的规定。无论如何，为了避免出错和给他人带来误解，实际中还是尽量避免复杂的语法吧 ^_^ 享受简单。