预处理-分节1(宏定义)

数值宏常量

#define 宏定义是个演技非常高超的替身演员,但也会经常耍大牌的,所以我们用它要 慎之又慎。

它可以出现在代码的任何地方,从本行宏定义开始,以后的代码就就都认识这 个宏了;也可以把任何东西定义成宏。

因为编译器会在预编译的时候用真身替换替身,而 在我们的代码里面却又用常常用替身来帮忙。看例子: #define PI 3.141592654

在此后的代码中你尽可以使用PI 来代替3.141592654,而且你最好就这么做。

不然的话,如 果我要把PI 的精度再提高一些,你是否愿意一个一个的去修改这串数呢?你能保证不漏不 出错?而使用PI 的话,我们却只需要修改一次。

这种情况还不是最要命的,我们再看一个 例子:

#define ERROR_POWEROFF -1

如果你在代码里不用ERROR_POWEROFF 这个宏而用-1,尤其在函数返回错误代码的时候 (往往一个开发一个系统需要定义很多错误代码)。

恐怕上帝都无法知道-1 表示的是什么意思吧。这个-1,我们一般称为“魔鬼数”,上帝遇到它也会发狂的。

所以,我奉劝你代码里 一定不要出现“魔鬼数”。

字符串宏常量

除了定义宏常数之外,经常还用来定义字符串,尤其是路径: A),#define ENG_PATH_1 E:\English\listen_to_this\listen_to_this_3
B),#define ENG_PATH_2 “E:\English\listen_to_this\listen_to_this_3”
噢,到底哪一个正确呢?如果路径太长,一行写下来比较别扭怎么办?用反斜杠接续 符啊:
C), #define ENG_PATH_3 E:\English\listen_to_this\listen\ _to_this_3
还没发现问题?这里用了4 个反斜杠,到底哪个是接续符?回去看看接续符反斜杠。
反斜杠作为接续符时,在本行其后面不能再有任何字符,空格都不行。

所以,只有最后一 个反斜杠才是接续符。至于A)和B),那要看你怎么用了,既然define 宏只是简单的替换,

 那给ENG_PATH_1 加上双引号不就成了:“ENG_PATH_1”。 但是请注意:

有的系统里规定路径的要用双反斜杠“\\”,

比如: #define ENG_PATH_4 E:\\English\\listen_to_this\\listen_to_this_3

用define 宏定义注释符号?

上面对define 的使用都很简单,再看看下面的例子: #define BSC // #define BMC /* #define EMC */
D),BSC my single-line comment
E),BMC my multi-line comment EMC
D)和E)都错误,为什么呢?因为注释先于预处理指令被处理,当这两行被展开成//…或 /*…*/时,

注释已处理完毕,此时再出现//…或/*…*/自然错误.因此,试图用宏开始或结束一段 注释是不行的。

用define 宏定义表达式

这些都好理解,下面来点有“技术含量”的: 定义一年有多少秒:
#define SEC_A_YEAR 60*60*24*365
这个定义没错吧?很遗憾,很有可能错了,至少不可靠。

你有没有考虑在16 位系统下 把这样一个数赋给整型变量的时候可能会发生溢出?一年有多少秒也不可能是负数吧。

修 改一下: #define SEC_A_YEAR (60*60*24*365)UL
又出现一个问题,这里的括号到底需不需要呢?继续看一个例子: 定义一个宏函数,求x 的平方: #define SQR (x) x * x

对不对?试试:假设x 的值为10,SQR (x)被替换后变成10*10。没有问题。
再试试:假设x 的值是个表达式10+1,SQR (x)被替换后变成10+1*10+1。

问题来了, 这并不是我想要得到的。怎么办?括号括起来不就完了? #define SQR (x) ((x)*(x))
最外层的括号最好也别省了,看例子: 求两个数的和:
#define SUM (x) (x)+(x)
如果x 的值是个表达式5*3,而代码又写成这样:SUM (x)* SUM (x)。

替换后变成:(5*3)+ (5*3)*(5*3)+(5*3)。又错了!所以最外层的括号最好也别省了。

我说过define 是个 演技高超的替身演员,但也经常耍大牌。要搞定它其实很简单,别吝啬括号就行了。

注意这一点:宏函数被调用时是以实参代换形参。而不是“值传送”。 留四个问题:
A),上述宏定义中“SUM”、“SQR”是宏吗? B),#define EMPTY 这样定义行吗?
C),打印上述宏定义的值:printf(“SUM (x)”);结果是什么? D), “#define M 100”是宏定义吗?

宏定义中的空格

另外还有一个问题需要引起注意,看下面例子: #define SUM (x) (x)+(x)
这还是定义的宏函数SUM(x)吗?显然不是。编译器认为这是定义了一个宏:SUM, 其代表的是(x) (x)+(x)。

为什么会这样呢?其关键问题还是在于SUM 后面的这个空格。

所以在定义宏的时候一定要注意什么时候该用空格,什么时候不该用空格。

这个空格仅 仅在定义的时候有效,在使用这个宏函数的时候,空格会被编译器忽略掉。

也就是说,上一 节定义好的宏函数SUM(x)在使用的时候在SUM 和(x)之间留有空格是没问题的。

比 如:SUM(3)和SUM (3)的意思是一样的。

#undef

#undef 是用来撤销宏定义的,

用法如下: #define PI 3.141592654 … // code #undef PI
//下面的代码就不能用PI 了,它已经被撤销了宏定义。
也就是说宏的生命周期从#define 开始到#undef 结束。

很简单,但是请思考一下这个问题: #define X 3 #define Y X*2 #undef X #define X 2 int z=Y;
z 的值为多少?

<think>好的,我现在需要帮助用户解决如何在Polyspace中处理过多的宏定义警告或抑制不必要的检查。首先,我得回想一下Polyspace的相关配置和文档。根据用户提供的引用内容,特别是引用[1]中的工程配置部分,可能涉及Target & Compiler设置,还有Coding Standards和Bug Finder分析等部分。 用户提到想减少宏定义的警告数量,这可能是因为项目中大量使用导致分析时产生很多误报或无关紧要的警告。我需要考虑Polyspace提供的抑制警告的方法。通常静态分析工具会有排除特定规则或代码段的选项。 首先,检查宏定义的合法性。如果是安全的,但被工具误判,可能需要调整分析配置。例如,在Polyspace的Configuration里,可能有选项来忽略特定或调整展开的方式。引用[1]中提到的2.1 Target & Compiler设置可能相关,比如定义预处理或排除某些的检查。 其次,使用注释或属性来抑制警告。许多工具支持在代码中添加特定注释来忽略下一行或代码块的警告。用户可以在宏定义附近使用这些注释,让Polyspace跳过检查。引用[2]中的例子显示Polyspace能检测数组越界,说明它会对代码中的特定模式进行检查,而注释可能能影响这些检查。 另外,检查是否可以通过修改分析范围来排除第三方库或特定文件中的。引用[1]中的Input & Stubbing部分可能允许用户排除某些路径,从而减少相关的警告。 还有可能需要调整编码标准或检查规则的严格程度。例如,在Coding Standards配置中关闭与相关的某些规则。引用[1]中的2.4节可能涉及这些选项。 最后,建议用户查看Polyspace的文档,确认是否有更详细的处理指南,或者联系技术支持获取帮助。同时,确保代码中的确实安全,避免隐藏真正的问题。比如引用[3]提到的Polyspace基础使用方法可能有相关建议。 总结步骤应该是:1) 配置预处理选项;2) 使用抑制注释;3) 排除文件或路径;4) 调整检查规则;5) 验证安全性。需要逐步引导用户操作,并提醒谨慎抑制警告,以免遗漏真正的问题。</think>在Polyspace中处理过多宏定义警告的问题,可以通过以下步骤进行配置优化: ### 1. **调整预处理配置** 在`Target & Compiler`设置中: - 定义必要的预处理(如`USE_MY_MACRO`),避免因未识别导致的误报 - 通过`Preprocessor (-D)`添加宏定义,确保Polyspace正确解析语义 - 使用`Additional source files`指定宏定义头文件路径[^1] ```c // 示例:通过注释抑制特定的警告 /* polyspace-begin< MISRA-C:2012 Rule 1.1 > */ #define DEBUG_MODE 1 // 该已被审查确认为安全 /* polyspace-end< MISRA-C:2012 Rule 1.1 > */ ``` ### 2. **抑制规则检查** 在`Coding Standards`配置中: - 禁用与相关的非关键检查项(如`MISRA-C:2012 Rule 20.7`) - 设置自定义过滤条件:`Bug Finder > Filters > Add filter for macro warnings` - 保留关键安全检查(如数组越界、空指针检测)[^2] ### 3. **路径排除策略** 通过`Input & Stubbing`设置: - 添加`Exclude list`过滤第三方库路径 - 使用`Stub functions`替换含复杂的外部函数 - 设置`Analysis scope`为仅分析项目自有代码 ### 4. **动态验证机制** 对关键建议采用以下验证方式: ```c #if defined(CRITICAL_MACRO) static_assert(sizeof(CRITICAL_STRUCT) == 64, "Size verification"); #endif ``` ### 5. **报告后处理** 在`Reporting`阶段: - 使用`Results Review`面板批量过滤`Macro related` - 导出结果后通过正则表达式过滤:`grep -v "MACRO_" results.csv` - 设置保存过滤条件为`my_macro_filter.psfilt`
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值