由 ANSI 标准定义的 C 语言关键字共有 32 个。根据关键字的作用,可以将关键字分为 数据类型关键字 流程控制关键字 两大类。

数据类型关键字

基础数据类型(5 个)

  • void:声明函数无返回值或无参数,声明无类型指针,显式丢弃运算结果。
  • char:字符型类型数据,属于整型数据的一种。
  • int:整型数据,通常为编译器指定的机器字长。
  • float:单精度浮点型数据,属于浮点数据的一种。
  • double:双精度浮点型数据,属于浮点数据的一种。

类型修饰关键字(4 个)

  • short:修饰int,短整型数据,可省略被修饰的int
  • long:修饰int,长整形数据,可省略被修饰的int
  • signed:修饰整型数据,有符号数据类型。
  • unsigned:修饰整型数据,无符号数据类型。

复杂类型关键字(5 个)

  • struct:结构体声明。
  • union:共用体声明。
  • enum:枚举声明
  • typedef:声明类型别名。
  • sizeof:得到特定类型或特定类型变量的大小。

存储级别关键字(6 个)

  • auto:指定为自动变量,由编译器自动分配及释放,通常在栈上分配。
  • static:指定为静态变量,分配在静态变量区,修饰函数时,指定函数作用域为文件内部。
  • register:指定为寄存器变量,建议编译器将变量存储到寄存器中使用,也可以修饰函数形参,建议编译器通过寄存器而不是堆栈传递参数。
  • extern:指定对应变量为外部变量,即在另外的目标文件中定义,可以认为是约定由另外文件声明的对象的一个「引用」。
  • const:与 volatile 合称「CV 特性」,指定变量不可被当前线程 / 进程改变(但有可能被系统或其他线程 / 进程改变)。
  • volatile:与 const 合称「CV 特性」,指定变量的值有可能会被系统或其他进程 / 线程改变,强制编译器每次从内存中取得该变量的值。

流程控制关键字

跳转结构(4 个)

  • return:用在函数体中,返回特定值(或者是 void 值,即不返回值)。
  • continue:结束当前循环,开始下一轮循环。
  • break:跳出当前循环或 switch 结构。
  • goto:无条件跳转语句。

分支结构(5 个)

  • if:条件语句。
  • else:条件语句否定分支,与 if 连用。
  • switch:开关语句(多重分支语句)。
  • case:开关语句中的分支标记。
  • default:开关语句中的「其他」分支,可选。

循环结构(3 个)

  • for:循环结构。
  • do:循环结构,与 while 一起使用。
  • while:循环结构。

专有名词解释

自动变量

在 C 和 C++ 等编程语言中,当在函数或代码块内部声明一个变量时,该变量默认为自动变量。自动变量具有以下特点:

  1. 作用域:自动变量的作用域仅限于声明它的代码块内部。这意味着在声明的代码块外部是无法访问到该变量的。
  2. 存储方式:自动变量通常存储在栈(stack)上。当进入声明变量的代码块时,该变量会在栈上分配存储空间,当代码块执行完毕时,变量会自动释放所占用的栈空间。
  3. 初始化:自动变量在声明时可以选择是否进行初始化。如果未初始化,则其值是不确定的。

自动变量适用于那些在局部范围内使用的临时数据和临时存储需求较小的变量。与全局变量和静态变量相比,自动变量具有更短的生命周期和更小的作用域,能够更有效地管理内存和避免命名冲突。

参考资料:

  1. https://zhuanlan.zhihu.com/p/37908790