本页采用了机器翻译。点击此处可查看最新英文版本。

MISRA C:2012 Rule 8.11

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

全页展开

描述

规则定义

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

理由

虽然可以使用不完整的类型声明数组并访问其元素，但显式声明数组的大小更安全。如果您为每个声明提供了尺寸信息，代码评审人员可以检查多个声明的一致性。借助大小信息，静态分析工具无需分析多个单元即可执行数组边界分析。

Polyspace 实现

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

报告中的补充消息

数组 array_name 的大小应显式指定。当声明具有外部链接的数组时，应显式指定其大小。

故障排除

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

示例

全部展开

#include <stdint.h>

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

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

检查信息

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

版本历史记录

在 R2014b 中推出

另请参阅

主题

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.