声明

< c‎ | language

声明是一个引入一个或多个标识符到程序中,并指定其含义及属性的 C 语言构造。

声明可以出现在任何作用域中。每个声明以分号结束(类似语句),并由两个独立部分组成:

说明符与限定符 声明符与初始化器 ;

其中

说明符与限定符 - 任意顺序的下列内容的空白符分隔列表
  • 类型说明符:
声明符与初始化器 - 声明符 的逗号分隔列表(每个声明符提供附加类型信息及/或要声明的标识符)。声明符可伴随初始化器enumstructunion 声明可忽略 declarators ,这种情况下它们仅引入枚举常量和/或标签。


例如:

int a, *b=NULL; // “ int ”是类型说明符,
                // “ a ”是声明符
                // “ *b ”是声明符而 NULL 是初始化器
const int *f(void); // “ int ”是类型说明符
                    // “ const ”是类型限定符
                    // “ *f(void) ”是声明符
enum COLOR {RED, GREEN, BLUE} c; // “ enum COLOR {RED, GREEN, BLUE} ”是类型说明符
                                 // “ c ”是声明符

一个声明引入的每个标识符类型是通过 类型说明符 所指定的类型及其 声明符 所应用的类型修饰决定的。

声明符

每个声明符是下列之一:

标识符 (1)
( 声明符 ) (2)
* 限定符(可选) 声明符 (3)
无指针声明符 [ static(可选) 限定符(可选) 表达式 ]

无指针声明符 [ 限定符(可选) * ]

(4)
无指针声明符 ( 形参或标识符 ) (5)
1) 此声明符引入的标识符。
2) 任何可以放入括号中的声明符;引入指向数组或指向函数指针时要求这么做。
3) 指针声明符:声明 S * cvr D 声明 Dcvr 限定指针,指向 S 所确定的类型。
4) 数组声明符:声明 S D[N] 声明 D 为有 NS 所确定类型对象的数组。 无指针声明符 是无括号指针声明符以外的其他任何声明符。
5) 函数声明符:声明 S D(params) 声明 D 为接收参数 params 并返回 S 的函数。 无指针声明符 是无括号指针声明符以外的其他任何声明符。

此语法背后的原因,是当声明符所声明的标识符以与声明符相同的形式出现在表达式中时,它会拥有类型说明符序列所指定的类型。

struct C {
    int member; // “ int ”是类型说明符
                // “ member ”是声明符
} obj, *pObj = &obj;
// “ struct C { int member; } ”是类型说明符
// 声明符“ obj ”定义 struct C 类型的对象
// 声明符“ *pObj ”声明指向 struct C 的指针,
// 初始化器“ = &obj ”提供该指针的初值
 
int a = 1, *p = NULL, f(void), (*pf)(double);
// 类型说明符是“ int ”
// 声明符“ a ”定义一个 int 类型对象
//   初始化器“=1”提供其初值
// 声明符“ *p ”定义一个指向 int 指针类型的对象
//   初始化器“ =NULL ”提供其初值
// 声明符“ f(void) ”声明接受 void 并返回 int 的函数
// 声明符“ (*pf)(double) ”定义一个指向
//   接受 double 并返回 int 的函数的指针类型对象
 
int (*(*foo)(double))[3] = NULL;
// 类型说明符是“int”
// 1. 声明符“ (*(*foo)(double))[3] ”是数组声明符:
//    所声明类型是“ 3 个 int 的数组的 /嵌套声明符/ ”
// 2. 嵌套声明符是“ *(*foo)(double)) ”,是指针声明符
//    所声明类型是“ /嵌套声明符/ 指向 3 个 int 的数组的指针”
// 3. 嵌套声明符是“ (*foo)(double) ”,是一个函数声明符
//    所声明类型是“ /嵌套声明符/ 接受 double 并返回指向 3 个 int 的数组的指针的函数”
// 4. 嵌套声明符是“ (*foo) ”,是一个(有括号,函数声明符所要求)指针声明符。
//    所声明类型是“ /嵌套声明符/ 指向接受 double 并返回指向 3 个 int 的数组的指针的函数的指针”
// 5. 嵌套声明符是“ foo ”,是一个标识符。
// 该声明引入一个标识符“ foo ”,以指代一个对象,其类型为
// “指向接受 double 并返回指向 3 个 int 的数组的指针的函数的指针”
// 初始化器“ = NULL ”提供此指针的初值。
 
// 若在用于声明符形式的表达式使用“foo”,则表达式类型将是int。
int x = (*(*foo)(1.2))[0];

每个不属于其他声明符一部分的声明符结尾是一个顺序点

定义

定义是一个提供所有关于其所声明标识符信息的声明。

每个 enumtypedef 声明都是定义。

对于函数,包含函数体的声明即是函数定义

int foo(double); // 声明
int foo(double x){ return x; } // 定义

对于对象,分配其存储的声明(自动或静态,但、非 extern )即是定义,而一个不分配存储的声明(外部声明)不是。

extern int n; // 声明
int n = 10; // 定义

对于结构体联合体,指定其成员列表的声明是定义:

struct X; // 声明
struct X { int n; }; // 定义

重声明

若另一个同一标识符的声明在同一作用域的较早部分出现,则声明不可再引入同一标识符,除非

  • 有链接对象(外部或内部)的声明可以重复:
extern int x;
int x = 10; // OK
extern int x; // OK
 
static int n;
static int n = 10; // OK
static int n; // OK
  • 非 VLA typedef 可以任意重复,只要它指名同一类型:
typedef int int_t; 
typedef int int_t; // OK
struct X;
struct X { int n; };
struct X;

这些规则会简化头文件的使用。

注解

C89 中,任何复合语句(块作用域)中的声明必须出现在块的开头,在任何语句之前。

而且,C89 中返回 int 的函数可以隐式地用函数调用运算符声明,且使用旧式函数定义时, int 类型的函数参数不必声明。

(C99 前)

禁止空声明符;声明必须是一个 _Static_assert 声明或 (C11 起)拥有至少一个声明符,或声明至少一个 struct/union/enum 标签,或引入至少一个枚举常量。

若声明符的任一部分是 VLA 数组声明符,则整个声明符的类型被称作“可变修改类型”。根据可变修改类型定义的类型同样是可变修改的( VM )。

任何可变修改类型声明只允许出现在块作用域或函数原型作用域,而且不能是任何结构体或联合体的成员。尽管 VLA 只能拥有自动存储期,一个 VM 类型,例如指向 VLA 的指针也可以有静态存储。关于 VM 类型有其他使用限制,见 gotoswitchlongjmp

(C99 起)

_Static_assert 从 C 文法的视角来看,被认为是声明(故它们可以出现在任何声明能出现的地方),但它们不会引入任何新的标识符,且不遵循声明语法。

(C11 起)

引用

  • C11 standard (ISO/IEC 9899:2011):
  • 6.7 Declarations (p: 108-145)
  • C99 standard (ISO/IEC 9899:1999):
  • 6.7 Declarations (p: 97-130)
  • C89/C90 standard (ISO/IEC 9899:1990):
  • 3.5 Declarations

参阅