C++ MISRA2012 规则 12.1 建议使用额外的括号

发布于07月11日

我正在try 修复我的代码与misra C的符合性.在静态分析期间，我遇到了以下违规行为:

规则12.1:建议加括号.条件运算是

代码为:

if (CHANNEL_STATE_GET(hPer, channel) != CHANNEL_STATE_READY)
{
    retCode = ERROR;
}

其中CHANNEL\u STATE\u GET是一个宏，如下所示:

#define CHANNEL_STATE_GET(__HANDLE__, __CHANNEL__)\
  (((__CHANNEL__) == CHANNEL_1) ? (__HANDLE__)->ChannelState[0] :\
   ((__CHANNEL__) == CHANNEL_2) ? (__HANDLE__)->ChannelState[1] :\
   ((__CHANNEL__) == CHANNEL_3) ? (__HANDLE__)->ChannelState[2] :\
   ((__CHANNEL__) == CHANNEL_4) ? (__HANDLE__)->ChannelState[3] :\
   ((__CHANNEL__) == CHANNEL_5) ? (__HANDLE__)->ChannelState[4] :\
   (__HANDLE__)->ChannelState[5])

你有什么办法解决这一违规行为吗？

BR，

推荐答案

注(Lundins comments 或多或少暗示了这一点……)，我回答了更多关于如何处理MISRA发现的问题(以及我遭受的其他一些分析工具的发现).

首先，我想从一个更好的Angular 来理解这个发现实际上描述了什么.对于如图所示的嵌套 struct ，这需要重新审视.所以

我会应用缩进，只是为了在编辑时更方便，然后，在邀请的地方再添加()个，例如，在本例中，将每个x?y:z个放在一对中.

#define CHANNEL_STATE_GET(__HANDLE__, __CHANNEL__)\
  (        ((__CHANNEL__) == CHANNEL_1) ? (__HANDLE__)->ChannelState[0] :\
    (      ((__CHANNEL__) == CHANNEL_2) ? (__HANDLE__)->ChannelState[1] :\
      (    ((__CHANNEL__) == CHANNEL_3) ? (__HANDLE__)->ChannelState[2] :\
        (  ((__CHANNEL__) == CHANNEL_4) ? (__HANDLE__)->ChannelState[3] :\
          (((__CHANNEL__) == CHANNEL_5) ? (__HANDLE__)->ChannelState[4] :\
                                          (__HANDLE__)->ChannelState[5]  \
          )                                                              \
        )                                                                \
      )                                                                  \
    )                                                                    \
  )

This is to address what the quoted finding is about.
I would not feel bad about sprinkling a few more around e.g. each CHANNEL_N.

(我承认，我没有针对MISRA判断器测试我的代码.我试图提供一种方法.我希望这可以修复提到的发现，可能用另一个发现替代它……根据我的经验，MISRA擅长这一点……我甚至不希望这能解决所有发现.)