- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
关于 MISRA C 2012 规则 15.4 -“用于终止任何迭代语句的 break 或 goto 语句不应超过一个。” - 这个例子正确吗?任何人都可以用一些工具(MISRA 检查器)确认这一点吗?
do {
retval = do_smth();
if (retval != OK) {
break;
}
retval = do_smth2();
if (retval != OK) {
break;
}
retval = do_smth3();
} while (0u);
这只是一个概念,但我在这里尝试的是用
goto
级联替换
break
级联(不幸的是在这种情况下被禁止)。我的观点是
do { } while(0u);
不是迭代语句。
最佳答案
首先,您的代码确实不遵循规则 15.4,因为您在迭代语句中有 3 个 break
1)。但这只是一个建议,只要代码可读且易于遵循,像您一样使用多个中断并没有错。
这些 MISRA 规则的主要原理是防止“复合语句意大利面”,其中复杂的代码从多个嵌套的复合语句中分离出来。在盲目地遵循这些规则之前了解其基本原理很重要。因此,在这种情况下,只需考虑保留代码原样 - 建议规则不需要任何偏差。
否则,有几个选项,如下所示:
MISRA-C 的一个问题是它不允许从一个函数多次返回,即使它使代码更具可读性。否则,显而易见且最易读的解决方案是使用函数:
type do_stuff (void);
{
type retval;
retval = do_smth();
if (retval != OK) { return retval; }
retval = do_smth2();
if (retval != OK) { return retval; }
retval = do_smth3();
return retval;
}
我通常的解决方案是使 MISRA-C 永久偏离多重返回规则,并在使代码更具可读性的情况下允许它,就像在这种情况下一样。
goto
的规则在 MISRA-C:2012 中放宽了,所以现在只是建议性的。
retval = do_smth();
if (retval != OK) { goto error; }
retval = do_smth2();
if (retval != OK) { goto error; }
retval = do_smth3();
if (retval != OK) { goto error; }
goto everything_ok;
error:
/* error handling */
everything_ok:
如果以上两种形式都不行,因为您对 MISRA-C 非常严格,那么第三个选项可能是这样的,我认为它 100% 符合 MISRA-C:
typedef type do_stuff_t (void);
do_stuff_t* const do_stuff[N] = { do_smth, do_smth2, do_smth3 };
type retval = OK;
for(uint32_t i=0u; (i<N) && (retval==OK); i++)
{
retval = do_stuff[i]();
}
My point is that do { } while(0u); is not an iteration statement.
6.8.5 Iteration statements
Syntax
iteration-statement:
while
(
expression)
statementdo
statementwhile
(
expression) ;
关于c - MISRA C 2012 规则 15.4 并用 break 替换 goto,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/66369536/
我无法解决此行中的 Misra 规则 11.6 警告: uint32_t * delay = (uint32_t *)0x40086D0C ; [仅供引用: typedef long unsigned
MISRA 标准不允许在宏定义中使用字符串化运算符在不使用 # 运算符的情况下实现相同概念的替代方法是什么? 最佳答案 实际上并没有任何直接的替代方案——只有变通办法。此建议规则与建议不要使用类似函数
MISRA 标准不允许在宏定义中使用字符串化运算符在不使用 # 运算符的情况下实现相同概念的替代方法是什么? 最佳答案 实际上并没有任何直接的替代方案——只有变通办法。此建议规则与建议不要使用类似函数
我对misra和按位运算有一些理解问题。 我有以下操作: ((in >> bit) & 1u) 这里in有类型 unsigned short和 bit有类型 int . 1u应该是 unsigned
根据 MISRA 规则,我遇到此错误:不能对有符号整数执行按位运算。 typedef unsigned __int8 gUBYTE; typedef gUBYTE gBORDER;
C标准要求,在表达式中使用时,排名低于“int”且其值在“int”范围内的无符号类型的值总是提升为“signed int”。因此,假设如下: uint8_t a,b; if ((a-b) > (uin
我有这个功能: void InitS(unsigned int &numS){ // this function returns a container for unsigned int
我需要一些关于 C++ 内存管理和 MISRA 指南的说明.. 我必须实现一个与 MISRA 兼容的程序,所以我必须遵守一条重要规则:不可能使用"new"运算符(动态内存堆)。 在这种情况下,对于任何
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题,以便用事实和引用来回答。 关闭 6 年前。
我了解 MISRA-C 标准适用于嵌入式固件。当嵌入式 Linux 是您的产品平台时,您的嵌入式应用程序能否/应该开发为符合 MISRA-C 标准?有没有人考虑过这样的练习? 我的一般感觉是,您必
我写了下面一段 MISRA 不喜欢的代码: UartPtr->C &= ((uint8_t)(~SIO_C2_SBK)); 与 #define SIO_C2_SBK ((uint8_t)0x01u)
MISRA 中的规则 2.2 规定“源代码应仅使用 /* ... */ 样式注释”。有谁知道这条规则的基本原理是什么? //出了什么问题风格评论? 最佳答案 MISRA 1998 和 2004 仅支持
类函数宏是 #define ARRAYSIZE(_Array) ((sizeof(_Array)) / (sizeof(_Array[0]))) 显示的错误是: Error[Pm154]: in t
是否可以禁用外部库的 MISRA 检查?我已经尝试过这个,但它似乎不起作用(此 header 使用 C++ 风格的注释和不兼容的 @ 标签)。 #pragma ghs startnomisra #in
我创建了一个函数来添加数组中的下一个数字。代码很简单,如下 int math(int *address, int size) { int sum = 0; for (int i = 0
我遇到了有关环绕错误的 MISRA 标准问题。我试图通过查看互联网上可用的选项来解决它,但仍然无法解决它,因为仍然无法找到一些可行的解决方案。 我提供一个简单的例子来解释我的情况。 由于 MISRA
我正在尝试读取之前写入 NVM 闪存的变量的值。 我的代码是: uintptr_t address = getAddress(); //[MISRA C++ Rule 5-2-8] cast from
MISRA C++ 规则:5_0_3 尝试使用一种符合 MISRA 标准的静态工具分析器,但无法解决。 #include #include using namespace std; int main(
我有以下行(减少到最低限度地展示问题): char version_text[64U] = {'\0'}; 此行生成以下 MISRA 错误: Error[Pm023]: missing element
我有一个读/写一些内存映射寄存器的裸机程序(驱动程序)。例如: void foo_read(uint64_t reg_base, uint32_t *out_value) { *out = R
我是一名优秀的程序员,十分优秀!