MISRA规则违规：复合表达式赋值与整型提升问题求助

原代码 #

uint16 final_count = 0U;

uint8 count1 = 0U;
uint8 count2 = 0U;
uint8 count3 = 0U;
uint8 count4 = 0U;
  
void test(void)
{
  uint8 input = 0U;

  input = get_input(); // 获取输入值
  count1 = get_count1(); // 获取计数1
  count2 = get_count2(); // 获取计数2
  count3 = get_count3(); // 获取计数3
  count4 = get_count4(); // 获取计数4
  
  if(input == 1U)
  {
      final_count= count1 + count2; // 此处触发两个警告
  }
  else if(input == 2U)
  {
      final_count= count2 + count3; // 此处触发两个警告
  }
  else
  {
     final_count= count1 + count2 + count3 + count4; // 此处触发两个警告
  }
}

触发的MISRA警告 #

• 警告1：A composite expression of 'essentially unsigned' type (unsigned char) is being converted to wider unsigned type, 'unsigned short' on assignment.
  翻译：赋值时，本质无符号类型（unsigned char）的复合表达式被转换为更宽的无符号类型（unsigned short）。
• 警告2：Integral promotion : unsigned char promoted to signed int.
  翻译：整数提升：unsigned char被提升为signed int。

问题根源 #

1. 警告1原因：count1、count2等变量都是uint8（即unsigned char），它们相加后的表达式类型仍为unsigned char。将这种窄无符号类型的结果赋值给更宽的uint16变量时，MISRA认为该隐式转换存在风险——开发者可能未明确意识到类型宽度变化带来的行为差异，因此触发警告。
2. 警告2原因：遵循C语言整数提升规则，unsigned char类型参与算术运算时，会被自动提升为signed int（只要int的取值范围能覆盖unsigned char的所有可能值，这在绝大多数系统中都成立）。而MISRA禁止无符号类型被提升为有符号类型，避免后续运算中可能出现的符号错误或溢出问题。

无需临时变量的解决方案 #

核心思路是在算术运算前，将每个uint8类型的操作数强制转换为目标类型uint16，让运算全程以uint16类型进行，从根源避免类型提升和隐式转换问题。修改后的代码如下：

uint16 final_count = 0U;

uint8 count1 = 0U;
uint8 count2 = 0U;
uint8 count3 = 0U;
uint8 count4 = 0U;
  
void test(void)
{
  uint8 input = 0U;

  input = get_input();
  count1 = get_count1();
  count2 = get_count2();
  count3 = get_count3();
  count4 = get_count4();
  
  if(input == 1U)
  {
      final_count = (uint16)count1 + (uint16)count2;
  }
  else if(input == 2U)
  {
      final_count = (uint16)count2 + (uint16)count3;
  }
  else
  {
     final_count = (uint16)count1 + (uint16)count2 + (uint16)count3 + (uint16)count4;
  }
}

方案说明 #

• 强制转换后，每个操作数都变为uint16类型，算术运算会以uint16宽度执行，结果也为uint16，赋值给同类型的final_count时不再有隐式转换，解决警告1。
• 由于操作数已是uint16，整数提升时会根据系统情况提升为unsigned int或保持uint16（取决于int的宽度），但不会再被提升为signed int，彻底消除警告2。

内容的提问来源于stack exchange，提问作者user2986042