MISRA C:2012 Rule 13.6

The operand of the sizeof operator shall not contain any expression which has potential side effects

全页展开

描述

规则定义

The operand of the sizeof operator shall not contain any expression which has potential side effects ¹ .

理由

sizeof 操作符的参量通常不会在运行时进行评估。如果参量是一个表达式，您可能会错误地认为该表达式会被求值。

Polyspace 实现

根据 MISRA C™:2012 规范，如果 sizeof 运算符的操作数具有超出 sizeof 表达式的副作用，则规则检查器会报告违规。例如，如果 sizeof 操作符递增了一个全局变量，则规则检查器会报告一个违规。

故障排除

如果您预期会出现违规，但未看到该违规，请参阅诊断为何编码规范违规未按预期显示。

示例

全部展开

`sizeof` 运算符中的表达式

#include <stddef.h>
int x;
int y[40];
struct S {
    int a;
    int b;
};
struct S myStruct;

void main() {
    size_t sizeOfType;
    sizeOfType = sizeof(x);         /* Compliant */
    sizeOfType = sizeof(y);         /* Compliant */
    sizeOfType = sizeof(myStruct);  /* Compliant */
    sizeOfType = sizeof(x++);       /* Non-compliant */
}

在此示例中，当表达式 x++ 被用作运算符 sizeof 的参量时，规则被违反。

检查信息

组：副作用

类别：必需

AGC 类别：必需

版本历史记录

在 R2014b 中推出

全部展开

R2023b: 技术勘误 2：此规则现在为必需规则

从 R2023b 版本开始，此规则从强制规则变更为必需规则。

R2023b: 读取 `volatile` 变量被视为持久副作用

如果 sizeof 操作符中的表达式包含易失性变量，规则检查器会报告违规。例如：

volatile int v;
sizeof ( void ( *[ n ] ) ( int32_t a[ v ] ) );

另请参阅

MISRA C:2012 Rule 18.8 | 检查 MISRA C:2012 (-misra3)

主题

检查并审查编码标准违规

The MISRA coding standards referenced in the Polyspace^® Bug Finder™ documentation are from the following MISRA standards:

MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.