替代开关案例返回

Question

我想在开关案例中返回一些东西。但是，使用交换机中的回报违反了Misra规则6-4-3，因此我正在寻找替代方案。

规则说：开关语句应为一个良好的开关语句。返回语句不得在开关条款中使用。

代码：

switch(x) {
  case 0:
   doSomething();
   break;
  case 1:
   return true; // violates MISRA 6-4-3
  case 2:
   doSomething();
   break;
  default:
   doSomething();
   break;
}

我知道它可以通过这种方式解决：

bool var = false;
switch(x) {
  case 0:
   doSomething();
   break;
  case 1:
   var = true;
   break;
  case 2:
   doSomething();
   break;
  default:
   doSomething();
   break;
}
return var;

但是如果可能的话，我想在没有其他代码的情况下解决它。

Answer 1

阅读 misra c ++ 2008标准，没有任何地方说：

返回语句不得在开关子句中使用。

但是，它确实说：

函数应在函数末尾具有单点退出

因此，无论如何，您都无法在case内使用返回。您别无选择，只能使用本地变量来记住case想要返回的值，然后在功能结束时在最终return中使用该变量。

Answer 2

目前尚不清楚该功能中是否有更多代码。

但要做这样的事情是一个简单的事情：

bool abort = false;
switch(x) {
  case 0:
   doSomething();
   break;
  case 1:
   abort = true;
   break;
  case 2:
   doSomething();
   break;
  default:
   doSomething();
   break;
}

if (abort)
  return true;

Answer 3

Misras的多个返回规则已进行了很多辩论（在此和其他地方）。但是，如果我们跳过该规则的细节和switch格式规则，那么这些规则的本质都归结为“不必为其付出不必要的复杂/意大利面条代码”。这就是您在这里做的。编写陌生人代码也不是解决方案。

您应该做的是抛弃这整个奇怪的switch语句，倾向于更明智的事物，例如：

if(x == 1) // comment explaining why this is a special case
{
  return true;
}

doSomething();

这可能不符合Misra，但在常识上是综合的。剩下的任何MISRA警告都可能是由于咨询规则，在这种情况下，您可以忽略它们。