AUTOSAR C++14 Rule M6-4-1

An if ( condition ) construct shall be followed by a compound statement.The else keyword shall be followed by either a compound statement, or another if statement

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

説明

ルール定義

An if ( condition ) construct shall be followed by a compound statement.The else keyword shall be followed by either a compound statement, or another if statement.

根拠

単一のステートメントを if 文または if...else 文の本体として使用し、その本体を複合ステートメントに変更しようとすると、ロジック エラーが発生して想定外の結果になる可能性があります。このルールにより、単一ステートメントの本体を複合ステートメントの本体に変更しようとする際に、中かっこを省略したり忘れたりすることがなくなります。複合ステートメントを使用できないと、想定外の結果になり、開発者の混乱を招く可能性があります。中かっこ { } を使用して複合ステートメントを作成してください。if ステートメントが単純なもので、単一のステートメントしか含まれていない場合でも、中かっこを使用してください。

Polyspace 実装

複合ステートメントが if ステートメント、else-if ステートメント、または else ステートメントの直後に続いていない場合は常に、Polyspace® がこの欠陥を報告します。

トラブルシューティング

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

例

すべて展開する

#include <cstdint>

int example(int test, int result)
{
    if (test > 5) 
    {
        test--;
        result = test + result;   //Compliant
    } 
    else if (test <= 5) 
    {
        result = test - result;   //Compliant
    } 
    else                          //Noncompliant
        result = test;            

    return result;
}

else ステートメントで中かっこ { } を使用せずに複合ステートメントを作成しているため、Polyspace は非準拠としてこれにフラグを設定します。

チェック情報

グループ: ステートメント
カテゴリ: Required、Automated

バージョン履歴

R2019a で導入

参考

トピック