MISRA C:2012 Rule 9.4

An element of an object shall not be initialized more than once

このページをすべて展開する

説明

ルール定義

An element of an object shall not be initialized more than once ¹ .

根拠

指示付きの初期化子により、配列などオブジェクトの要素を任意の順序で明示的に初期化できます。しかし、指示付きの初期化子を使用すると、同じ要素を誤って 2 回初期化し、最初の初期化を上書きする可能性があります。

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

例

すべて展開する

指示付きの初期化子を使用した配列の初期化

void func(void) {
    int a[5] = {-2,-1,0,1,2};               /* Compliant */
    int b[5] = {[0]=-2, [1]=-1, [2]=0, [3]=1, [4]=2}; /* Compliant */
    int c[5] = {[0]=-2, [1]=-1, [1]=0, [3]=1, [4]=2}; /* Non-compliant */

}

この例では、配列要素 c[1] が指示付きの初期化子を使用して 2 回初期化される場合、ルールに違反します。

指示付きの初期化子を使用した構造体の初期化

struct myStruct {
    int a;
    int b;
    int c;
    int d;
};

void func(void) {
    struct myStruct struct1 = {-4,-2,2,4}; /* Compliant */
    struct myStruct struct2 = {.a=-4, .b=-2, .c=2, .d=4}; /* Compliant */
    struct myStruct struct3 = {.a=-4, .b=-2, .b=2, .d=4}; /* Non-compliant */
}

この例では、struct3.b が指示付きの初期化子を使用して 2 回初期化される場合、ルールに違反します。

チェック情報

グループ: 初期化

カテゴリ: 必要

AGC カテゴリ: 必要

バージョン履歴

R2014b で導入

すべて展開する

R2024a: 以前の値を上書きする位置初期化子要素の値が違反として報告される

位置初期化子要素が以前の初期化を上書きし、この要素の前に順序が正しくない指示付きの要素がある場合に、このルールチェッカーは違反を報告するようになりました。

struct foo my_struct = { .b = 2, .c = 3, .a = 1, /* b */ 4 }; //Noncompliant

この場合 my_struct は {1,4,3,0} となり、これは予期されていない可能性があります。

R2023b: 共用体の中での複数の配列要素の初期化が違反ではなくなった

同じ共用体または struct の中で複数の異なる配列メンバーを初期化する場合、Polyspace はこのルールチェッカーにフラグを設定しなくなりました。以下に例を示します。

typedef union {
	char grade[2];
} classA;


void main()
{
	classA students = {
		.grade[0] = "A",   //Compliant
		.grade[1] = "C"    //Compliant
	};
}

参考

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.