龙华新区网站建设,100个免费邮箱号码,介绍北京的网站html,服务器建站用哪个系统好文章目录一、程序环境1.1 - 翻译环境1.1.1 - 编译1.1.1.1 - 预编译#xff08;预处理#xff09;1.1.1.2 - 编译1.1.1.3 - 汇编1.1.2 - 链接1.2 - 执行环境二、预处理详解2.1 - 预定义符号2.2 - #define2.2.1 - #define 定义标识符2.2.1.1 - 语法2.2.1.2 - 建议2.2.2 - #defi…
文章目录一、程序环境1.1 - 翻译环境1.1.1 - 编译1.1.1.1 - 预编译预处理1.1.1.2 - 编译1.1.1.3 - 汇编1.1.2 - 链接1.2 - 执行环境二、预处理详解2.1 - 预定义符号2.2 - #define2.2.1 - #define 定义标识符2.2.1.1 - 语法2.2.1.2 - 建议2.2.2 - #define 定义宏2.2.2.1 - 语法2.2.2.2 - 示例一2.2.2.3 - 示例二2.2.3 - #define 替换规则2.2.4 - \#2.2.5 - \##2.2.6 - 带副作用的宏参数2.2.7 - 宏和函数的对比2.2.8 - 命名约定2.3 - #undef2.4 - 命令行定义2.5 - 条件编译2.6 - 头文件包含2.6 - 头文件包含一、程序环境
在 ANSI C 的任何一种实现中存在两种不同的环境。 ANSI C 是由美国国家标准协会ANSI即 American National Standards Institute及国际标准化组织ISO即 International Organization for Standardization推出的关于 C 语言的标准。 第一种是翻译环境translation environment在这个环境中源代码被转换为可执行的机器指令。第二种是执行环境execution environment它用于实际执行代码。
1.1 - 翻译环境
程序的翻译就在翻译环境当中执行翻译由编译和链接过程组成。 组成一个程序的每个源文件通过编译过程分别转换成目标文件。 每个目标文件由链接器捆绑在一起形成一个单一而完整的可执行程序。链接器同时也会引入标准 C 函数库中任何被该程序所用到的函数而且它可以搜索程序个人的程序库将其需要的函数链接到程序中。 1.1.1 - 编译
编译又具体分为预编译预处理、编译、汇编这三个过程。
下面通过 Windows 平台下的 gcc 编译器来演示整个过程。
test.h
struct S
{char c;int i;
};test.c
#include test.h// This is a test program.#define MAX 100int main()
{struct S s;int m MAX;return 0;
}1.1.1.1 - 预编译预处理
输入指令 gcc -E test.c -o test.i其中 -E 选项可以使编译在预编译过程结束后停下来后面的 -o 选项则表示输出output的意思即将预编译结束后源代码所呈现的内容放到 test.i 这个文件中去。
test.i
# 1 test.c
# 1 built-in
# 1 command-line
# 1 test.c
# 1 test.h 1
struct S
{char c;int i;
};
# 2 test.c 2int main()
{struct S s;int m 100;return 0;
}
通过对比 test.c 和 test.i我们可以得出在预编译阶段编译器会执行 #include 头文件的包含、#define 定义符号的替换以及注释的删除等文本操作。
1.1.1.2 - 编译
输入指令 gcc -S test.c 或者 gcc -S test.i其中 -S 选项可以使编译在编译过程结束后停下来在编译过程结束后会生成一个 test.s 的文件。
test.s .file test.c.text.def __main; .scl 2; .type 32; .endef.globl main.def main; .scl 2; .type 32; .endef.seh_proc main
main:pushq %rbp.seh_pushreg %rbpmovq %rsp, %rbp.seh_setframe %rbp, 0subq $48, %rsp.seh_stackalloc 48.seh_endprologuecall __mainmovl $100, -4(%rbp)movl $0, %eaxaddq $48, %rsppopq %rbpret.seh_endproc.ident GCC: (x86_64-win32-seh-rev0, Built by MinGW-W64 project) 8.1.0
在编译阶段编译器会进行语法分析、词法分析、语义分析、符号汇总将 C 语言代码翻译成汇编代码。
1.1.1.3 - 汇编
输入指令 gcc -c test.c 或者 gcc -c test.s其中 -c 选项可以使编译在汇编过程结束后停下来在汇编过程结束后会生成一个 test.o 的目标文件。 在 VS 中编译源文件得到的目标文件的后缀名是 .obj。 在汇编阶段编译器会生成符号表将汇编指令翻译成二进制指令。
1.1.2 - 链接
链接过程包括
合并段表。符号表的合并和重定位。生成可执行文件。
1.2 - 执行环境
在编写和转换一个 C 程序之前需要考虑它的执行环境因为这关系到源文件的内容程序应当如何编写也关系到转换后的程序是否正常执行。通常有两种不同的执行环境分别是独立式环境freestanding environment和宿主式环境hosted environment。
这两种环境的划分基于 C 在不同领域里的广泛应用。在很多情况下可能没有操作系统或者从操作系统那里得到的支持有限又或者正在编写一个操作系统。此时要求程序能独立自主地执行。在这方面典型的例子包括仪器仪表的固件、控制器等嵌入式领域里的设备。
在宿主式环境下程序的加载、执行和终止通常要受操作系统的控制和调度并允许使用操作系统提供的各种功能和组件比如文件系统。
举例来说如果制作了一个带有处理器的数字电路并想用 C 编写一个程序来直接驱动它工作前提是存在一个针对该处理器的 C 的实现能够生成被该处理器识别和执行的机器代码那么这个简单的电路就是独立式环境如果想写一个能在 Windows 下运行的窗口程序那么 Windows 连同运行它的硬件就构成了宿主式环境。 以上文字摘自 《标准 C 语言指南》电子工业出版社的 1.3.2 节执行环境。 二、预处理详解
2.1 - 预定义符号
__FILE__ // 进行编译的源文件
__LINE__ // 当前的行号
__DATE__ // 文件被编译的日期
__TIME__ // 文件被编译的时间
__STDC__ // 如果编译器遵循 ANSI C其值为 1否则未定义这些预定义符号都是语言内置的。
示例
#include stdio.hint main()
{printf(%s\n, __FILE__);printf(%d\n, __LINE__);printf(%s\n, __DATE__);printf(%s\n, __TIME__);// printf(%d\n, __STDC__);printf(%s\n, __FUNCTION__);return 0;
}一般在文件输入输出以及输出日志等场合下我们会用到这些预定义符号。 2.2 - #define
2.2.1 - #define 定义标识符
2.2.1.1 - 语法
#define name stuff示例 1
#define do_forever for(;;) // 用更形象的符号来替代一种实现示例 2
#include stdio.h#define CASE break;case // 在写 case 语句的时候自动把 break 写上int main()
{int day 0;scanf(%d, day);switch (day){case 1:printf(星期一\n);CASE 2:printf(星期二\n);CASE 3:printf(星期三\n);CASE 4:printf(星期四\n);CASE 5:printf(星期五\n);CASE 6:printf(星期六\n);CASE 7:printf(星期天\n);break;default:printf(输入错误!\n);break;}return 0;
}示例 3
// 如果 stuff 过长可以分成几行写除了最后一行外每行的后面都要加上一个反斜杠续行符
#define DEBUG_PRINT printf(file:%s\tline:%d\t \date:%s\ttime:%s\n, \__FILE__, __LINE__, \__DATE__, __TIME__)2.2.1.2 - 建议
在使用 #define 定义标识符时建议不要在最后加上分号;否则容易导致问题的出现。例如
#define MAX 1000;if (condition)max MAX;
elsemax 0;max MAX; 实际上是 max MAX;;即一条赋值语句和一条空语句。 2.2.2 - #define 定义宏
#define 机制包括了一个规定允许把参数替换到文本中这种实现通常称为宏macro或定义宏define macro。
2.2.2.1 - 语法
#define name(parameter-list) stuff其中参数列表 parameter-list 是一个由逗号隔开的符号表它们可能出现在 stuff 中。 注意参数列表的左括号必须与 name 紧邻如果两者之间有任何空白存在 参数列表就会被解释为 stuff 的一部分。 2.2.2.2 - 示例一
#define SQUARE(X) X * X以上定义的宏存在一定的问题例如
#include stdio.h#define SQUARE(X) X * Xint main()
{printf(%d\n, SQUARE(5 1)); // 11return 0;
}程序输出的结果是 11而不是预期的 36。 这是因为替换文本时参数 X 被替换成了 5 1SQUARE(5 1) 实际上就变成了 5 1 * 5 1。 那么可以做如下的改进
#define SQUARE(X) (X) * (X)2.2.2.3 - 示例二
#define DOUBLE(X) (X) (X)尽管示例二吸取了示例一的教训但以上定义的宏仍然存在一定的问题例如
#include stdio.h#define DOUBLE(X) (X) (X)int main()
{printf(%d\n, 10 * DOUBLE(5)); // 55return 0;
}程序输出的结果是 55而不是预期的 100。 这是因为 10 * DOUBLE(5) 实际上是 10 * (5) (5)而乘法运算先于宏定义中的加法运算。 接着做如下的改进
#define DOUBLE(X) ((X) (X))总结用于对数值表达式进行求值的宏定义都应该用上面这种方式加上括号避免在使用宏时由于参数中的操作符或邻近操作符之间不可预料的相互作用。
2.2.3 - #define 替换规则
在程序中扩展 #define 定义符号和宏时需要涉及几个步骤
在调用宏时首先对参数进行检查看看是否包含任何由 #define 定义的符号如果包含它们首先被替换。替换文本随后插入到程序中原来文本的位置。对应宏参数名被它们的值所替换。最后再对结果文件进行扫描看看它是否包含任何由 #define 定义的符号如果包含则重复上述处理过程。
注意事项
宏参数和 #define 定义中可以出现其他 #define 定义的符号但是对于宏不能出现递归。当预处理器搜索 #define 定义的符号时字符串常量的内容并不被搜索。
2.2.4 - #
#include stdio.hint main()
{int a 10, b 20;double c 3.14, d 6.28;printf(The value of a is %d\n, a);printf(The value of b is %d\n, b);printf(The value of c is %lf\n, c);printf(The value of d is %lf\n, d);return 0;
}那么能否通过宏实现相同的功能呢
首先我们看看以下的代码
#include stdio.hint main()
{printf(hello world!\n);// 程序输出 hello world!// 等价于// printf(%s%s, hello , world!\n);return 0;
}因此我们了解到的一个技巧是字符串具有自动连接的特点。
同时需要了解的另外一个技巧是使用 #可以把宏参数变成对应的字符串。
此时我们就可以通过宏实现相同的功能了
#include stdio.h#define PRINT(FORMAT, VALUE) printf(the value of #VALUE is FORMAT\n, VALUE)int main()
{int a 10, b 20;double c 3.14, d 6.28;PRINT(%d, a);PRINT(%d, b);PRINT(%lf, c);PRINT(%lf, d);return 0;
}2.2.5 - ##
## 可以在宏定义中把位于它两边的符号合成一个符号它允许宏定义从分离的文本片段创建标识符。
示例
#include stdio.h#define CAT(X, Y) X##Yint main()
{int NewYear 2023;printf(%d\n, CAT(New, Year)); // 2023return 0;
}2.2.6 - 带副作用的宏参数
当宏参数在宏的定义中出现超过一次的时候如果参数带有副作用那么在使用这个宏的时候就可能出现危险导致不可预测的后果。
副作用就是表达式求值的时候出现的永久性效果例如
#include stdio.hint main()
{int a 10;int b a 1; // 不带副作用printf(%d %d\n, a, b); // 10 11int c 10;int d c; // 带副作用printf(%d %d\n, c, d); // 11 11return 0;
}使用 MAX 宏可以看到带有副作用的宏参数所引起的问题
#include stdio.h#define MAX(x, y) ((x) (y) ? (x) : (y) )int main()
{int a 4;int b 6;int m MAX(a, b);printf(%d %d %d\n, a, b, m); // 5 8 7return 0;
}MAX(a, b) 实际上是 ((a) (b) ? (a) : (b))。 2.2.7 - 宏和函数的对比
宏的优点
宏通常被应用于执行简单的运算而用于调用函数和从函数返回的代码可能比实际执行这个小型计算工作所需要的时间更多。因此宏比函数在程序的规模和速度方面更胜一筹。更为重要的是函数的参数必须声明为特定的类型而宏是类型无关的。
宏的缺点
每次使用宏的时候一份宏定义的代码将插入到程序中。除非宏比较段否则可能大幅度增加程序的长度。宏是没办法调试的。宏由于类型无关也就不够严谨。宏可能会带来运算符优先级的问题导致程序容易出错。
宏有时可以做到函数做不到的事情。比如宏的参数可以出现类型但是函数做不到
示例一
#include stdio.h
#include stdlib.h#define MALLOC(num, type) (type*)malloc(num * sizeof(type)) int main()
{int* p MALLOC(10, int);if (NULL p){perror(malloc failed!);return 1;}for (int i 0; i 10; i){p[i] i;printf(%d , p[i]);} printf(\n);free(p);p NULL;return 0;
}示例二 - offsetof 宏的实现
#include stdio.h#define OFFSETOF(type, member) (size_t)(((type*)0)-member)struct S
{char c1;int i;char c2;
};int main()
{printf(%zd\n, OFFSETOF(struct S, c1)); // 0printf(%zd\n, OFFSETOF(struct S, i)); // 4printf(%zd\n, OFFSETOF(struct S, c2)); // 8return 0;
}2.2.8 - 命名约定
一般来讲函数和宏的使用方式很相似语言本身无法帮我们区分二者因此有一个习惯是
宏名全部大小。函数名不要全部大写。
2.3 - #undef
这条指令用于移除一个宏定义。
语法
#undef name示例
#include stdio.hint main()
{
#define MAX 100printf(MAX %d\n, MAX); // MAX 100
#undef MAXint MAX 10;printf(MAX %d\n, MAX); // MAX 10return 0;
}在一个程序中用完宏定义后为了防止与后面的标识符冲突需要取消宏定义。 2.4 - 命令行定义
许多 C 的编译器提供了一种能力允许在命令行中定义符号用于启动编译过程。
当我们根据同一个源文件编译一个程序的不同版本时这个特性特别有用。
例如定义不同长度的数组
int buf[MAX_NUM];在编译程序时MAX_NUM 的值可以在命令行中指定。编译指令为
// Linux 环境
gcc -D MAX_NUM10 test.c测试源代码
#include stdio.hint main()
{int buf[MAX_NUM] { 0 };for (int i 0; i MAX_NUM; i){buf[i] i;printf(%d , buf[i]);}printf(\n);return 0;
}2.5 - 条件编译
在编译一个程序的时候将一个语句或一组语句编译或放弃是很方便的因为有条件编译conditional compile。
比如调试性的代码删除可惜保留又碍事此时就可以选择性地编译。
#include stdio.h#define __DEBUG__int main()
{int arr[10] { 0 };for (int i 0; i 10; i){arr[i] i;
#ifdef __DEBUG__printf(%d , arr[i]); // 观察数组是否赋值成功
#endif}return 0;
}常见的条件编译指令
// 一、单分支的条件编译
#if 常量表达式...
#endif// 例如
#define __DEGUG__ 1
#if __DEBUG__...
#endif// 二、多分支的条件编译
#if 常量表达式...
#elif 常量表达式...
#else...
#endif// 三、判定是否被定义
#if defined(symbol)...
#endif
// 或者
#ifdef symbol...
#endif// 四、判定是否未被定义
#if !defined(symbol)...
#endif
// 或者
#ifndef symbol...
#endif// 五、嵌套指令
#if defined(OS_UNIX)#ifdef OPTION1unix_version_option1();#endif#ifdef OPTION2unix_version_option2();#endif
#elif defined(OS_MSDOS)#ifdef OPTION2msdos_version_option2();#endif
#endif2.6 - 头文件包含
本地头文件包含
#include filename.h查找策略先在源文件所在目录下查找如果该头文件未找到编译器就像查找库函数头文件一样在标准位置查找头文件。如果找不到就提示编译错误。Linux 环境的标准头文件的路径/usr/include。
库头文件包含
#include filename.h查找策略直接去标准路径下查找如果找不到就提示编译错误。对于库文件也可以使用 的形式包含但是会降低查找的效率也不容易区分包含的头文件是本地头文件还是库头文件了。
通过条件编译可以避免头文件的重复包含所导致的问题
#ifndef __TEST_H__
#define __TEST_H__
// 头文件的内容
#endif或者
#pragma once
#endif
// 或者
#ifndef symbol...
#endif// 五、嵌套指令
#if defined(OS_UNIX)#ifdef OPTION1unix_version_option1();#endif#ifdef OPTION2unix_version_option2();#endif
#elif defined(OS_MSDOS)#ifdef OPTION2msdos_version_option2();#endif
#endif2.6 - 头文件包含
本地头文件包含
#include filename.h查找策略先在源文件所在目录下查找如果该头文件未找到编译器就像查找库函数头文件一样在标准位置查找头文件。如果找不到就提示编译错误。Linux 环境的标准头文件的路径/usr/include。
库头文件包含
#include filename.h查找策略直接去标准路径下查找如果找不到就提示编译错误。对于库文件也可以使用 的形式包含但是会降低查找的效率也不容易区分包含的头文件是本地头文件还是库头文件了。
通过条件编译可以避免头文件的重复包含所导致的问题
#ifndef __TEST_H__
#define __TEST_H__
// 头文件的内容
#endif或者
#pragma once
