C语言杂谈01---如何理解条件编译
架构图
前言
由於地区翻译关系，有些书籍将macro翻译成"巨集"，有些翻译成"宏"，为了避免混淆(我自己)，所以文章内容会以英文名macro来代替中文译名
甚麽是条件编译
条件编译就是根据已经定义的macro进行选择性判断的语句，它会在compiler进行编译前完成，主要由预处理器负责
预处理器会将条件编译指令的结果告诉compiler，让他去编译指定区段的程序码。条件编译指令可能会出现在程序的任何一个位置，端看使用方法，例如下方这个简单的程序范例就含有条件编译:
#include <stdio.h>
/*若a没有被定义就定义它*/
#ifndef a
#define a 1
#endif
int main(){
#if (a == 1)
printf("a == 1\n");
#else
printf("a != 1\n");
#endif
return 0;
}
和一般的条件语句不同的是，条件编译在compile之前就已经决定，相反的，正常的条件语句(if, else if, else...)需要我们在执行时(run time)才能进行判断
也就是说条件编译语句可以让compiler知道那些程序码区段需要编译，那些可以直接舍去；而正常的条件语句因为需要在执行时依照变数值去判断执行区块，所以无论如何整个逻辑区块都会被全部编译
下图我们看到一个.c档被编译成可执行档的过程，绿色区块就是条件编译主要涉及部分。条件编译有点超前部署的味道，它会决定谁会被包含、编译、忽略，它不被编译器编译，想当然也不属於C/C++范畴
条件编译种类
#if, #elif, #defined
#if, #elif利用後方的常数表达式(constant-expression)来判断程序码区段是否需要被包含
例如下面简单的程序码片段，因为test被定义成1，这个条件恰好吻合第一个区段，所以会编译并执行#if到#else之间区段
#include <stdio.h>
#define test 1
int main(){
#if (test == 1)
printf("Macro test exist...");
#else
printf("Macro test is not defined...");
#endif
}
输出结果:
Macro test exist...
#if後的常数表达式可以使用一元运算子进行判断，也可以使用逻辑运算子结合多个判断式。当判断条件超过两组时可以使用#elif, #else，和一般的if-else if-else语句没什麽分别
#include <stdio.h>
#define test1 10
#define test2 1
int main(){
#if (test1 > 8) && (test1 < 15) && (test2 > 0)
printf("Macro test meet the requirement");
#elif(test1 > 15)
printf("Macro test meet the requirement, but way too big");
#else
printf("Macro test doesn't meet the requirement");
#endif
}
输出结果:
Macro test meet the requirement
切记
#if後方的判断式要加上小括号()
#if还可以加上条件编译语句defined()，它用来判断一个macro是否被定义。例如我们把上面的程序码稍微改写一下:
#include <stdio.h>
#define test1 10
// #define test2 1
int main(){
#if (test1 > 8) && (test1 < 15) && defined(test2)
printf("Macro test meet the requirement");
#elif(test1 > 15)
printf("Macro test meet the requirement, but way too big");
#else
printf("Macro test doesn't meet the requirement");
#endif
}
输出结果:
Macro test doesn't meet the requirement
由於test2被我们注解掉，所以实际上它没有被定义，所以最後输出结果没能满足#if与#elif条件
一些常见问题
使用#if与 #defined的时机其实有点不同，前者单独使用必须搭配表达式，对macro的值进行判断；後者仅用来判断macro是否被定义
假设我们想用#if来代替#defined判断一个test2是否被定义:
#include <stdio.h>
#define test1 1
#define test2 2
int main(){
#if defined(test1) && (test2)
printf("success\n");
#else
printf("fail\n");
#endif
return 0;
}
输出结果为:
success
test1, test2均判断成功。但我们修改一下test2的定义值，结果会大为不同:
#include <stdio.h>
#define test1 1
#define test2 0
int main(){
#if defined(test1) && test2
printf("success\n");
#else
printf("fail\n");
#endif
return 0;
}
这时的输出结果变成:
fail
与我们期望的判断功能大相迳庭，但至少还能打印输出。再次对test2的定义值进行修改:
#include <stdio.h>
#define test1 1
#define test2
int main(){
#if defined(test1) && (test2)
printf("success\n");
#else
printf("fail\n");
#endif
return 0;
}
执行时得到compiler的报错missing expression between '(' and ')'，因为test2若没有填入参数，会被解读为空字串，这个空字串不能用表达式进行判断，所以尽管为上述程序码加上判断(test2 > 10)也是会发生错误error: operator '>' has no left operand
如果单纯没有定义macro，在#if判断式中会传入0，这点有点不同
#include <stdio.h>
// #define test 1
int main(){
#if (test == 0)
printf("test equal to 0...");
#elif (test > 10)
printf("test greater than 10...");
#elif (test <= 10)
printf("test lesser than or equal to 10...");
#else
printf("test is not defined");
#endif
return 0;
}
输出结果:
test equal to 0...
我们明明没有定义test，输出结果确判断它等於0，这是因为预处理器将未定义macro替换成0的关系
从上面一连串的案例可以发现，若是要判断一个macro是否被定义，一定要在#if後面加上#defined()指令。另外使用表达式判断前应先判断macro是否存在
用来条件编译的macro避免定义成小数点
#ifdef, #ifndef
其实#ifdef就是#if defined()；#ifndef就是#if !defined()，使用目的当然也是用来判断macro是否被定义，它的使用逻辑如下:
- 若macro有定义:
-
#ifdef()会判断为true -
#ifdef()会判断为false
-
- 若macro没有定义
-
#ifdef()会判断为false -
#ifndef()会判断为true
-
举例来说:
#include <stdio.h>
#define test1 1
#define test2 0
int main(){
#ifndef test1 // #if !defined(test1)
printf("test1 is not defined...\n");
#else
printf("test1 is defined...\n");
#endif
#ifdef test2 // #if defined(test2)
printf("test2 is defined...\n");
#else
printf("test2 is not defined...\n");
#endif
return 0;
}
输出结果:
test1 is defined...
test2 is defined...
#else
#else语句是条件编译判断的扩充。当#if, #elif的判断均为否，则会执行#else与#endif之间的程序码区段:
#include <stdio.h>
#define test 100
#if (test > 500)
#define MAX 75
#elif (test > 300)
#define MAX 50
#elif (test > 150)
#define MAX 35
#else
#define MAX 10
#endif
使用在#ifndef, #ifdef则相对简单，因为它们只有存在与不存在两个状态:
#include <stdio.h>
#ifdef test
#define MAX 75
#else
#define MAX 50
#endif
#endif
#endif用来结束条件编译区段，每完成一个条件判断结构就需要使用一个#endif语句，以下为伪代码范例，每一个完整的条件编译语句都需要#endif来收尾:
/*条件编译*/
#if (...)
#if (...)
// do-something
#else
// do-something
#endif
#endif
巢状结构
条件编译和一般的条件语句一样可以巢状嵌套。
我们假定该程序码会依照定义来决定该执行哪种作业系统平台的执行绪初始化。使用巢状结构有助於我们细分目标，你可以看看它的结构，其实跟普通的条件语句根本是同一个妈生的:
#if defined(Linux)
#ifdef ubuntu
ubuntu_thread_init();
#endif /*ubuntu*/
#ifdef centos
centos_thread_init();
#endif /*centos*/
#elif defined(MS)
#ifdef WIN10
windows_10_thread_init();
#endif /*WIN10*/
#ifdef WIN7
windows_7_thread_init();
#endif /*WIN7*/
#endif
空定义
空定义顾名思义就是没有为macro定义任何数值:
#define test
空定义是一个甚麽都没有的macro，预处理器不会将任何参数替换给使用它的程序码，它代表一个空字串:
#include <stdio.h>
#define test
int main(){
test test test test test test test
test printf("empty macro!\n"); test
test test test test test test test
return 0;
}
输出结果
empty macro!
但你以为它没甚麽用处吗?空定义虽然不代表任何值，但它可以被#if defined()，#ifdef等条件编译捕捉
换句话说有一些根本不需要替换定义值的场景，使用空定义还是非常有用的，例如接下来将要介绍的标头守卫功能
标头守卫
首先科普一下#include这条语句的功能，预处理器会将包含的标头档内容全部复制过来，然後把#include这条语句删除
不过这中间产生了一个问题，若是主程序重复#include同一个标头档会发生甚麽事?，例如下面这个程序:
/*test1.h*/
#define SerialName "my_test_0001\n"
#define SW_version "V.1.3.0\n"
#define FW_version "V.1.3.0\n"
typedef enum
{
socket_init = 0,
socket_connecting,
socket_connected,
socket_close
}socket_process;
// ...
/*test2.h*/
#include "test1.h"
#include <stdint.h>
#define MAX_SOCKET_NUMBER 4
typedef struct{
uint8_t family;
uint8_t port;
uint8_t* addr;
socket_process socket_information;
}socket_info[MAX_SOCKET_NUMBER];
// ...
/**
* main.c
*/
#include "test1.h"
#include "test2.h"
int main(){
// do-something
return 0;
}
上述这个程序的问题在於，test1.h在main.c中被包含，同时在包含test2.h的时候又被嵌套包含，相同标头档如果被重复包含2次，实际上它的内容会被编译2次，不仅浪费资源，又可能会发生错误
例如编译器会提醒你"xxx" has already been declared in the xxx file或类似的讯息，就是发生重复编译
这就是标头守卫(header guards)该挺身而出的时候，它的目的就是防止标头档内容被重复编译，例如各种类型的数据、结构体数据、静态变数等等
回到原先的程序范例，我们来改写它:
/*test1.h*/
#ifndef __TEST1_H
#define __TEST1_H
#define SerialName "my_test_0001\n"
#define SW_version "V.1.3.0\n"
#define FW_version "V.1.3.0\n"
typedef enum
{
socket_init = 0,
socket_connecting,
socket_connected,
socket_close
}socket_process;
// ...
#endif /*__TEST1_H*/
/*test2.h*/
#ifndef __TEST2_H
#define __TEST2_H
#include "test1.h"
#include <stdint.h>
#define MAX_SOCKET_NUMBER 4
typedef struct{
uint8_t family;
uint8_t port;
uint8_t* addr;
socket_process socket_information;
}socket_info[MAX_SOCKET_NUMBER];
// ...
#endif /*__TEST2_H*/
/**
* main.c
*/
#include "test1.h"
#include "test2.h"
int main(){
// do-something
return 0;
}
__TEST1_H称为前置处理变数，通常以__作为开头，英文字母均以大写表示，这种特殊写法目的是避免使用者
也定义了相同名称的macro因而造成错误
整个流程如下图所示，第一次包含test1.h时由於没有定义过__TEST1_H，会成功进入ifndef条件编译区段，并复制内容
第二次重复包含test1.h发生在包含test2.h的时候，由於test1.h中__TEST1_H已经在上一次定义过了，因此ifndef条件编译区块会被忽略，成功防止重复包含
因为标头首位中间撰写的程序码有可能会很长，其中也不乏会出现其他条件编译程序码，因此最好在
#endif後方加上注解__TEST1_H来体醒开发者这个#endif属於标头守卫区段
切割特性
切割特性简单来说就是只执行某个特定程序码区段，但又不想直接删除程序码。通常条件编译的切割特性用於debug测试，或是执行指定版本程序码。例如下方伪代码就是一个例子:
debug测试
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#define THREAD1_TEST_MODE
int main(void){
thread1_init();
#ifndef THREAD1_TEST_MODE
thread2_init();
#endif
while(1){
thread1();
#ifndef THREAD1_TEST_MODE
thread2();
#endif
}
}
当我们需要测试thread1功能时，就定义THREAD1_TEST_MODE，如此一来thread2程序码就自动被忽略了，因为thread2部分不会被编译器编译，所以就某种程度上来说，切割特性可以节省code size，这个特性在下一个案例上更加明显
指定版本程序码
例如有一个软件拥有四种不同的方案，我们只需要依照条件编译的需求，将SOFTWARE_VERSION定义成指定参数值就可以明确编译并执行指定版本的程序码:
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#define SOFTWARE_VERSION 0
int main(void){
while(1){
#if (SOFTWARE_VERSION == 0)
personal_version_thread(); // 个人版本
#elif (SOFTWARE_VERSION == 1)
family_version_thread(); // 家庭版本
#elif(SOFTWARE_VERSION == 2)
enterprise_version_thread(); // 企业版本
#else
pro_version_thread(); // 专业版本
#endif
}
}
移植性问题
使用macro选择预处理区段
使用条件编译还有利於程序的移植性，我自己习惯创建一个负责设定参数的标头档，还有多个根据参数定义来切割的功能性标头档
举以下简单程序案来说，我透过在header1.h定义程序需要用到的macro，以及用来选择功能区段的条件macro
也就是说我可以透过SPECIALTY来选择预处理的区段(见header2.h)，由於macro的定义名均相同，所以从程序逻辑来看，每次移植程序我只需要更改header1.h的定义值，就可以相容code base相同的程序
当然啦这个程序没有任何逻辑可言，仅仅是做为一个范例，但是核心概念不便，依然是利用条件编译提升移植性
/*header1.h*/
#ifndef __HEADER1_H
#define __HEADER1_H
#define NAME "HAU-WEI"
#define GENDER "male"
#define AGE 25
#define PROGRAMMER 0
#define MANAGER 1
#define ATHLETE 2
#define SPECIALTY PROGRAMMER
#include "header2.h"
#endif /*__HEADER1_H*/
/*header2.h*/
#ifndef __HEADER2_H
#define __HEADER2_H
#if (SPECIALTY == PROGRAMMER)
#define Intro(x) printf("Hi, my name is %s, I'm a programmer\n[Gender][%s]\n[Age][%d]\n", NAME, GENDER, AGE)
#define SKILL1 "JAVA"
#define SKILL2 "C++"
#define SKILL3 "SQL"
#define SKILL4 "linux"
#elif (SPECIALTY == MANAGER)
#define Intro(x) printf("Hi, my name is %s, I'm a manager\n[Gender][%s]\n[Age][%d]\n", NAME, GENDER, AGE)
#define SKILL1 "Communication"
#define SKILL2 "Management"
#define SKILL3 "Negotiation"
#define SKILL4 "English"
#elif (SPECIALTY == ATHLETE)
#define Intro(x) printf("Hi, my name is %s, I'm a athlete\n[Gender][%s]\n[Age][%d]\n", NAME, GENDER, AGE)
#define SKILL1 "Basketball"
#define SKILL2 "Soccer"
#define SKILL3 "Swimming"
#define SKILL4 "Tenis"
#endif /*SPECIALTY*/
#endif /*__HEADER2_H*/
#include <stdio.h>
#include "header1.h"
/**
* main.c
*/
int main(){
Intro(NAME);
if(SKILL1 == "JAVA"){
printf("I'm capable for JAVA!\n");
}
else{
printf("I'm not capable for JAVA!\n");
}
return 0;
}
输出结果:
Hi, my name is HAU CHEN, I'm a programmer
[Gender][male]
[Age][25]
I'm capable for JAVA!
我们试着将header1.h中的SPECIALTY改为MANAGER看看输出会发生什麽变化:
Hi, my name is HAU-WEI, I'm a manager
[Gender][male]
[Age][25]
I'm not capable for JAVA!
输出结果确实根据定义参数类型而改变!
使用不同标头档
如果想在大型程序上使用移植特性进行开发，可以利用条件编译来决定#include哪一个标头档，这些标头档所包含的函式、macro等名称均相同
我们只需要改变macro定义的值就可以依照需求切换功能，这种方式适用於主程序架构逻辑不变，想额外改写一些特殊功能时使用，通常都是类似但有一些小差异产品
举例来说，下面这个程序范例会依照FUNC的定义值#include不同的标头档。且由於每个标头档中都有一个名为print_result的函式，所以若以後想要移植档案，只要将含有print_result函式的档案移植即可
通常会移植成对的source与header files，范例为了方便起见把程序码都伈在写在header中，不过逻辑不变
/*header1*/
#ifndef __HEADER1_H
#define __HEADER1_H
int operation(int a, int b){
return a + b;
}
int print_result(int a, int b){
printf("%d + %d = %d\n", a, b, operation(a, b));
}
#endif /*__HEADER1_H*/
/*header2*/
#ifndef __HEADER2_H
#define __HEADER2_H
int operation(int a, int b){
return a - b;
}
int print_result(int a, int b){
printf("%d - %d = %d\n", a, b, operation(a, b));
}
#endif /*__HEADER2_H*/
/*header3*/
#ifndef __HEADER3_H
#define __HEADER3_H
int operation(int a, int b){
return a * b;
}
int print_result(int a, int b){
printf("%d * %d = %d\n", a, b, operation(a, b));
}
#endif /*__HEADER3_H*/
/**
* main.c
*/
#include <stdio.h>
#define FUNC 3
#if (FUNC == 1)
#include "header1.h"
#elif (FUNC == 2)
#include "header2.h"
#elif (FUNC == 3)
#include "header3.h"
#endif
int main(){
#if defined(FUNC)
int a=4, b=3;
print_result(a, b);
#endif
return 0;
}
输出结果:
4 * 3 = 12
试着把FUNC改成2，查看输出结果:
4 - 3 = 1
好了条件编译的介绍大致就到这里，希望对未来进行大型程序开发的各位有帮助~
Day 24 - 结构化思维的解构训练真的很重要!!!
图片来源 谈了一系列了绿能与永续议题之後, 我们还是回来谈谈一些PM的基本功, 其实某种程度来说,...
Day 30: 资安的隐藏第六面项:AWS 合规 & 完赛心得
前面讲了在AWS上的资安五大面向以及相关的服务简介、操作，今天我们来看看隐藏的第六面向:AWS 合规...
Day 25 : Linux - 如何在windows使用scp去传送档案至Linux上？
如标题，这篇想和大家介绍scp的用法，它可以让你「远端传送档案」到另一台电脑里 这边我们在「本机端」...
Android Studio初学笔记-Day21-AlertDialog(2)
接续上一篇AlertDialog的基础介绍，今天来接着介绍更多AlertDialog的用法。 从上一...
冒险村15 - customize tooltips with data attribute
15 - customize tooltips with data attribute 虽然这...