c - Misra 警告 C 代码 - if 循环中 boolean 值和无符号值的比较

Question

在下面的 C 代码中，在检查 if 条件时，我收到了 Misra 警告

The operand of the opeartor '=='do not have same essential type category: one is 'Boolean' and other is 'unsigned'

在头文件 file1.h

#define timer_4sec       (uint8)160
#define bool_rolltime    (roll_time_count < timer_4sec)

在源文件中， file1.c

static uint8 roll_time_count = timer_4sec

void function()
{
  if(bool_rolltime == True)
  {
     printf("rolling ..\n");
  }
}
void function2()
{
    //update the roll_time_count status , increment and decrement static timer variable.
}

问题出在这里 if(bool_rolltime == True) .我已了解 roll_time_count和 timer_4sec是 uint8变量。所以我试图像这样解决这个警告

#define bool_rolltime    (bool)(roll_time_count < timer_4sec)

此代码是否是避免 Misra 错误的正确方法？如果不是，请建议如何避免此类警告？

Answer 1

这与您昨天提出的问题基本相同。正如我当时回答的那样，您需要告诉静态分析器哪些类型是 boolean 值。如bool , false和 true .为什么你使用一些自制的标准True ，我不知道，但正如你所注意到的，这不是一个好主意。同样，滴家酿uint8并使用标准 C uint8_t .
此外，由于隐藏简单表达式的臭宏，您会违反 MISRA。这是一种糟糕的做法，无论是 MISRA 还是没有 MISRA。你不应该发明一些神秘的宏语言。只要保持简单和可读:

#define timer_4sec       160u // no need for cast but you need the u suffix for MISRA-C

static uint8_t roll_time_count = timer_4sec;

void function (void) // empty parenthesis is obsolete C, write (void)
{
  if(roll_time_count < timer_4sec)
  {
     printf("rolling ..\n");
  }
}

现在我们保持代码简单易读，它也自动变成了 MISRA-C 兼容。 < 的两个操作数由于 'u' 后缀，它们属于相同的“无符号”基本类型类别。
同样，就像我昨天已经回答的那样，您需要研究 MISRA-C 指南中的基本类型规则，否则您将无法理解该工具不断告诉您的内容。