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.