MISRA C:2023 Rule 8.11

When an array with external linkage is declared, its size should be explicitly specified

自 R2024a 起

全页展开

描述

规则定义

When an array with external linkage is declared, its size should be explicitly specified 1 .

理由

虽然可以声明一个不完整类型的数组并访问其元素，但显式声明数组的大小会更安全。如果您为每个声明提供数组大小信息，则代码审查人员可以检查多个声明的一致性。有了大小信息，静态分析工具可以在不分析多个单元的情况下执行数组边界分析。

Polyspace 实现

如果数组声明未显式指定数组大小，规则检查项会标记使用 extern 设定符声明的数组。

故障排除

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

示例

全部展开

#include <stdint.h>

extern int32_t array1[10];    /*  Compliant  */
extern int32_t array2[];      /*  Non-compliant  */

在此示例中，两个数组被声明为 array1 和 array2。array1 具有外部链接（extern 关键字）且大小为 10。array2 也具有外部链接，但没有指定大小。array2 不合规，因为对于具有外部链接的数组，必须显式指定大小。

检查信息

组：声明和定义
类别：建议
AGC 类别：建议

版本历史记录

在 R2024a 中推出

另请参阅

主题

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

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.