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

我的github：codetoys，所有代码都将会位于ctfc库中。已经放入库中我会指出在库中的位置。

这些代码大部分以Linux为目标但部分代码是纯C++的，可以在任何平台上使用。

C语言的语法很麻拐。

初学者的一个常见BUG：

cpp 复制代码

int *a,b;

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

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

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

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

cpp 复制代码

typedef struct{} A,*pA;

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

cpp 复制代码

typedef struct{} A;
typedef A* pA;

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

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

cpp 复制代码

#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配置编译，输出：

cpp 复制代码

-------------------------------
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*"都只约束后面那个变量，有没有办法改变？尝试下面的代码：

cpp 复制代码

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

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

这些规则记牢就对了。

（这里是结束）

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

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