C 语言也有命名空间的,可能很多人也都不太在意。这在 C99 标准的 6.2.3 节有详细的描述。
C 语言的命名空间一共有四类:
-
所有的标签(label)都属于同一个命名空间。
说明:
- 在同一个函数内,标签不能相同。
- 在同一个函数内,标签可以和其他变量名称相同。因为它们所属的命名空间不同。
-
struct
、enum
和union
的名称,在 C99 中称之为 tag,所有的 tag 属于同一个命名空间。也就是说,如果你已经声明
struct A { int a };
就不能再声明union A{ int a };
了。
之所以让所有的 tag 组成一个命名空间,是由于 tag 前面总是带struct
,enum
或union
关键字,所以编译器可以将它们与其他的标识符区分开。 -
struct
和union
的成员属于一个命名空间,而且是相互独立的。例如:如果你已经声明
struct A { int a };
,其成员的名称为a
,你仍然可以声明struct B{ int a };
或者union B{ int a };
。之所以让struct
和union
的成员各自成为一个命名空间,是因为它们的成员访问时,需要通过.
或->
运算符,而不会单独使用,所以编译器可以将它们与其他的标识符区分开。由于枚举类型enum
的成员可以单独使用,所以枚举类型的成员不在这一名称空间内。 -
其他所有的标识符,属于同一个名称空间。包括变量名、函数名、函数参数,宏定义、
typedef
的类型名、enum
的成员 等等。注意:如果标识符出现重名的情况,宏定义会覆盖所有其它标识符,这是因为它在预处理阶段而不是编译阶段处理。除了宏定义之外其它类别的标识符,处理规则是:内层作用域会隐藏掉外层作用域的标识符。
平时写 C 程序从来没有想过 C 语言的命名空间这事,有什么用呢? 在《 C 语言接口与实现》这本神作中,大量使用typedef struct T *T;
这种形式(其中T
就是struct T *
)的用法,之所以可以这样写,就是因为这两个T
所在的命名空间不同。
遵循一定的约定,利用 C 语言的这种简单的命名规则也可以获得一些好处,使代码更精巧,可读性更好。(不过这也是仁者见仁的事了。)
网友评论