AUTOSAR C++14 Rule M3-2-2

The One Definition Rule shall not be violated.

説明

このチェッカーは、既定の Polyspace^® as You Code 解析では非アクティブにされます。Polyspace as You Code 解析で非アクティブにされるチェッカー (Polyspace Access)を参照してください。

The One Definition Rule shall not be violated.

One Definition Rule (定義は 1 度の規則) に違反すると、定義していない動作を引き起こします。

チェッカーは、同じ関数またはオブジェクトに複数の定義があり、その定義の一部のトークンが異なっている状況にフラグを設定します。このチェッカーは、次のような未使用のコードでは起動されません。

ルール違反が想定されるものの、Polyspace から報告されない場合は、コーディング規約違反が想定どおりに表示されない理由の診断を参照してください。

次の例では次の 2 つのファイルを使用しています。

file1.cpp:


typedef struct S //Noncompliant
{
   int x;
   int y;
}S; 
void foo(S& s){
//...
}

file2.cpp:


typedef struct S 
{
   int y;
   int x;
}S ; 
void bar(S& s){
//...
}

この例では、file1.cpp と file2.cpp の両方で構造体 S を定義しています。ただし、定義では構造体のフィールドの順序が入れ替わっています。

グループ: 基本概念

カテゴリ: Required、Automated

R2019a で導入