用else子句终止if…else if构造有什么好处？

Question

我们的组织有一个必需的编码规则（没有任何解释），即：

if...else if构造应该用else子句终止

示例1：

if ( x < 0 )
{
   x = 0;
} /* else not needed */

if ( x < 0 )
{
    x = 0;
}
else if ( y < 0 )
{
    x = 3;
}
else    /* this else clause is required, even if the */
{       /* programmer expects this will never be reached */
        /* no change in value of x */
}

Answer 1

正如另一个答案中提到的，这来自MISRA-C编码指南。目的是防御性编程，这是一个在关键任务编程中经常使用的概念。

也就是说，每个if-else if必须以else结尾，每个switch必须以default结尾。

这有两个原因：

停止失控代码。在关键任务软件中，您需要编写健壮的程序，甚至考虑到极不可能的情况。这样您就可以看到类似这样的代码

if (mybool == TRUE) 
{
} 
else if (mybool == FALSE) 
{
}
else
{
  // handle error
}

这段代码对PC程序员和计算机科学家来说是完全陌生的，但它在关键任务软件中却完全有意义，因为它能捕捉到“mybool”因任何原因被破坏的情况。

从历史上看，您会担心RAM存储器会因为EMI/噪声而损坏。这在今天已经不是什么大问题了。更有可能的是，内存损坏是由于代码中其他地方的bug导致的：指向错误位置的指针、数组越界bug、堆栈溢出、失控代码等。

另外，如果您在每个if后面都写了一个空的else，那么代码就会完全混乱。

MISRA-C:201215.7没有给出为什么不需要else的理由，它只是说：

注意：对于简单的if语句，不需要最后的else语句。