第 2 章 常量、变量和表达式

# 第 2 章 常量、变量和表达式 **目录** + [1\. 继续Hello World](ch02s01.html) + [2\. 常量](ch02s02.html) + [3\. 变量](expr.variable.html) + [4\. 赋值](ch02s04.html) + [5\. 表达式](expr.expression.html) + [6\. 字符类型与字符编码](ch02s06.html) ## 1. 继续Hello World 在[第 4 节 “第一个程序”](intro.helloworld.html "4. 第一个程序")中，读者应该已经尝试对Hello world程序做各种改动看编译运行结果，其中有些改动会导致编译出错，有些改动会影响程序的输出，有些改动则没有任何影响，下面我们总结一下。首先，注释可以跨行，也可以穿插在程序之中，看下面的例子。 **例 2.1. 带更多注释的Hello World** ``` #include /* * comment1 * main: generate some simple output */ int main(void) { printf(/* comment2 */"Hello, world.\n"); /* comment3 */ return 0; } ``` 第一个注释跨了四行，头尾两行是注释的界定符（Delimiter）/*和*/，中间两行开头的*号（Asterisk）并没有特殊含义，只是为了看起来整齐，这不是语法规则而是大家都遵守的C代码风格（Coding Style）之一，代码风格将在[第 9 章 _编码风格_](ch09.html#codingstyle)详细介绍。 使用注释需要注意两点： 1. 注释不能嵌套（Nest）使用，就是说一个注释的文字中不能再出现/*和*/了，例如`/* text1 /* text2 */ text3 */`是错误的，编译器只把`/* text1 /* text2 */`看成注释，后面的 `text3 */`无法解析，因而会报错。 2. 有的C代码中有类似`// comment`的注释，两个/斜线（Slash）表示从这里直到该行末尾的所有字符都属于注释，这种注释不能跨行，也不能穿插在一行代码中间。这是从C++借鉴的语法，在C99中被标准化。 ### C语言标准 C语言的发展历史大致上分为三个阶段：Old Style C、C89和C99。Ken Thompson和Dennis Ritchie最初发明C语言时有很多语法和现在最常用的写法并不一样，但为了向后兼容性（Backward Compatibility），这些语法仍然在C89和C99中保留下来了，本书不详细讲Old Style C，但在必要的地方会加以说明。C89是最早的C语言规范，于1989年提出，1990年首先由ANSI（美国国家标准委员会，American National Standards Institute）推出，后来被接纳为ISO国际标准（ISO/IEC 9899:1990），因而有时也称为C90，最经典的C语言教材[[K&R]](bi01.html#bibli.kr "The C Programming Language")就是基于这个版本的，C89是目前最广泛采用的C语言标准，大多数编译器都完全支持C89。C99标准（ISO/IEC 9899:1999）是在1999年推出的，加入了许多新特性，但目前仍没有得到广泛支持，在C99推出之后相当长的一段时间里，连`gcc`也没有完全实现C99的所有特性。C99标准详见[[C99]](bi01.html#bibli.c99 "ISO/IEC 9899: Programming Languages － C")。本书讲C的语法以C99为准，但示例代码通常只使用C89语法，很少使用C99的新特性。 C标准的目的是为了精确定义C语言，而不是为了教别人怎么编程，C标准在表达上追求准确和无歧义，却十分不容易看懂，[[Standard C]](bi01.html#bibli.standardc "Standard C: A Reference")和[[Standard C Library]](bi01.html#bibli.standardclib "The Standard C Library")是对C89及其修订版本的阐释（可惜作者没有随C99更新这两本书），比C标准更容易看懂，另外，参考[[C99 Rationale]](bi01.html#bibli.rationale "Rationale for International Standard － Programming Languages － C")也有助于加深对C标准的理解。 像`"Hello, world.\n"`这种由双引号（Double Quote）引起来的一串字符称为字符串字面值（String Literal），或者简称字符串。注意，程序的运行结果并没有双引号，`printf`打印出来的只是里面的一串字符`Hello, world.`，因此双引号是字符串字面值的界定符，夹在双引号中间的一串字符才是它的内容。注意，打印出来的结果也没有`\n`这两个字符，这是为什么呢？在[第 2 节 “自然语言和形式语言”](intro.naturalformal.html "2. 自然语言和形式语言")中提到过，C语言规定了一些转义序列（Escape Sequence），这里的`\n`并不表示它的字面意思，也就是说并不表示\和n这两个字符本身，而是合起来表示一个换行符（Line Feed）。例如我们写三条打印语句： ``` printf("Hello, world.\n"); printf("Goodbye, "); printf("cruel world!\n"); ``` 运行的结果是第一条语句单独打到第一行，后两条语句都打到第二行。为了节省篇幅突出重点，以后的例子通常省略`#include`和`int main(void) { ... }`这些Boilerplate，但读者在练习时需要加上这些构成一个完整的程序才能编译通过。C标准规定的转义字符有以下几种： **表 2.1. C标准规定的转义字符** | | | | --- | --- | | `\'` | 单引号'（Single Quote或Apostrophe） | | `\"` | 双引号" | | `\?` | 问号?（Question Mark） | | `\\` | 反斜线\（Backslash） | | `\a` | 响铃（Alert或Bell） | | `\b` | 退格（Backspace） | | `\f` | 分页符（Form Feed） | | `\n` | 换行（Line Feed） | | `\r` | 回车（Carriage Return） | | `\t` | 水平制表符（Horizontal Tab） | | `\v` | 垂直制表符（Vertical Tab） | 如果在字符串字面值中要表示单引号和问号，既可以使用转义序列`\'`和`\?`，也可以直接用字符'和?，而要表示\或"则必须使用转义序列，因为\字符表示转义而不表示它的字面含义，"表示字符串的界定符而不表示它的字面含义。可见转义序列有两个作用：一是把普通字符转义成特殊字符，例如把字母n转义成换行符；二是把特殊字符转义成普通字符，例如\和"是特殊字符，转义后取它的字面值。 C语言规定了几个控制字符，不能用键盘直接输入，因此采用\加字母的转义序列表示。`\a`是响铃字符，在字符终端下显示这个字符的效果是PC喇叭发出嘀的一声，在图形界面终端下的效果取决于终端的实现。在终端下显示`\b`和按下退格键的效果相同。`\f`是分页符，主要用于控制打印机在打印源代码时提前分页，这样可以避免一个函数跨两页打印。`\n`和`\r`分别表示Line Feed和Carriage Return，这两个词来自老式的英文打字机，Line Feed是跳到下一行（进纸，喂纸，有个喂的动作所以是feed），Carriage Return是回到本行开头（Carriage是卷着纸的轴，随着打字慢慢左移，打完一行就一下子移回最右边），如果你看过欧美的老电影应该能想起来这是什么。用老式打字机打完一行之后需要这么两个动作，`\r\n`，所以现在Windows上的文本文件用`\r\n`做行分隔符，许多应用层网络协议（如HTTP）也用`\r\n`做行分隔符，而Linux和各种UNIX上的文本文件只用`\n`做行分隔符。在终端下显示`\t`和按下Tab键的效果相同，用于在终端下定位表格的下一列，`\v`用于在终端下定位表格的下一行。`\v`比较少用，`\t`比较常用，以后将“水平制表符”简称为“制表符”或Tab。请读者用`printf`语句试试这几个控制字符的作用。 注意`"Goodbye, "`末尾的空格，字符串字面值中的空格也算一个字符，也会出现在输出结果中，而程序中别处的空格和Tab多一个少一个往往是无关紧要的，不会对编译的结果产生任何影响，例如不缩进不会影响程序的结果，`main`后面多几个空格也没影响，但是`int`和`main`之间至少要有一个空格分隔开： ``` int main (void) { printf("Hello, world.\n"); return 0; } ``` 不仅空格和Tab是无关紧要的，换行也是如此，我甚至可以把整个程序写成一行，但是`include`必须单独占一行： ``` #include int main(void){printf("Hello, world.\n");return 0;} ``` 这样也行，但肯定不是好的代码风格，去掉缩进已经很影响可读性了，写成现在这个样子可读性更差。如果编译器说第2行有错误，也很难判断是哪个语句有错误。所以，_好的代码风格要求缩进整齐，每个语句一行，适当留空行_。 ## 2. 常量 常量（Constant）是程序中最基本的元素，有字符（Character）常量、整数（Integer）常量、浮点数（Floating Point）常量和枚举常量。枚举常量将在[第 3 节 “数据类型标志”](ch07s03.html#struct.datatag)介绍。下面看一个例子： ``` printf("character: %c\ninteger: %d\nfloating point: %f\n", '}', 34, 3.14); ``` 字符常量要用单引号括起来，例如上面的`'}'`，注意单引号只能括一个字符而不能像双引号那样括一串字符，字符常量也可以是一个转义序列，例如`'\n'`，这时虽然单引号括了两个字符，但实际上只表示一个字符。和字符串字面值中使用转义序列有一点区别，如果在字符常量中要表示双引号"和问号?，既可以使用转义序列`\"`和`\?`，也可以直接用字符"和?，而要表示'和\则必须使用转义序列。^{[[2](#ftn.id2707915)]} 计算机中整数和小数的内部表示方式不同（将在[第 14 章 _计算机中数的表示_](ch14.html#number)详细介绍），因而在C语言中是两种不同的类型（Type），例如上例的`34`和`3.14`，小数在计算机术语中称为浮点数。这个语句的输出结果和Hello world不太一样，字符串`"character: %c\ninteger: %d\nfloating point: %f\n"`并不是按原样打印输出的，而是输出成这样： ``` character: } integer: 34 floating point: 3.14 ``` `printf`中的第一个字符串称为格式化字符串（Format String），它规定了后面几个常量以何种格式插入到这个字符串中，在格式化字符串中%号（Percent Sign）后面加上字母c、d、f分别表示字符型、整型和浮点型的转换说明（Conversion Specification），转换说明只在格式化字符串中占个位置，并不出现在最终的打印结果中，这种用法通常叫做占位符（Placeholder）。这也是一种字面意思与真实意思不同的情况，但是转换说明和转义序列又有区别：_转义序列是编译时处理的，而转换说明是在运行时调用`printf`函数处理的_。源文件中的字符串字面值是`"character: %c\ninteger: %d\nfloating point: %f\n"`，`\n`占两个字符，而编译之后保存在可执行文件中的字符串是`character： %c换行integer: %d换行floating point: %f换行`，`\n`已经被替换成一个换行符，而`%c`不变，然后在运行时这个字符串被传给`printf`，`printf`再把其中的`%c`、`%d`、`%f`解释成转换说明。 有时候不同类型的数据很容易弄混，例如`"5"`、`'5'`、`5`，如果你注意了它们的界定符就会很清楚，第一个是字符串字面值，第二个是字符，第三个是整数，看了本章后面几节你就知道为什么一定要严格区分它们之间的差别了。 ### 习题 1、总结前面介绍的转义序列的规律，想想在`printf`的格式化字符串中怎么表示一个%字符？写个小程序试验一下。 * * * ^{[[2](#id2707915)]} 读者可能会奇怪，为什么需要规定一个转义序列`\?`呢？因为C语言规定了一些三连符（Trigraph），在某些特殊的终端上缺少某些字符，需要用Trigraph输入，例如用`??=`表示#字符。Trigraph极不常用，介绍这个只是为了让读者理解C语言规定转义序列的作用，即特殊字符转普通字符，普通字符转特殊字符，?也是一种特殊字符。极不常用的C语法在本书中通常不会介绍。 ## 3. 变量 变量（Variable）是编程语言最重要的概念之一，变量是计算机存储器中的一块命名的空间，可以在里面存储一个值（Value），存储的值是可以随时变的，比如这次存个字符`'a'`下次存个字符`'b'`，正因为变量的值可以随时变所以才叫变量。 常量有不同的类型，因此变量也有不同的类型，变量的类型也决定了它所占的存储空间的大小。例如以下四个语句定义了四个变量`fred`、`bob`、`jimmy`和`tom`，它们的类型分别是字符型、整型、浮点型： ``` char fred; int bob; float jimmy; double tom; ``` ### 声明和定义 C语言中的声明（Declaration）有变量声明、函数声明和类型声明三种。如果一个变量或函数的声明要求编译器为它分配存储空间，那么也可以称为定义（Definition），因此定义是声明的一种。在接下来几章的示例代码中变量声明都是要分配存储空间的，因而都是定义，等学到[第 2 节 “定义和声明”](ch20s02.html#link.defdecl)我们会看到哪些变量声明不分配存储空间因而不是定义。在下一章我们会看到函数的定义和声明也是这样区分的，分配存储空间的函数声明可以称为函数定义。从[第 7 章 _结构体_](ch07.html#struct)开始我们会看到类型声明，声明一个类型是不分配存储空间的，但似乎叫“类型定义”听起来也不错，所以在本书中“类型定义”和“类型声明”表示相同的含义。声明和语句类似，也是以;号结尾的，但是在语法上声明和语句是有区别的，语句只能出现在{}括号中，而声明既可以出现在{}中也可以出现在所有{}之外。 浮点型有三种，`float`是单精度浮点型，`double`是双精度浮点型，`long double`是精度更高的浮点型。它们之间的区别和转换规则将在[第 15 章 _数据类型详解_](ch15.html#type)详细介绍，在随后的几章中我们只使用`double`类型，上一节介绍的常量3.14应该看作`double`类型的常量，`printf`的`%f`也应该看作`double`型的转换说明。给变量起名不能太随意，上面四个变量的名字就不够好，我们猜不出这些变量是用来存什么的。而像下面这样起名就很好： ``` char firstletter; char lastletter; int hour, minute; ``` 我们可以猜得到这些变量是用来存什么的，前两个变量的取值范围应该是`'A'`~`'Z'`或`'a'`~`'z'`，变量`hour`的取值范围应该是0~23，变量`minute`的取值范围应该是0~59，所以应该给变量起有意义的名字。从这个例子中我们也看到两个相同类型的变量（`hour`和`minute`）可以一起声明。 给变量起名有一定的限制，C语言规定必须以字母或下划线_（Underscore）开头，后面可以跟若干个字母、数字、下划线，但不能有其它字符。例如这些是合法的变量名：`Abc`、`__abc__`、`_123`。但这些是不合法的变量名：`3abc`、`ab$`。其实这个规则不仅适用于变量名，也适用于所有可以由程序员起名的语法元素，例如以后要讲的函数名、宏定义、结构体成员名等，在C语言中这些统称为标识符（Identifier）。 另外要注意，表示类型的`char`、`int`、`float`、`double`等虽然符合上述规则，但也不能用作标识符。在C语言中有些单词有特殊意义，不允许用作标识符，这些单词称为关键字（Keyword）或保留字（Reserved Word）。通常用于编程的文本编辑器都会高亮显示（Highlight）这些关键字，所以只要小心一点通常不会误用作标识符。C99规定的关键字有： auto  break  case  char  const  continue  default  do  double else  enum  extern  float  for  goto  if  inline  int  long register  restrict  return  short  signed  sizeof  static  struct  switch  typedef union  unsigned  void  volatile  while  _Bool  _Complex  _Imaginary 还有一点要注意，_一般来说应避免使用以下划线开头的标识符_，以下划线开头的标识符只要不和C语言关键字冲突的都是合法的，但是往往被编译器用作一些功能扩展，C标准库也定义了很多以下划线开头的标识符，所以除非你对编译器和C标准库特别清楚，一般应避免使用这种标识符，以免造成命名冲突。 请记住：_理解一个概念不是把定义背下来就行了，一定要理解它的外延和内涵，也就是什么情况属于这个概念，什么情况不属于这个概念，什么情况虽然属于这个概念但一般推荐的做法（Best Practice）是要尽量避免这种情况，这才算是真正理解了。_ ## 4. 赋值 定义了变量之后，我们要把值存到它们所表示的存储空间里，可以用赋值（Assignment）语句实现： ``` char firstletter; int hour, minute; firstletter = 'a'; /* give firstletter the value 'a' */ hour = 11; /* assign the value 11 to hour */ minute = 59; /* set minute to 59 */ ``` 注意变量一定要先声明后使用，编译器必须先看到变量声明，才知道`firstletter`、`hour`和`minute`是变量名，各自代表一块存储空间。另外，变量声明中的类型表明这个变量代表多大的一块存储空间，这样编译器才知道如何读写这块存储空间。还要注意，这里的等号不表示数学里的相等关系，和1+1=2的等号是不同的，这里的等号表示赋值。在数学上不会有`i=i+1`这种等式成立，而在C语言中表示把变量`i`的存储空间中的值取出来，再加上1，得到的结果再存回`i`的存储空间中。再比如，在数学上`a=7`和`7=a`是一样的，而在C语言中后者是不合法的。总结一下：定义一个变量，就是分配一块存储空间并给它命名；给一个变量赋值，就是把一个值保存到这块存储空间中。变量的定义和赋值也可以一步完成，这称为变量的初始化（Initialization），例如要达到上面代码的效果也可以这样写： ``` char firstletter = 'a'; int hour = 11, minute = 59; ``` 在初始化语句中，等号右边的值叫做Initializer，例如上面的`'a'`、11和59。注意，_初始化是一种特殊的声明，而不是一种赋值语句_。就目前来看，先定义一个变量再给它赋值和定义这个变量的同时给它初始化所达到的效果是一样的，C语言的很多语法规则既适用于赋值也适用于初始化，但在以后的学习中你也会了解到它们之间的不同，请在学习过程中注意总结赋值和初始化的相同和不同之处。 如果在纸上“跑”一个程序（每个初学编程的人都要练这项基本功），可以用一个框表示变量的存储空间，在框的外边标上变量名，在框里记上它的值，如下图所示。 **图 2.1. 在纸上表示变量**  你可以用不同形状的框表示不同类型的变量，这样可以提醒你给变量赋的值必须符合它的类型。如果所赋的值和变量的类型不符会导致编译器报警告或报错（这是一种语义错误），例如： ``` int hour, minute; hour = "Hello."; /* WRONG ! */ minute = "59"; /* WRONG !! */ ``` 注意第3个语句，把`"59"`赋给`minute`看起来像是对的，但是类型不对，字符串不能赋给整型变量。 既然可以为变量的存储空间赋值，就应该可以把值取出来用，现在我们取出这些变量的值用`printf`打印： ``` printf("Current time is %d:%d", hour, minute); ``` 变量名用在等号左边表示赋值，而用在`printf`中表示把它的存储空间中的值取出来替换在那里。不同类型的变量所占的存储空间大小是不同的，数据表示方式也不同，变量的最小存储单位是字节（Byte），在C语言中`char`型变量占一个字节，其它类型的变量占多少字节在不同平台上有不同的规定，将在[第 15 章 _数据类型详解_](ch15.html#type)详细讨论。 ## 5. 表达式 常量和变量都可以参与加减乘除运算，例如`1+1`、`hour-1`、`hour * 60 + minute`、`minute/60`等。这里的+ - * /称为运算符（Operator），而参与运算的常量和变量称为操作数（Operand），上面四个由运算符和操作数所组成的算式称为表达式（Expression）。 和数学上规定的一样，`hour * 60 + minute`这个表达式应该先算乘再算加，也就是说运算符是有优先级（Precedence）的，*和/是同一优先级，+和-是同一优先级，*和/的优先级高于+和-。对于同一优先级的运算从左到右计算，如果不希望按默认的优先级计算则要加()括号（Parenthesis）。例如`(3+4)*5/6`应先算3+4，再算*5，再算/6。 前面讲过打印语句和赋值语句，现在我们定义：在任意表达式后面加个;号也是一种语句，称为表达式语句。例如： ``` hour * 60 + minute; ``` 这是个合法的语句，但这个语句在程序中起不到任何作用，把hour的值和minute的值取出来加乘，得到的计算结果却没有保存，白算了一通。再比如： ``` int total_minute; total_minute = hour * 60 + minute; ``` 这个语句就很有意义，把计算结果保存在另一个变量`total_minute`里。事实上等号也是一种运算符，称为赋值运算符，赋值语句就是一种表达式语句，等号的优先级比+和*都低，所以先算出等号右边的结果然后才做赋值操作，整个表达式`total_minute = hour * 60 + minute`加个;号构成一个语句。 _任何表达式都有值和类型两个基本属性_。`hour * 60 + minute`的值是由三个`int`型的操作数计算出来的，所以这个表达式的类型也是`int`型。同理，表达式`total_minute = hour * 60 + minute`的类型也是`int`，它的值是多少呢？C语言规定等号运算符的计算结果就是等号左边被赋予的那个值，所以这个表达式的值和`hour * 60 + minute`的值相同，也和`total_minute`的值相同。 等号运算符还有一个和+ - * /不同的特性，如果一个表达式中出现多个等号，不是从左到右计算而是从右到左计算，例如： ``` int total_minute, total; total = total_minute = hour * 60 + minute; ``` 计算顺序是先算`hour * 60 + minute`得到一个结果，然后算右边的等号，就是把`hour * 60 + minute`的结果赋给变量`total_minute`，这个结果同时也是整个表达式`total_minute = hour * 60 + minute`的值，再算左边的等号，即把这个值再赋给变量`total`。同样优先级的运算符是从左到右计算还是从右到左计算称为运算符的结合性（Associativity）。+ - * /是左结合的，等号是右结合的。 现在我们总结一下到目前为止学过的语法规则： 表达式 → 标识符 表达式 → 常量 表达式 → 字符串字面值 表达式 → (表达式) 表达式 → 表达式 + 表达式 表达式 → 表达式 - 表达式 表达式 → 表达式 * 表达式 表达式 → 表达式 / 表达式 表达式 → 表达式 = 表达式 语句 → 表达式; 语句 → printf(表达式, 表达式, 表达式, ...); 变量声明 → 类型 标识符 = Initializer, 标识符 = Initializer, ...; （= Initializer的部分可以不写） 注意，_本书所列的语法规则都是简化过的，是不准确的，目的是为了便于初学者理解_，比如上面所列的语法规则并没有描述运算符的优先级和结合性。完整的C语法规则请参考[[C99]](bi01.html#bibli.c99 "ISO/IEC 9899: Programming Languages － C")的Annex A。 表达式可以是单个的常量或变量，也可以是根据以上规则组合而成的更复杂的表达式。以前我们用`printf`打印常量或变量的值，现在可以用`printf`打印更复杂的表达式的值，例如： ``` printf("%d:%d is %d minutes after 00:00\n", hour, minute, hour * 60 + minute); ``` 编译器在翻译这条语句时，首先根据上述语法规则把这个语句解析成下图所示的语法树，然后再根据语法树生成相应的指令。语法树的末端的是一个个Token，每一步展开利用一条语法规则。 **图 2.2. 语法树**  根据这些语法规则进一步组合可以写出更复杂的语句，比如在一条语句中完成计算、赋值和打印功能： ``` printf("%d:%d is %d minutes after 00:00\n", hour, minute, total_minute = hour * 60 + minute); ``` 理解组合（Composition）规则是理解语法规则的关键所在，正因为可以根据语法规则任意组合，我们才可以用简单的常量、变量、表达式、语句搭建出任意复杂的程序，以后我们学习新的语法规则时会进一步体会到这一点。从上面的例子可以看出，表达式不宜过度组合，否则会给阅读和调试带来困难。 根据语法规则组合出来的表达式在语义上并不总是正确的，例如： ``` minute + 1 = hour; ``` 等号左边的表达式要求表示一个存储位置而不是一个值，这是等号运算符和+ - * /运算符的又一个显著不同。有的表达式既可以表示一个存储位置也可以表示一个值，而有的表达式只能表示值，不能表示存储位置，例如`minute + 1`这个表达式就不能表示存储位置，放在等号左边是语义错误。表达式所表示的存储位置称为左值（lvalue）（允许放在等号左边），而以前我们所说的表达式的值也称为右值（rvalue）（只能放在等号右边）。上面的话换一种说法就是：_有的表达式既可以做左值也可以做右值，而有的表达式只能做右值_。目前我们学过的表达式中只有变量可以做左值，可以做左值的表达式还有几种，以后会讲到。 我们看一个有意思的例子，如果定义三个变量`int a, b, c;`，表达式`a = b = c`是合法的，先求`b = c`的值，再把这个值赋给`a`，而表达式`(a = b) = c`是不合法的，先求`(a = b)`的值没问题，但`(a = b)`这个表达式不能再做左值了，因此放在`= c`的等号左边是错的。 关于整数除法运算有一点特殊之处： ``` hour = 11; minute = 59; printf("%d and %d hours\n", hour, minute / 60); ``` 执行结果是`11 and 0 hours`，也就是说59/60得0，这是因为两个`int`型操作数相除的表达式仍为`int`型，只能保存计算结果的整数部分，即使小数部分是0.98也要舍去。 向下取整的运算称为Floor，用数学符号⌊⌋表示；向上取整的运算称为Ceiling，用数学符号⌈⌉表示。例如： ⌊59/60⌋=0 ⌈59/60⌉=1 ⌊-59/60⌋=-1 ⌈-59/60⌉=0 在C语言中整数除法取的既不是Floor也不是Ceiling，无论操作数是正是负总是把小数部分截掉，在数轴上向零的方向取整（Truncate toward Zero），或者说当操作数为正的时候相当于Floor，当操作符为负的时候相当于Ceiling。回到先前的例子，要得到更精确的结果可以这样： ``` printf("%d hours and %d percent of an hour\n", hour, minute * 100 / 60); printf("%d and %f hours\n", hour, minute / 60.0); ``` 在第二个`printf`中，表达式是`minute / 60.0`，60.0是`double`型的，/运算符要求左右两边的操作数类型一致，而现在并不一致。C语言规定了一套隐式类型转换规则，在这里编译器自动把左边的`minute`也转成`double`型来计算，整个表达式的值也是`double`型的，在格式化字符串中应该用`%f`转换说明与之对应。本来编程语言作为一种形式语言要求有简单而严格的规则，自动类型转换规则不仅很复杂，而且使C语言的形式看起来也不那么严格了，C语言这么设计是为了书写程序简便而做的折衷，有些事情编译器可以自动做好，程序员就不必每次都写一堆繁琐的转换代码。然而C语言的类型转换规则非常难掌握，本书的前几章会尽量避免类型转换，到[第 3 节 “类型转换”](ch15s03.html#type.conversion)再集中解决这个问题。 ### 习题 1、假设变量`x`和`n`是两个正整数，我们知道`x/n`这个表达式的结果要取Floor，例如`x`是17，`n`是4，则结果是4。如果希望结果取Ceiling应该怎么写表达式呢？例如`x`是17，`n`是4，则结果是5；`x`是16，`n`是4，则结果是4。 ## 6. 字符类型与字符编码 字符常量或字符型变量也可以当作整数参与运算，例如： ``` printf("%c\n", 'a'+1); ``` 执行结果是`b`。 我们知道，符号在计算机内部也用数字表示，每个字符在计算机内部用一个整数表示，称为字符编码（Character Encoding），目前最常用的是ASCII码（American Standard Code for Information Interchange，美国信息交换标准码），详见[图 A.1 “ASCII码表”](apas01.html#app-encoding.ascii)。表中每一栏的最后一列是字符，前三列分别是用十进制（Dec）、十六进制（Hx）和八进制（Oct）表示的字符编码，各种进制之间的换算将在[第 2 节 “不同进制之间的换算”](ch14s02.html#number.convert)介绍。从十进制那一列可以看出ASCII码的取值范围是0~127。表中的很多字符是不可见字符（Non-printable Character）或空白字符（Whitespace）^{[[3](#ftn.id2709665)]}，不能像字母a这样把字符本身填在表中，而是用一个名字来描述该字符，例如CR(carriage return)、LF(NL line feed，newline)、DEL等等。作为练习，请读者查一查[表 2.1 “C标准规定的转义字符”](ch02s01.html#expr.escapeseq)中的字符在ASCII码表中的什么位置。 回到刚才的例子，在ASCII码中字符`a`是97，字符`b`是98。计算`'a'+1`这个表达式，应该按ASCII码把`'a'`当作整数值97，然后加1，得到98，然后`printf`把98这个整数值当作ASCII码来解释，打印出相应的字符`b`。 之前我们说“整型”是指`int`型，而现在我们知道`char`型本质上就是整数，只不过取值范围比`int`型小，所以_以后我们把`char`型和`int`型统称为整数类型（Integer Type）或简称整型_，以后我们还要学习几种类型也属于整型，将在[第 1 节 “整型”](ch15s01.html#type.integertype)详细介绍。 字符`'a'`~`'z'`、`'A'`~`'Z'`、`'0'`~`'9'`的ASCII码都是连续的，因此表达式`'a'+25`和`'z'`的值相等，`'0'+9`和`'9'`的值也相等。注意`'0'`~`'9'`的ASCII码是十六进制的30~39，和整数值0~9是不相等的。 字符也可以用ASCII码转义序列表示，这种转义序列由\加上1~3个八进制数字组成，或者由`\x`或大写`\X`加上1~2个十六进制数字组成，可以用在字符常量或字符串字面值中。例如`'\0'`表示NUL字符（Null Character），`'\11'`或`'\x9'`表示Tab字符，`"\11"`或`"\x9"`表示由Tab字符组成的字符串。注意`'0'`的ASCII码是48，而`'\0'`的ASCII码是0，两者是不同的。 * * * ^{[[3](#id2709665)]} 空白字符在不同的上下文中有不同的含义，在C语言中空白字符定义为空格、水平Tab、垂直Tab、换行和分页符，本书在使用“空白字符”这个词时会明确说明在当前上下文中空白字符指的是哪些字符。