MISRA C:2012 Rule 9.3

Arrays shall not be partially initialized

全页展开

描述

规则定义

Arrays shall not be partially initialized ¹ .

理由

为每个数组元素提供显式初始化，可以明确每个元素都已考虑在内。

Polyspace 实现

如果数组在声明时被部分初始化，检查器会报告违反此规则。检查项允许使用简写符号 {0} 初始化所有值，例如：

float dat2[3*3] = {0};

故障排除

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

示例

全部展开

部分初始化和完全初始化

void func(void) {
    int x[3] = {0,1,2};               /* Compliant */
    int y[3] = {0,1};                 /* Non-compliant */
    int z[3] = {0};                   /* Compliant - exception */
    int a[30] = {[1] = 1,[15]=1};     /* Compliant - exception */
    int b[30] = {[1] = 1, 1};         /* Non-compliant */
    char c[20] = "Hello World";       /* Compliant - exception */
}

在此示例中，当每个数组元素都显式初始化时，该规则未被违反。

当数组的某些元素被隐式初始化时，该规则被违反。例外情况包括以下内容：

初始化符的形式为 {0}，将所有元素初始化为零。
数组初始化器仅由指定的初始化器组成。通常，您会使用此方法进行稀疏初始化。
数组使用字符串文字初始化。

检查信息

组：初始化

类别：必需

AGC 类别：可读性

版本历史记录

在 R2014b 中推出

全部展开

R2024a: 不再标记结构的局部初始化

规则检查器不再报告部分初始化的结构的违规情况，因为该规则仅适用于数组。

R2024a: 由于指定初始化器问题，部分初始化的数组被标记

在 R2024a 中，规则检查项现在可以更准确地检查因使用指定初始化器而导致初始化出现缺口的部分初始化数组。例如：

uint32_t example1[4] = { [1] = 1, 2, 3 };       // Noncompliant
uint32_t example2[4] = { [0] = 1, [2] = 3, 4 }; // Noncompliant
uint32_t example3[4] = { [0] = 1, [1] = 0, [2] = 3, 4 }; // Compliant

R2023a: 数组初始化中的缩写符号不正确，已标记

当数组使用不正确的简写符号（如 {0.0}、{0U} 或 {}，而不是通常的 {0}）进行初始化时，规则检查器会报告违规。

另请参阅

检查 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.