495-21-30
21.怎样建立和理解非常复杂的声明？例如定义一个包含N个指向返回指向字符的指针的函数的指针的数组。
答：这个问题至少有以下三种答案：
(1).
char *(*(*a[N]));
(2).用typedef逐步完成声明
typedef char *pc;
typedef pc fpc();
typedef fpc *pfpc;
typedef pfpc fpfpc();
typedef fpfpc *pfpfpc;
pfpfpc a[N];
(3).使用cdecl程序，他可以在英文描述和C语言源码之间相互翻译，你只需要提供用自然语言描述的类型，cdecl就能翻译成对应的C语言声明。
C语言令人困惑的原因在于，他们由两个部分组成：基本类型和声明符，后者包含了被声明的标识符。声明符也可以包含字符* 、[]和（）。表明这个名称是基本类型的指针，数组，以及为返回类型的函数或者某种组合。例如，在：
char *p;
中，基本类型是char，标识符是p，声明符是* p。这表明* p是一个char。
解读复杂C声明的一种方法是遵循“从内到外”的阅读方法，并谨记[]和（）比 * 的结合度更紧，例如，对声明：
char *(*pfpc )();
我们可以看出pfpc是一个函数（从（）看出）的指针（从内部的 * 看出），而函数则返回char类型的指针（从外部 * 可以看出）。当我们后来使用pfpc的时候 * （* pfpc）（） （pfpc所指的函数的返回值指向的值）是一个char型。
另一种分析这种复杂声明的方法是，遵循“声明模仿使用”的原则逐步分解声明：
- （* pfpc）（） 是一个char
（* pfpc）（） 是一个 指向char的指针
（* pfpc） 是一个返回char型指针的函数
pfpc 是一个 指向返回char型指针的函数的指针
如果你希望将复杂声明想这样表达的更清楚，可以用一系列typedef把上面的分析表达出来。
22.如何声明返回指向同类型函数的指针的函数？我在设计一个状态机，用函数表示没种状态，每个函数都会返回一个指向下一个状态的函数的指针，可我找不到任何方法来声明这样的函数-感觉我需要一个返回指针的函数，返回的指针指向的又是返回指针的函数·····，如此往复，以至无穷
答：你不能直接完成这个任务。一种方法是让函数返回一个一般的函数指针。然后在传递这个指针的时候进行适当的类型转换：
typedef int (*funcptr)();
typedef funcptr (*ptrfuncptr)();
funcptr start(), stop();
funcptr state1(), state2(), state3();
void statemachine() {
ptrfuncptr state = start;
while(state != stop)
state = (ptrfuncptr)(*state)();
}
funcptr start() {
return (funcptr)state1;
}
(第二个类型定义ptrfuncptr隐藏了一些十分隐晦的语法。如果没有这个定义，变量state就必须声明为funcptr（* state）（），而调用的时候就得用（funcptr（* ）（））（* state）（）这样令人困惑的类型转换了)
另一种方法是让每个函数都返回一个结构，结构中仅包含了一个返回该结构的函数和指针
struct funtchunk {
struct functhunk (*func)();
}
struct functhunk start(), stop();
struct functhunk state1(), state2(), state3();
void statemachine() {
struct functhunk state = {start};
while(state.func != stop)
state = (*state.func());
}
struct functhunk start () {
struct functhunk ret;
ret.func = state1;
return ret;
}
23.能否声明和传入数组大小一致的局部数组，或者有其他参数指定大小的参数数组。
答，办不到
25.函数只定义了一次，调用了一次，但编译器提示非法重声明了
答：在作用域内没有声明就调用（可能是第一次调用在函数的定义之前）的函数被认为声明为：
extern int f();
即未声明的函数被认为返回int型且接受个数不定的参数，但是参数个数必须确定，且其中不能有“窄”类型。如果之后函数的定义不同，则编译器就会警告类型不符，返回非int型，接受任何“窄”参数类型或可变参数的函数都必须在调用前声明。（最安全的方法就是声明所有函数，这样就可以用函数原型来检查参数传入是否正确）
另一个可能的原因是该函数与某个头文件中声明的另一个函数同名
30。如何判断哪些标识符可以使用，哪些被保留了？
答：命名空间的管理有些麻烦。问题是你不能使用那些已经被实现使用过的标识符，这会导致一堆“重复定义”错误，或者更坏的情况下，静悄悄地替换了实现的标识符，然后把一切都搞的一团糟。同时你可能也想确保后续的版本不会侵占你所保留的名称。（拿一个已经调试的，正常工作的生成程序在新版的编译器下编译，链接，结果却因为命名空间或其他问题导致编译失败。）
