AUTOSAR C++14 Rule M5-0-8

An explicit integral or floating-point conversion shall not increase the size of the underlying type of a cvalue expression.

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

説明

ルール定義

An explicit integral or floating-point conversion shall not increase the size of the underlying type of a cvalue expression.

根拠

式を評価し、後でその結果を別の型にキャストする場合、そのキャストは評価の潜在型には影響しません。たとえば、この例では 2 つの short 型のオペランドの合計がより大きな int 型にキャストされます。

short op1;
short op2;
int res;
res= static_cast<int> (op1 + op2);
しかし、開発者またはコード レビュー担当者は、結果を後からキャストしたデータ型が評価で使用されていると考える可能性があります。たとえば、後からのキャストが原因で、潜在型に int を使用した合計であると見なされることがあります。

トラブルシューティング

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

例

すべて展開する

void func() {
     short op1;
     short op2;
     int res;

     res = static_cast<int> (op1 + op2); //Noncompliant
     res = static_cast<int> (op1) + op2; //Compliant

}

この例では、加算に対する最初のキャストはルールに違反しますが、2 番目のキャストは違反ではありません。

  • 最初のキャストは、潜在型に int を使用して加算が評価されているという不適切な想定につながる可能性があります。

  • 2 番目のキャストは、オペランドの 1 つをまず int に変換することで、実際に潜在型に int を使用して合計が評価されるようにしています。

チェック情報

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

バージョン履歴

R2019a で導入

参考

トピック