AUTOSAR C++14 Rule M5-18-1

The comma operator shall not be used

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

説明

ルール定義

The comma operator shall not be used.

根拠

コンマ演算子は 2 つのオペランドを取ります。演算子は左から右に評価されて、左オペランドの値が破棄され、右オペランドの値が返されます。この演算子の優先順位は、演算子の中で最も低くなっています。これらのプロパティにより、コンマ演算子の使用が直感的でなくなる可能性があります。たとえば、次のコードを考えます。

array[i++,j] = 1
一見すると、上記のコードは多次元配列にアクセスするように見えます。実際には、このコードは以下と等価です。
i++;
array[j] = 1;
コンマ演算子を使用すると、コードの可読性が低くなり、保守が困難になります。混乱を避けるには、コンマ演算子を使用しないでください。代わりに、式を複数のステートメントにリファクタリングします。

Polyspace 実装

Polyspace® は、コンマ演算子の使用にフラグを設定します。関数呼び出しと初期化にコンマ演算子を使用する場合、違反は報告されません。

トラブルシューティング

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

例

すべて展開する

typedef signed int abc, xyz, jkl;
static void func1 ( abc, xyz, jkl );       /* Compliant - case 1 */
int foo(void)
{
    volatile int rd = 1;                   /* Compliant - case 2*/
    int var=0, foo=0, k=0, n=2, p, t[10];  /* Compliant - case 3*/
    int abc = 0, xyz = abc + 1;            /* Compliant - case 4*/
    int jkl = ( abc + xyz, abc + xyz );    /* Noncompliant - case 1*/
    var = 1, foo += var, n = 3;          /* Noncompliant - case 2*/ 
    var = (n = 1, foo = 2);              /* Noncompliant - case 3*/
    for ( int *ptr = &t[ 0 ],var = 0 ;
          var < n; ++var, ++ptr){}    /* Noncompliant - case 4*/
    if ((abc,xyz)<0) { return 1; }         /* Noncompliant - case 5*/
}

この例では、コードは C コードでのコンマのさまざまな用途を示しています。

準拠していないケース
ケース非準拠の理由
1コードを読み取るときに、jkl が何に初期化されているのかがすぐにはわかりません。
2コードを読み取るときに、ステートメント後の foo の値が 0 か 1 かがすぐにはわかりません。
3コードを読み取るときに、var にどの値が代入されるのかがすぐにはわかりません。
4コードを読み取るときに、どの値が for ループを制御しているのかがすぐにはわかりません。
5 コードを読み取るときに、if ステートメントが abc、xyz または両方のいずれに依存しているのかがすぐにはわかりません。
準拠しているケース
ケース準拠の理由
1変数を伴う関数の呼び出しにコンマを使用するのは許可されています。
2コンマ演算子は使用されていません。
3 & 4コンマを初期化に使用するときに、変数とその値が一見してわかるようになっています。

チェック情報

グループ: 式
カテゴリ: Required、Automated

バージョン履歴

R2019a で導入

参考

トピック