整理C语言预处理过程语法的实用方法与技巧

· 浏览次数 : 0

小编点评

**宏是否被定义** `#define` 宏是否被定义取决于它在预处理阶段是否被定义。 * `#if defined()` 语句可以在预处理阶段检查宏是否定义。 如果定义,则返回 `true`。 * `#ifdef` 语句可以检查宏是否定义,并仅执行代码块。 **宏是否为真or假** `#if` 和 `#ifdef` 语句可以检查宏是否为真或假。 * `#if` 语句检查一个条件,如果条件满足,则返回 `true`。 * `#ifdef` 语句检查一个条件,如果条件满足,则返回 `true`,否则返回 `false`。 **其他** * `#if` 和 `#ifdef/#ifndef` 语句还可以结合使用表达式。 * `#if` 语句可以使用 `#else` 和 `#elif` 语句来选择不同的代码块。 * `#pragma` 指令可以用于设置编译器的错误模式。

正文

预处理


一、宏定义


数值宏常量

#define 宏定义是个演技非常高超的替身演员,但也会经常耍大牌的,所以我们用它要慎之又慎。它可以出现在代码的任何地方,从本行宏定义开始,以后的代码就都认识这个宏了;也可以把任何东西定义成宏。因为编译器会在预编译的时候用真身替换替身,而在我们的代码里面却又用常常用替身来帮忙。看例子:

#define PI 3.141592654

在此后的代码中尽可以使用 PI 来代替 3.141592654,而且你最好就这么做。不然的话,如果我要把PI的精度再提高一些,你是否愿意一个一个的去修改这串数呢?你能保证不漏不出错?而使用 PI 的话,我们却只需要修改一次。这种情况还不是最要命的,我们再看一个例子:

#define ERROR_POWEROFF -1

如果你在代码里不用 ERROR_POWEROFF 这个宏而将-1硬编码进代码里,尤其在函数返回错误代码的时候(往往一个开发一个系统需要定义很多错误代码)。肯怕上帝都无法知道-1 表示的是什么意思吧。这个-1,我们一般称为“魔鬼数”,上帝遇到它也会发狂的。所以,我奉劝代码里一定不要出现“魔鬼数”。

关键字篇我们讨论了 const 这个关键字,我们知道const 修饰的数据是有类型的,而 define 宏定义的数据没有类型。为了安全,我建议以后在定义一些宏常数的时候用 const 代替,编译器会给 const 修饰的只读变量做类型校验,减少错误的可能。但一定要注意const修饰的不是常量而是readonly的变量,const 修饰的只读变量不能用来作为定义数组的维数,也不能放在 case 关键字后面。


字符串宏常量

举例:

#define ENG_PATH_4 "E:\\English\\listen_to_this\\listen_to_this_3"


用define宏定义注释符号?

能否使用宏定义的注释来注释代码?

#define COMMENT //
int main()
{
	COMMENT puts("hello");
}

第一眼看这个代码可能会搞不清程序是否执行打印,这个问题的解决我们需要知道预处理过程各步骤的执行顺序,

先看看程序预处理过程做了什么.


程序的编译过程

预处理: 预处理指令,头文件展开,去掉注释,宏替换,条件编译 (顺序是怎样的?)

编译: C语言翻译成汇编语言

汇编: 将汇编代码转化成可重定向目标文件(可被链接)

链接: 自身程序+库文件进行关联,形成可执行程序


预处理中宏替换和去注释谁先谁后?

生成的预处理结果如图:

image-20240506124541340

观察结果,如果宏替换先于去注释,则puts代码一定是被去掉的,显然puts还在,说明先去注释,再宏替换;

既然是先去注释再宏替换,那为什么预处理后却没有发现puts前面带双斜杠呢? 这就很尴尬了,其实在#define COMMENT //处的双斜杠在编译前就被识别成注释了,去掉注释后代码就变成了#define COMMET这样子,是一个仅仅用于标识的宏.

预处理指令和宏谁先处理是不可预期的.

总之,通过这点我们知道了预处理过程去注释是先于宏替换的.

上面说的是C++风格的注释,那C风格的注释呢

#define BSC //
#define BMC /*
#define EMC */

BSC: Begin Single-line Comment
BMC: Begin Multi-line Comment
EMC: End   Multi-line Comment

image-20240506131827190

这就很明显了,如果有语法提示则很容易看出来,和上面所说的C++风格注释的情况是一样的原理.



如何写一个不会出现问题的宏函数

我们知道,一般的宏函数是很容易出现问题的,比如说少加了括号,因为结合性问题导致代码逻辑没有按照预期来执行...,那怎样写出一个健壮性很高的宏函数呢? 先看一个例子:

image-20240506212559805

如果我定义这样一个宏函数,并且按照一般函数的方式运用,显然不是能通过语法检查的.看一下预处理后的代码

image-20240506213807477

可以发现a = 0;已经算一条语句了,后面b = 0;;多出来,不符合语法,因此报错.


if在不带花括号的条件下只能且必须带一条语句.如果想用这条宏函数,只能将它写进if的花括号中.但是,这样的代码是不友好的,它变相的强迫用户必须带上花括号,显然不是一种很好的方式.

既然要求if分支有多条语句需要执行时必须加上花括号,那能不能直接在宏函数中加上花括号? 看一下效果

image-20240506214720101

再看一下预处理后的代码

image-20240506214859943

可以发现if花括号后面还带上了分号,这显然也不够好.

上面各种方式都是有大大小小的缺陷. 那还有没有更好的方案? 有的,最终解决方案:使用do-while-zero结构


do-while-zero结构

image-20240506222258461

看预处理后的代码:

image-20240506224304956

可以发现,在do-while-zero结构中,do后面有花括号,可以封装任意多条语句.while(0)后可以接上分号,并且while(0)是条件判定为假,结束执行循环,整体上只执行一次且必须执行一次.用法上和普通函数有类似的效果,因此具有普适性.


do-while-zero的评价

do-while-zero结构是一个编码技巧,作为一个宏函数技巧,我们可以了解一下,虽然不一定会使用它.在早些年的项目中也有很多使用的,掌握它后至少我们在看源码时可以在遇到这样子的宏函数时可以知道写的是什么...


宏定义中的空格

#include <stdio.h>

#define INC(a) ((a)++) //定义宏函数不能带空格

int main()
{
    int i = 0;
    INC (i); //使用可以带空格,但是严重不推荐

    printf("%d\n", i);
}

宏只能在main函数上面定义吗?

先说结论:宏可以在源文件的任何地方定义.

验证,在main函数中定义:

image-20240507152543768

在普通函数中定义:

image-20240507152828624

在普通函数中定义,在main函数中使用:

image-20240507153009444

说明:宏定义与是否在函数体外内没有任何关系

结论:源文件的任何地方,宏都可以定义,与是否在函数内外无关.


宏的作用范围

注意:宏只在从它定义的位置开始生效.从定义开始,往后都是有效的.

不正确例子:

image-20240507153403677


#undef

#undef的作用是取消宏,限定宏的范围.

image-20240507155829310

宏替换是在函数调用之前进行.

看下面一段代码:

image-20240507162514979

#undef在函数调用的上边,这样的代码看着会有些绕.看一下运行结果:

image-20240507162655612

这是可以通过的,因为宏替换是在函数调用之前进行.这样的代码需要熟悉预编译指令的执行顺序才容易阅读.


块中进行#define和#undef需要谨慎

C语言中,尽管在代码文件中的任何位置放置#define或者#undef是合法的,但把它们放在块中会使人误解为它们只存在于块作用域,给人一种只在函数内有效的错觉.

也不排除我们只想让它在局部范围内有效,因此使用时需要慎重考虑.


二、条件编译 - 代码裁剪的工具

为何要有条件编译

条件编译主要是用于代码裁剪,通过代码裁剪,能够快速实现某种目的,如版本维护(free版本,pro版本等,功能裁剪,跨平台性等.


条件编译都在那些地方用?

举个例子

我们经常听说过,某某版程序是完全版/精简版,某某版应用是商用版/校园版,某某软件是基础版/扩展版等。

其实这些软件在公司内部都是同一个项目,是多个源文件构成的。所以,所谓的不同版本,其实就是那些功能的有无;在技术层面上,公司为了好维护,可以维护多种版本;如果是使用条件编译,想使用哪个版本,就使用哪种条件进行裁剪就行。

如著名的Linux内核,功能上也是使用条件编译进行功能裁剪的,来满足不同平台的软件。

见一见条件编译的代码

int main()
{
#ifndef DEBUG
    printf("hello debug\n");
#elif RELEASE
    printf("hello release\n");
#else 
	printf("hello unknow\n");
#endif
    return 0;
}

宏是否被定义 vs 宏是否为真or假

#define DEBUG    // 宏被定义

#define DEBUG 1  // 宏被定义,且值为真

#define DEBUG 0  // 宏被定义,且值为假

宏为真假是在宏被定义之上的.


编译器也能够自动帮你加上宏

GCC
语法:gcc 源文件  -D 宏=值
#   gcc test.c -D MACRO=1 
VS2023-VS2019

image-20240508153946278

image-20240508154007078

在vs平台上用的不多.



#ifdef/#ifndef

#ifdef/#ifndef用于检测宏是否被定义,有没有值,是真是假不重要

#ifdef 检测宏是否已经定义,是则保留,否则裁剪;#ifndef则相反

用法举例:

image-20240507171846307

#ifdef/#ifndef一般只在头文件中使用


#if

#if的默认用法和#ifdef有一定区别,其他用法差不多,#if使用更频繁.

区别是#if如果定义了宏则要求必须要有值,没定义则当作假或者else.


条件编译容易疏忽的地方

使用#if或#ifdef时,很容易会忘记写#endif.因为我们平常写if-else没有这个end,很容易会类比忘记掉#endif.所以在使用条件编译时,先把#if - #endif写上,后面就不再容易遗漏了.



让#if和#ifdef/#ifndef完全一样

#if模拟#ifdef:

#define MACRO
int main()
{
#if defined(MACRO)
	puts("MACRO defined!");
#else
	puts("MACRO undefined!");
#endif
	return 0;
}

程序运行结果:

image-20240508160951829

如果是未定义呢? 没有别的名词,加个逻辑反就好啦

image-20240508170933763


条件编译也支持嵌套

#include<stdio.h>
#include<math.h>

#define C    
#define CPP    

int main()     
{             
#if defined(C)    
    #if defined(CPP)    
        puts("hello CPP");    
    #endif                  
  puts("hello C");    
#else                 
  puts("hello other");    
#endif                    
  return 0;    
}  

image-20240508173148156

注释掉#define C

image-20240508173245666

可以证明,条件编译是支持嵌套的.

不过,使用嵌套的代码阅读体验是比较差的,一般不建议使用嵌套,下面还有其他更好的代码写法推荐.



一个使用#if defined能起到很好优化的用法

[引用](C语言#if defined高级用法-CSDN博客)

在一个需要完成“多个宏定义来共同控制同一代码分支”的情况下,例如

  • TEST_1 或 TEST_2被定义,则选择执行1,2
#ifndef TEST_1
#define TEST_1
#endif

#ifdef TEST_1
	puts("1");
#else
	#ifdef TEST_2
		puts("1");
	#else
		puts("2");
	#endif
#endif
  • 或者, TEST_1和TEST_2均未定义,则选择执行1,否则执行2
#ifndef TEST_1
	puts("1");
#else
	#ifndef TEST_2
		puts("1");
	#else
		puts("2");
	#endif
#endif

这样的代码看起来是比较冗余的,不好阅读,因为#ifdef是没有对应的"else if",我们只能采用这样的方式写.对比到一般使用的if-else,if()内可以是一个表达式,那#ifdef能否也能将宏定义组织成表达式呢?

看一下代码

#ifdef TEST_1 || TEST_2
	puts("1");
#else
	puts("2");
#endif

这样的代码看起来是更简洁,更优雅.但它是错误的.

image-20240508163628082

因为ifdef和ifndef仅能跟一个宏定义参数,而不能使用表达式


虽然在vs下可以运行

image-20240508163859587

但是我们不推荐这样不能跨平台的代码.


因为#if需要判断真假而具有计算表达式的功能,

因此,使用#if defined#if !defined更好的选择.

  • TEST_1 或 TEST_2被定义,则选择执行1,否则执行2
#if defined TEST_1 || defined TEST_2
	puts("1");
#else
	puts("2");
#endif
  • TEST_1 或 TEST_2未被定义,则选择执行1,否则执行2
#if !defined TEST_1 || !defined TEST_2
	puts("1");
#else
	puts("2");
#endif


三、举例一些的宏和预处理指令

ANSI标准的5个预定义宏

__FILE__:当前文件名

__LINE__:所在行号

__STDC__:当编译器遵循ANSI C标准时该宏被定义为1。

__TIME__:表示当前源代码被编译的时间字符串。

__DATE__:表示当前源代码被编译的日期字符串。


#line

可以定制化你的文件名称和代码行号,很少使用

image-20240508220935484


#error

#error命令是C/C++语言的预处理命令之一,当预处理器预处理到#error命令时将停止编译并输出用户自定义的错误消息。

image-20240508221706882

用于人为阻止编译,在某些情况下得知编译条件不满足时,可以使用#error让编译停止.


#pragma

#pragma 指令很复杂,需要使用的时候再查一下#pragma_百度百科 (baidu.com).

Message参数

Message 参数能够在编译信息输出窗口中输出相应的信息,这对于源代码信息的控制是非常重要的。其使用方法为:

#pragma message("消息文本")

当编译器遇到这条指令时就在编译输出窗口中将消息文本打印出来。

image-20240508222436848

也可以用于在编译器检测某个宏是否被定义:

image-20240508223051592

#warning
#pragma warning(disable:4996;once:4385;error:164)

等价于:

1#pragma warning(disable:4996)//不显示4996警告信息 
2#pragma warning(once:4385)//4385号警告信息仅报告一次 
3#pragma warning(error:164)//把164号警告信息作为一个错误。

还有很多用法..,可以查下文档

#pragma_百度百科 (baidu.com)

四、#和##

前置:相邻字符串具有自动连接特性

C语言两个相邻的字符串能够自动拼接成一个字符串.

int main()
{
    puts("hello"" world");
    const char *str = "hello"" world\n";
    printf(str);
    return 0;
}

image-20240509133454682


#运算符

#运算符的功能:在宏定义中,将宏参数转化成字符串

常搭配字符串连接特性一起使用

用法举例:
#define STR(s) #s

int main()
{
    printf("PI: "STR(3.1415926)"\n");
    return 0;
}

image-20240509141118633

使用场景:
#define SQR(x) printf("The square of x is %d.\n", ((x)*(x)));

int main()
{
    SQR(8);
    return 0;
}

image-20240509152413609

注意到没有,引号中的字符 x 被当作普通文本来处理,而不是被当作一个可以被替换的语言
符号。
假如你确实希望在字符串中包含宏参数,那我们就可以使用“#”,它可以把语言符号转
化为字符串。上面的例子改一改:

#define SQR(x) printf("The square of "#x" is %d.\n", ((x)*(x)));
再使用

SQR(8);
则输出的是:
image-20240509152653034


##运算符

功能:

​ 将宏参数与特定的符号组合成一个全新的符号

用法举例:

image-20240509151828264


五、留言

  有不足的地方欢迎大家评论区留言指正。

与整理C语言预处理过程语法的实用方法与技巧相似的内容:

整理C语言预处理过程语法的实用方法与技巧

预处理 目录预处理一、宏定义数值宏常量字符串宏常量用define宏定义注释符号?程序的编译过程预处理中宏替换和去注释谁先谁后?如何写一个不会出现问题的宏函数do-while-zero结构do-while-zero的评价宏定义中的空格宏只能在main函数上面定义吗?宏的作用范围#undef宏替换是在函

[转帖]malloc()与 alloc()区别

https://www.cnblogs.com/longyi1234/archive/2010/03/22/malloc.html malloc()与 alloc() C语言跟内存分配方式 (1) 从静态存储区域分配。内存在程序编译的时候就已经分配好,这块内存在程序的整个运行期间都存在。例如全局变量

[转帖]【JVM】字节码执行引擎

引入 class文件就是字节码文件,是由虚拟机执行的文件。也就是java语言和C & C++语言的区别就是,整个编译执行过程多了一个虚拟机这一步。这个在 类文件结构 中已经解释。上一节讲了虚拟机是如何加载一个class的,这一节就讲解虚拟机是如何执行class文件的。 运行时栈帧结构 1.定义 栈是

一文搞懂 ARM 64 系列: ADC

1 指令语法 adc , , 2 指令语义 adc就是带「进位」加法,指令中的c就是英文carry。 整个指令等价于: (Xd, _) = Xn + Xm + PSTATE.C 也就是将寄存器Xn,寄存器Xm,PSTATE中的「进位」标志相加,将相加的结果写入寄存器Xd,但

[转帖]Linux字符截取命令-cut

概述 cut是一个选取命令,。一般来说,选取信息通常是针对“行”来进行分析的,并不是整篇信息分析的。 语法 cut [-bn] [file] 1 或 cut [-c] [file] 1 或 cut [-df] [file]1 cut 命令从文件的每一行剪切字节、字符和字段并将这些字节、字符和字段写至

CUDA C编程权威指南:1.1-CUDA基础知识点梳理

主要整理了N多年前(2013年)学习CUDA的时候开始总结的知识点,好长时间不写CUDA代码了,现在LLM推理需要重新学习CUDA编程,看来出来混迟早要还的。 1.CUDA 解析:2007年,NVIDIA推出CUDA(Compute Unified Device Architecture,统一计算设

CUDA C编程权威指南:1.2-CUDA基础知识点梳理

主要整理了N多年前(2013年)学习CUDA的时候开始总结的知识点,好长时间不写CUDA代码了,现在LLM推理需要重新学习CUDA编程,看来出来混迟早要还的。 1.闭扫描和开扫描 对于一个二元运算符和一个元输入数组。如果返回输出数组为,那么是闭扫描;如果返回输出数组为,那么是开扫描。串行闭扫描算法,

CUDA C编程权威指南:1.3-CUDA基础知识点梳理

主要整理了N多年前(2013年)学习CUDA的时候开始总结的知识点,好长时间不写CUDA代码了,现在LLM推理需要重新学习CUDA编程,看来出来混迟早要还的。 1.CUDA数组 解析:CUDA数组是使用cudaMallocArray()、cudaMalloc3DArray()分配的,使用cudaFr

C#应用的欢迎界面窗体方案 - 开源研究系列文章

这次整理以前的代码,然后想到了应用的欢迎界面窗体的问题。这个例子是在应用中启动一个线程来进行显示欢迎窗体的,对于应用的启动无影响,与其他人的源码不相同,欢迎读者进行复用此类库。 以前有编写过欢迎界面窗体的代码,不过这次翻出来的时候想把它完善一下,于是经过不断地修改代码,终于得到了一个完善的欢迎界面窗

C#应用的用户配置窗体方案 - 开源研究系列文章

这次继续整理以前的代码。本着软件模块化的原理,这次笔者对软件中的用户配置窗体进行剥离出来,单独的放在一个Dll类库里进行操作,这样在其它应用程序里也能够快速的复用该类库,达到了快速开发软件的效果。 笔者其它模块化应用的例子: C#的关于窗体的类库方案 - 开源研究系列文章 C#应用的欢迎界面窗体方案