漫谈：C语言 奇葩的指针定义规则

奇葩的指针定义规则"/>

漫谈：C语言 奇葩的指针定义规则

        C语言的语法很麻拐。

        初学者的一个常见BUG：

int *a,b;

        试图定义两个指针，却得到了一个指针和一个整数。

        当然了，在后面使用的时候编译器会指出错误，从而发现问题。

        但是为什么C语言要这么设计呢？为什么不涉及成言严格的“类型 变量；”的语法结构呢？

        其实C语言这样设计还是有很多优势的，比如一个复杂的结构，一次性定义结构和结构的指针（下面的例子是typedef，语法规则和变量定义是一样的）：

typedef struct{} A,*pA;

        这样一次定义了两种类型：结构A和指向结构A的指针。不然就要用两句：

typedef struct{} A;
typedef A* pA;

        好吧，我承认其实这也没省力多少啊。况且，现在所有编程规范都主张，一行只能定义一个变量，所以这个优势真不重要。

        我们还是验证一下*到底怎么用吧。下面的代码测试了指针定义的几种情形：

#include <stdio.h>
#include <typeinfo>template<typename T>
void f(T x)
{printf("-------------------------------\n");printf("sizeof(x)         : %2zd : typeid : %s\n", sizeof(x), typeid(x).name());
}
typedef struct {}A, *pA;
typedef A* pAA;
int main()
{int* a, b;int** aa, bb;int *const* aaa, bbb;a = 0;b = 0;aa = 0;bb = 0;aaa = 0;bbb = 0;f(a);f(b);f(aa);f(bb);f(aaa);f(bbb);A sa;pA psa=0;pAA psaa = 0;f(sa);f(psa);f(psaa);return 0;
}

        这个代码中的模板函数f用来打印参数的长度和类型，因为是模板，适用于任何类型。

        在VS上用x86配置编译，输出：

-------------------------------
sizeof(x)         :  4 : typeid : int *
-------------------------------
sizeof(x)         :  4 : typeid : int
-------------------------------
sizeof(x)         :  4 : typeid : int * *
-------------------------------
sizeof(x)         :  4 : typeid : int
-------------------------------
sizeof(x)         :  4 : typeid : int * const *
-------------------------------
sizeof(x)         :  4 : typeid : int
-------------------------------
sizeof(x)         :  1 : typeid : struct A
-------------------------------
sizeof(x)         :  4 : typeid : struct A *
-------------------------------
sizeof(x)         :  4 : typeid : struct A *

        看得出来，不仅“*”只约束后面那个变量，连“**”和“*const*”都只约束后面那个变量，有没有办法改变？尝试下面的代码：

	(int) *const* aaa, bbb;(int *)const* aaa, bbb;(int *const)* aaa, bbb;(int *const*) aaa, bbb;

        每一行都是无法编译的。括号怎么加都不对（除了放在变量名后面把变量变成函数指针）。

        这些规则记牢就对了。

（这里是结束）