C语言

时间:2020-04-04 01:18:28

C程序设计语言”重定向至此。关于书籍,详见“C程序设计语言 (书)”。
C语言
《C程序设计语言》,第一部介绍C语言的书籍
编程范型过程式指令式编程(过程式)、结构化编程
设计者丹尼斯·里奇(Dennis Ritchie)
实现者丹尼斯·里奇(Dennis Ritchie)和肯·汤普逊(Ken Thompson)
发行时间1972年
稳定版本ISO/IEC 9899:2018(C18) ( 2018年6月 )
操作系统跨平台
主要实现产品
Clang、GCC、MSVC、Turbo C、Watcom C
启发语言
B(BCPL、CPL)、ALGOL 68、汇编语言、PL/I、FORTRAN
影响语言
大量,
如:awk、BitC英语BitC、csh、C++、C#、
D、Java、JavaScript、Objective-C、Perl、PHP、Rust等
  • 维基教科书中有关C Programming的文本

C是一种通用的编程语言,广泛用于系统软件与应用软件的开发。于1969年至1973年间,为了移植与开发UNIX操作系统,由丹尼斯·里奇与肯·汤普逊,以B语言为基础,在贝尔实验室设计、开发出来。

C语言具有高效、灵活、功能丰富、表达力强和较高的可移植性等特点,在程序设计中备受青睐,成为最近25年使用最为广泛的编程语言。当前,C语言编译器普遍存在于各种不同的操作系统中,例如Microsoft Windows、macOS、Linux、Unix等。C语言的设计影响了众多后来的编程语言,例如C++、Objective-C、Java、C#等。

二十世纪八十年代,为了避免各开发厂商用的C语言的语法产生差异,由美国国家标准局为C语言订定了一套完整的国际标准语法,称为ANSI C,作为C语言的标准。二十世纪八十年代至今的有关程序开发工具,一般都支持符合ANSI C的语法。

设计

C语言设计目标是提供一种能以简易的方式编译、处理低级存储器、产生少量的机器代码以及不需要任何运行环境支持便能运行的编程语言。C语言也很适合搭配汇编语言来使用。尽管C语言提供许多低级处理的功能,但仍保持良好跨平台的特性,以一个标准规格写出的C语言程序可在许多计算机平台上进行编译,甚至包含一些嵌入式处理器(微控制器或称MCU)以及超级计算机等作业平台。

概述

特性

  • C语言是一个有结构化程序设计、具有变量作用域(variable scope)以及递归功能的过程式语言。
  • C语言传递参数均是以值传递(pass by value),另外也可以传递指针(a pointer passed by value)。
  • 不同的变量类型可以用结构体(struct)组合在一起。
  • 只有32个保留字(reserved keywords),使变量、函数命名有更多弹性。
  • 部分的变量类型可以转换,例如整型和字符型变量。
  • 透过指针(pointer),C语言可以容易的对存储器进行低级控制。
  • 编译预处理(preprocessor)让C语言的编译更具有弹性。

历史

早期发展

肯·汤普逊和丹尼斯·里奇,是C编程语言的开发者.

C语言最早由丹尼斯·里奇(Dennis Ritchie)为了在PDP-11计算机上运行的Unix系统所设计出来的编程语言,第一次发展在1969年到1973年之间。

C源于BCPL语言,后者由马丁·理察德(Martin Richards)于1967年左右设计实现。BCPL是一门"无类型"的编程语言:它仅能操作一种数据类型,即机器字(machine word)。1970年,肯·汤普逊为运行在PDP-7上的首个Unix系统设计了一个精简版的BCPL,这个语言被称为B语言,它也是无类型的。

Unix最早运行在PDP-7上,是以汇编语言写成。在PDP-11出现后,丹尼斯·里奇与肯·汤普逊着手将Unix移植到PDP-11上,无类型的语言在PDP-11上愈发显得合适。PDP-11提供了多种不同规格大小的基本对象:一字节长的字符,两字节长的整型数以及四字节长的浮点数。B语言无法处理这些不同规格大小的对象,也没有提供单独的操作符去操作它们。

C语言最初尝试通过向B语言中增加数据类型的想法来处理那些不同类型的数据。和大多数语言一样,在C中,每个对象都有一个类型以及一个值;类型决定了可用于值的操作的含义,以及对象占用的存储空间大小。

1973年,Unix操作系统的核心正式用C语言改写,这是C语言第一次应用在操作系统的核心编写上。

1975年C语言开始移植到其他机器上使用。史蒂芬·强生英语Stephen C. Johnson实现了一套“可移植编译器”,这套编译器修改起来相对容易,并且可以为不同的机器生成代码。从那时起,C在大多数计算机上被使用,从最小的微型计算机到与CRAY-2超级计算机。C语言很规范,即使没有一份正式的标准,你也可以写出C程序,这些程序无须修改就可以运行在任何支持C语言和最小运行时环境的计算机上。

C最初在小型机器上实现,并且继承了一系列小语种编程语言的特点;与功能相比,C的设计者更倾向于简单和优雅。此外,从一开始,C语言就是为系统级编程而设计,程序的运行效率至关重要,因此,C语言与真实机器能力的良好匹配也就不足为奇。例如,C语言为典型硬件所直接支持的对象:字符,整数(也许有多种大小),以及浮点数(同样可能有多种大小)提供了相应的基本数据类型。

K&R C

《C程序设计语言》第一版封面

1978年,丹尼斯·里奇和布莱恩·柯林汉合作出版了《C程序设计语言》的第一版。书中介绍的C语言标准也被C语言程序员称作“K&R C”(柯里C),第二版的书中也包含了一些ANSI C的标准。

K&R C主要引入了以下语言特性:

  • 标准I/O库
  • 结构(struct)类型
  • 长整数(long int)类型
  • 无符号整数(unsigned int)类型
  • 把运算符=+=-改为+=-=。因为=+=-会使得编译器不知道用户要处理i = -10还是i =- 10,使得处理上产生混淆。

即使在后来ANSI C标准被提出的许多年后,K&R C仍然是许多编译器的最低标准要求,许多老旧的编译仍然运行K&R C的标准。

ANSI C 和 ISO C

主条目:ANSI C

1989年,C语言被美国国家标准协会(ANSI)标准化,编号为ANSI X3.159-1989。这个版本又称为C89。标准化的一个目的是扩展K&R C,增加了一些新特性。

  • void 函数
  • 函数返回 structunion 类型
  • void * 数据类型

1990年,国际标准化组织(ISO)成立 ISO/IEC JTC1/SC22/WG14 工作组,来规定国际标准的C语言,通过对ANSI标准的少量修改,最终制定了 ISO 9899:1990,又称为C90。随后,ANSI亦接受国际标准C,并不再发展新的C标准。

K&R C语言到ANSI/ISO标准C语言的改进包括:

  • 增加了真正的标准库
  • 新的预处理命令与特性
  • 函数原型允许在函数申明中指定参数类型
  • 一些新的关键字,包括 constvolatilesigned
  • 宽字符、宽字符串与多字节字符
  • 对约定规则、声明和类型检查的许多小改动与澄清

WG14工作小组之后又于1994年,对1985年颁布的标准做了两处技术修订(缺陷修复)和一个补充(扩展)。下面是 1994 年做出的所有修改:

  • 3 个新的标准库头文件 iso646.h、wctype.h 和 wchar.h
  • 几个新的记号与预定义宏,用于对国际化提供更好的支持
  • printf/sprintf 函数一系列新的格式代码
  • 大量的函数和一些类型与常量,用于多字节字符和宽字节字符

C99

在ANSI的标准确立后,C语言的规范在一段时间内没有大的变动,然而C++在自己的标准化创建过程中继续发展壮大。《标准修正案一》在1994年为C语言创建了一个新标准,但是只修正了一些C89标准中的细节和增加更多更广的国际字符集支持。不过,这个标准引出了1999年ISO 9899:1999的发表。它通常被称为C99。C99被ANSI于2000年3月采用。

在C99中包括的特性有:

  • 增加了对编译器的限制,比如源始码每行要求至少支持到 4095 字节,变量名函数名的要求支持到 63 字节(extern 要求支持到 31)。
  • 增强了预处理功能。例如:
    • 宏支持取可变参数 #define Macro(...) __VA_ARGS__
    • 使用宏的时候,允许省略参数,被省略的参数会被扩展成空串。
    • 支持 // 开头的单行注释(这个特性实际上在C89的很多编译器上已经被支持了)
  • 增加了新关键字 restrict, inline, _Complex, _Imaginary, _Bool
    • 支持 long long, long double _Complex, float _Complex 等类型
  • 支持不定长的数组,即数组长度可以在运行时决定,比如利用变量作为数组长度。声明时使用 int a[var] 的形式。不过考虑到效率和实现,不定长数组不能用在全局,或 structunion
  • 变量声明不必放在语句块的开头,for 语句提倡写成 for(int i=0;i<100;++i) 的形式,即i 只在 for 语句块内部有效。
  • 允许采用(type_name){xx,xx,xx} 类似于 C++ 的构造函数的形式构造匿名的结构体。
  • 初始化结构的时候允许对特定的元素赋值,形式为:
    struct test{int a[3]b;} foo[] =  { [0].a = {1}, [1].a = 2 };
    struct test{int a, b, c, d;} foo =  { .a = 1, .c = 3, 4, .b = 5 };  // 3,4 是对 .c,.d 赋值的
  • 格式化字符串中,利用 u 支持 unicode 的字符。
  • 支持 16 进制的浮点数的描述。
  • printf scanf 的格式化串增加了对 long long int 类型的支持。
  • 浮点数的内部数据描述支持了新标准,可以使用 #pragma 编译器指令指定。
  • 除了已有的 __line__ __file__ 以外,增加了 __func__ 得到当前的函数名。
  • 允许编译器化简非常数的表达式。
  • 修改了 / % 处理负数时的定义,这样可以给出明确的结果,例如在C89中-22 / 7 = -3, -22 % 7 = -1,也可以-22 / 7= -4, -22 % 7 = 6。 而C99中明确为 -22 / 7 = -3, -22 % 7 = -1,只有一种结果。
  • 取消了函数返回类型默认为 int 的规定。
  • 允许在 struct 的最后定义的数组不指定其长度,写做 [](flexible array member)。
  • const const int i 将被当作 const int i 处理。
  • 增加和修改了一些标准头文件,比如定义 bool 的 ,定义一些标准长度的 int 的 ,定义复数的 ,定义宽字符的 ,类似于泛型的数学函数 , 浮点数相关的 。 在 增加了 va_copy 用于复制 ... 的参数。 里增加了 struct tmx ,对 struct tm 做了扩展。
  • 输入输出对宽字符以及长整数等做了相应的支持。

但是各个公司对C99的支持所表现出来的兴趣不同。当GCC和其它一些商业编译器支持C99的大部分特性的时候,微软和Borland却似乎对此不感兴趣。

C11

主条目:C11

2011年12月8日,ISO正式发布了新的C语言的新标准C11,之前被称为C1X,官方名称为ISO/IEC 9899:2011。新的标准提高了对C++的兼容性,并增加了一些新的特性。这些新特性包括泛型宏、多线程、带边界检查的函数、匿名结构等。

C18

主条目:C18 (C语言标准)英语C18 (C standard revision)

C18没有引入新的语言特性,只对C11进行了补充和修正。

语法

Hello World 程序

下面是一个在标准输出设备(stdout)上打印出 "Hello, world!" 字符串的简单程序。类似的程序,通常作为初学编程语言时的第一个程序:

1 #include 2 3 int main(void)4 {5     printf("Hello, world!n");6     return 0;7 }

进一步了解

C语言由函数和变量组成,C的函数就像是Fortran中的子程序和函数。

在C语言中,程序从 main 开始执行。main 函数通过调用和控制其他函数进行工作。例如上面的printf。程序员可以自己写函数,或从库中调用函数。在上面的return 0; 使得 main 返回一个值给调用程序的壳层,表明程序是否成功运行。

一个C语言的函数由返回值、函数名、参数列表和函数体组成。函数体的语法和其它的复合的语句部分是一样的。

复合语句

C语言中的复合语句(或称语句块)的格式为:

{    語句;    語句;    /* ... */}

复合语句可以使得几个语句从文法上变成一个语句。

有时必须使用复合语句,否则会产生错误。例如,在运用循环语句的时候,如果循环体(即循环中执行部分)包含多个语句(以分号隔开),则必须使用花括号将他们合并成一个复合语句。如果不这么做,系统仅把第一个分号前的内容看做循环体。

需要注意的是,部分C编译器并不支持在任意位置使用复合语句。

条件语句

C语言有两种条件语句形式,分别是ifswitch

If 的格式如下:

if(運算式) // 如果    語句; // 有時還會有 else:else      // 否則    語句;

表达式的值非零表示条件为真;如果条件为假,程序将跳过if处的语句,直接运行if后面的语句。但是如果if后面有else,则当条件为假时,程序跳到else处运行。ifelse后面的语句可以是另个if语句,这种套叠式的结构,允许更复杂的逻辑控制流程得以实现。在一般情况下,else一定与最接近的if成对,因此常用括弧{}越过此限制。比较下面两种情况:

if(邏輯表達)    if (邏輯表達式)        語句;     else        語句;
1 if(邏輯表達式甲)2 {3     if(邏輯表達式乙)4         語句;5 }6 else 7     語句;

要注意这里的缩进和换行只用于方便阅读。编译器并不会根据缩进层级猜测 if 和 else 的对应关系。

switch通常用于对几种有明确值的条件进行控制。它要求的条件值通常是整数或字符。与switch搭配的条件转移是case。使用case后面的标值,控制程序将跳到满足条件的case处一直往下运行,直到语句结束或遇到break。通常可以使用default把其他例外的情况包含进去。如果switch语句中的条件不成立,控制程序将跳到default处运行;如果省略default子句,则直接运行下一语句。switch是可以嵌套的。

switch(){  case :  case :    語句段1; // 甲乙都會執行    // 更多語句…    break;  // 跳轉到 switch 末尾處  case :    語句段2;    break;   default:  // 無論如何都會匹配    語句段3;}

简单的条件判断也可用?:

運算式?1:2;:   a=b>c?b:c // 如果變數"b"的值大於變數"c" 把變數"b"的值賦予變數"a"

循环语句

C语言有三种形式的循环语句:

do     語句while(判断式); :while(判断式)     語句;:for(起始化; 判断式;運算式)    語句;

whilefor中,语句将运行到表达式的值为零时结束。在do...while语句中,循环将至少被运行一次。这三种循环结构可以互相转化:

for(起始化; 判断式;運算式)    語句;

如果语句中不使用continue语句的话,相当于

初始化;while (判断式) {    語句;    運算式;}

当循环条件一直为真时,将产生死循环。

跳转语句

跳转语句包括四种:goto,continue,break和return

goto 標記;

goto语句是无条件转移语句,且标记必须在当前函数中定义,使用“标记:”的格式定义。程序将跳到标记处继续运行。由于goto(特别是向回 goto 和长距离的 goto)容易产生阅读上的困难,所以对新手应该尽量少用。GCC 编译器拓展支持对指针 goto和宏内 goto,一定程度上增强了 goto 的可读性。


continue语句用在循环语句中,作用是结束当前一轮的循环,马上开始下一轮循环。

break语句用在循环语句或switch中,作用是结束当前循环,跳到循环体外继续运行。但是使用break只能跳出一层循环。在要跳出多重循环时,可以使用goto使得程序更为简洁。

当一个函数运行结束后要返回一个值时,使用returnreturn可以跟一个表达式或变量。如果return后面没有值,将运行不返回值。

在C语言中的运算符号

()、 []、 -> 、 .、 !、 ++、 -- 圆括号、方括号、指针、成员、逻辑非、自加、自减
++ 、 -- 、 * 、 & 、 ~ 、 ! 、 + 、 - 、 sizeof、(cast) 单目运算符
* 、 / 、 %、==算术运算符
+ 、 - 算术运算符
<< 、 >>位运算符
< 、 <= 、 > 、 >=关系运算符
== 、 !=关系运算符号
&位与
^位异或
|位或
&&逻辑与
||逻辑或
? :条件运算符
= 、 += 、 -= 、 *= 、 /= 、 %= 、 &= 、 |= 、 ^=赋值运算符
,顺序运算符

比较特别的是,比特右移(>>)运算符可以是算术(左端补最高有效位)或是逻辑(左端补 0)位移。例如,将 11100011 右移 3 比特,算术右移后成为 11111100,逻辑右移则为 00011100。因算术比特右移较适于处理带负号整数,所以几乎所有的编译器都是算术比特右移。

运算符的优先级从高到低大致是:单目运算符、算术运算符、关系运算符、逻辑运算符、条件运算符、赋值运算符(=)和逗号运算符。

安全性

符号安全性符号安全性符号安全性符号安全性
+溢出,包裹,循环-=溢出,包裹,循环,截裁>>>=
-溢出,包裹,循环*=溢出,包裹,循环,截裁&==
*溢出,包裹,循环/=溢出,截裁~!=
%溢出<<=溢出,包裹,循环,截裁!&&
++>>=截裁un+||
--&=截裁un-溢出,包裹,截裁?:
=|=截裁<
+=<<溢出,包裹,截裁>

数据类型

基础数据类型

注意:以下是典型的数据位长和范围。编译器可能使用不同的数据位长和范围。请参考具体的参考手册。

在标准头文件limits.hfloat.h中说明了基础数据的长度。float,double和long double的范围就是在IEEE 754标准中提及的典型数据。

关键字位长(字节)范围格式化字符串
char1 bytes-128..127(或0..255,与体系结构相关)%c
unsigned char1bytes0..255%c, %hhu
signed char1bytes-128..127%c, %hhd, %hhi
int2bytes(16位系统) 或
4bytes
-32768..32767 或
-2147483648..2147483647
%i, %d
unsigned int2bytes 或
4 bytes
0..65535 或
0..4294967295
%u
signed int2bytes 或
4bytes
-32768..32767 或
-2147483648..2147483647
%i, %d
short int2bytes-32768..32767%hi, %hd
unsigned short2 bytes0..65535%hu
signed short2bytes-32768..32767%hi, %hd
long int4bytes 或
8bytes
-2147483648..2147483647 或
-9223372036854775808..9223372036854775807
%li, %ld
unsigned long4bytes 或
8 bytes
0..4294967295 或
0..18446744073709551615
%lu
signed long4 bytes或
8bytes
-2147483648..2147483647 或
-9223372036854775808..9223372036854775807
%li, %ld
long long8bytes-9223372036854775808..9223372036854775807%lli, %lld
unsigned long long8bytes0..18446744073709551615%llu
float4bytes2.939x10..3.403x10 (7 sf)%f, %e, %g
double8bytes5.563x10..1.798x10 (15 sf)%lf, %e, %g
long double10bytes或
16bytes
7.065x10..1.415x10 (18 sf或33 sf)%Lf, %Le, %Lg

结构数据类型

结构数据类型允许构造由多个基础数据类型组合而成的复杂结构,结构数据类型为面向对象的蓝本。以下的结构数据类型通过指针实现了二叉树结构:

1 typedef struct Bintree {2     int data;3     struct bintree *lchild; // left child of the node4     struct bintree *rchild; // right child of the node5 } bintree; // 自定义 bintree 类型

为结构数据类型定义变量时通常会用到动态内存分配:

1 #define mktree() (bintree *)malloc(sizeof(bintree)) // 分配该结构所需的内存单元数量2 bintree *tree;3 tree = mktree(); // 分配到 tree 指针4 tree->data = 1;5 tree->lchild = mktree();6 ...

由于C语言不具备自动垃圾收集(Garbage Collection)功能,使用完毕后调用free(treePtr)来释放之前通过malloc(size)分配的内存。详见以下指针章节。

数组

如果一个变量名后面跟着一个有数字的中括弧,这个声明就是数组声明。字符串也是一种数组,它们以ASCII的NUL作为数组的结束。要特别注意的是,方括内的索引值是从0算起的。

例如:

int myvector [100]/* 從myvector[0]至[99]共100個元素 */char mystring [80]// 声明时初始化float mymatrix [3] [2] = {2.0 , 10.0, 20.0, 123.0, 1.0, 1.0};int notfull [3][3] = {{1},{1,2,3},{4,5}};// 数组套数组char lexicon [10000] [300]/* 共一萬個最大長度為300的字元陣列。*/int a[3][4]

上面最后一个例子创建了一个数组,但也可以把它看成是一个多维数组。注意数组的下标从0开始。这个数组的结构如下:

a[0][0]a[0][1]a[0][2]a[0][3]
a[1][0]a[1][1]a[1][2]a[1][3]
a[2][0]a[2][1]a[2][2]a[2][3]

例子中notfull创建了一个3*3的二维数组,初始化时有些元素并未赋值。如下:

1  ?  ?1  2  34  5  ?

根据C标准的规定,在存在初始化列表时,如果初始化列表中未提供对所有元素的初始化,则剩余元素会被默认初始化,并使用与静态变量相同的初始化规则。

指针

如果一个变量声明时在前面使用 * 号,表明这是个指针型变量。换句话说,该变量存储一个地址,而 *(此处特指单目运算符 *,下同。C语言中另有双目运算符 * 表示乘) 则是取内容操作符,意思是取这个内存地址里存储的内容。把这两点结合在一起,可将 int *a;看作是 “*a 解得的内容类型为 int”,对更复杂的声明也如此。指针是 C 语言区别于其他同时代高级语言的主要特征之一。

指针不仅可以是变量的地址,还可以是数组、数组元素、函数的地址。通过指针作为形式参数可以在函数的调用过程得到一个以上的返回值(不同于return z这样的仅能得到一个返回值。

指针是一把双刃剑,许多操作可以通过指针自然的表达,但是不正确的或者过分的使用指针又会给程序带来大量潜在的错误。

例如:

int *pi;     // 指向整型数据的指针 piint * api[3];// 由指向整型数据的指针构成的数组,长度为 3char ** argv;// 指向一个字符指针的指针struct { int member; } stinst,  * pst = & stinst;// pst是一个指向一个匿名结构体的指针

储存在指针中的地址所指向的数值在程序中可以由 * 读取。例如,在第一个例子中, *pi 是一个整型数据。这叫做引用一个指针。

另一个运算符 &,叫做取地址运算符,它将返回一个变量、数组或函数的存储地址。因此,下面的例子:

int i, *pi; /* int and pointer to int */pi = &i;

i*pi 在程序中可以相互替换使用,直到 pi 被改变成指向另一个变量的地址。

当指针指向结构体时,可以使用运算符 -> 代替 *和. 的作用,如 (*p).mp->m 等效。

字符串

C语言的字符串其实就是char型数组,所以使用字符串并不需要引用库。然而C标准库确实包含了用于对字符串进行操作的函数,使得它们看起来就像字符串而不是数组。使用这些函数需要引用头文件string.h

文件输入/输出

在C语言中,输入和输出是经由标准库中的一组函数来实现的。在ANSI/ISO C中,这些函数被定义在头文件stdio.h中。

标准输入/输出

有三个标准输入/输出是标准I/O库预先定义的:

  • stdin 标准输入
  • stdout 标准输出
  • stderr 输入输出错误

下面的这个例子显示了一个过滤程序(filter program)是怎样构成的。

#include int main(int argc, const char * argv[]){    char c;    while ((c=getchar())!=EOF)        putchar(c);    perror("getchar() got EOF");    return -1;}

函数

C语言的基本结构单位是函数。系统首先调用 main函数(主函数),通过函数的嵌套调用,再调用其他函数。函数可以是系统自带的函数,也可以是用户定义的函数。C语言中,不允许函数嵌套定义。

内存管理

C语言的特色之一是:程序员必须亲自处理内存的分配细节。

C语言使用栈(Stack)来保存函数返回地址/栈帧基址、完成函数的参数传递和函数局部变量的存储。如果程序需要在运行的过程中动态分配内存,可以利用堆(Heap)来实现。

基本上C程序的元素存储在内存的时候有3种分配策略:

  • 静态分配

如果一个变量声明为全局变量或者是函数的静态变量,这个变量的存储将使用静态分配方式。静态分配的内存一般会被编译器放在数据段或代码段来存储,具体取决于实现。这样做的前提是,在编译时就必须确定变量的大小。以IA32的x86平台及gcc编译器为例,全局及静态变量放在数据段的低端;全局及静态常量放在代码段的高端。

  • 自动分配

函数的自动局部变量应该随着函数的返回会自动释放(失效),这个要求在一般的体系中都是利用栈(Stack)来满足的。相比于静态分配,这时候,就不必绝对要求这个变量在编译时就必须确定变量的大小,运行时才决定也不迟,但是C89仍然要求在编译时就要确定,而C99放松了这个限制。但无论是C89还是C99,都不允许一个已经分配的自动变量运行时改变大小。

所以说C函数永远不应该返回一个局部变量的地址

要指出的是,自动分配也属于动态分配,甚至可以用alloca函数来像分配堆(Heap)一样进行分配,而且释放是自动的。

  • 动态分配

还有一种更加特殊的情况,变量的大小在运行时有可能改变,或者虽然单个变量大小不变,变量的数目却有很大弹性,不能静态分配或者自动分配,这时候可以使用堆(Heap)来满足要求。ANSI C定义的堆操作函数是malloc、calloc、realloc和free。

使用堆(Heap)内存将带来额外的开销和风险。

安全问题

C语言的特色之一是:语言不负责内存边界检查。此特性容易导致缓冲区溢出问题。

主条目:C 标准库

C语言的标准文档要求了一个平台移植C语言的时候至少要实现的一些功能和封装的集合,称为“标准库”,标准库的声明头部通过预处理器命令#include进行引用。

在C89标准中:

文件简介说明
断言相关
字符类型判断
标准报错机制
浮点运算
各种体系结构限制
本地化接口
数学函数
跨函数跳转
信号(类似UNIX的信号定义,但是差很远)
可变参处理
一些标准宏定义
标准I/O库
标准工具库函数
ASCIIZ字符串及任意内存处理函数
时间相关

在94年的修正版中

在C99中增加了六个库

以上是C语言的标准。各个系统各自又对C库函数进行的各种扩充,就浩如烟海了。如POSIX C、GNU C等。

工具软件

工具软件可以帮助程序设计者避免一些程序中潜藏或容易出现的问题,例如常会造成程序未预期动作或是运行期错误的代码。

许多语言都有自动源代码检查及审计工具,C语言也有类似工具,像是Lint。可以在程序刚写好时用Lint找出可能有问题的程序,通过Lint后再用C编译器进行编译,许多编译器也可以设置是否要针对一些可能有问题的代码提出警告。MISRA C是一套针对嵌入式系统的法则,可主要也是避免一些可能有问题的代码。

也有一些编译器、程序库或操作系统可以处理一些非标准C语言的功能,例如边界值检查、缓存溢出侦测、序列化及自动垃圾回收功能。

使用像Valgrind或IBM Rational Purify英语Purify等软件工具,或者链接有特别malloc函数的程序库,有助于找出一些运行期存储器使用的问题。

保留关键字

以下是C语言的保留关键字:

charshortintunsigned
longfloatdoublestruct
unionvoidenumsigned
constvolatiletypedefauto
registerstaticexternbreak
casecontinuedefaultdo
elseforgotoif
returnswitchwhilesizeof

C99新增关键字

_Bool_Complex _Imaginaryinlinerestrict

C11新增关键字

_Alignas_Alignof _Atomic_Generic_Noreturn
_Static_assert_Thread_local

经典错误

“void main()”的用法并不是任何标准制定的。 C语言标准语法是“int main()”,任何实现都必须支持int main(void) { /* ... */ }int main(int argc, char* argv[]) { /* ... */ }。 在 C++ 标准中,main的标准类型应是int,否则类型是由实现定义的。任何实现都必须支持int main() { /* ... */ }int main(int argc, char* argv[]) { /* ... */ }

与本文近似的文章: