MISRA C++:2008 Rule 5-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. ¹

根拠

このチェッカーによってフラグが設定される式は、MISRA™ C++ ドキュメンテーションの cvalue 式の詳細仕様に従います。

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

short op1;
short op2;
int res;
res= static_cast<int> (op1 + op2);

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

レポート内の追加のメッセージ

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

潜在型 typeBeforeConversion の複合式は、符号属性が同じである、より小さな整数型にのみキャストできますが、変換先の型は typeAfterconversion です。

トラブルシューティング

ルール違反が想定されるものの、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 を使用して合計が評価されるようにしています。

チェック情報

グループ: Expressions

カテゴリ: 必要

バージョン履歴

R2013b で導入

参考

MISRA C++:2008 をチェック (-misra-cpp)

トピック

コーディング規約違反のチェックおよびレビュー

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.