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 设定符声明的数组。

报告中的补充消息

Size of array array_name should be explicitly stated.When an array with external linkage is declared, its size should be explicitly specified.

故障排除

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

示例

全部展开

#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.