MISRA 19.4 说明

Question

我想在我的文件中使用以下宏

#define DO_WAKEUP_SYNCHRONISIEREN proc.id = process_WAKEUP;proc.priority.level = PRIO_AKTIV_1;proc.priority.param=0u;(void)prio_mapF_put_in_matrix(proc)

我知道这违反了 MISRA-C:2004 规则 19.4 - 但我需要使用它来解决违规问题。

有什么方法可以使用 MACRO 并解决 MISRA-C 违规问题？

MISRA-C:2004 规则 19.4 是

C 宏只能扩展为花括号初始化器、常量、 字符串文字、带括号的表达式、类型限定符、 存储类说明符，或 do-while-zero 构造。

Answer 1

看起来规则是：

#define B A

以上不是此规则下允许的宏定义形式，因为 A 不是常量、大括号初始化器、带括号的表达式、类型限定符、存储类说明符或 do-while-zero 构造

#define B (A)

以上是允许的。替换列表是带括号的表达式。

对此的扩展将是（即使没有 MISRA 约束我也会这样做，但我只是注意到规则指出：“做零时构造”，恕我直言，乍一看并不明显“做- while-zero 构造”意味着当你不知道这一点时......）：

#define DO_WAKEUP_SYNCHRONISIEREN do {proc.id = process_WAKEUP;proc.priority.level = PRIO_AKTIV_1;proc.priority.param=0u;(void)prio_mapF_put_in_matrix(proc);} while(0)

所以指令块不能被这样的结构“部分调用”：

if (flag) DO_WAKEUP_SYNCHRONISIEREN;

这会让任何试图理解错误的人头疼。

同时它强制添加一个;，而不是一个简单的{} 块。所以这个宏看起来很像一个函数调用（也可以阅读Why use do { } while (0) in macro definition?）。