MISRA C:2023 Rule 10.5

The value of an expression should not be cast to an inappropriate essential type

R2024a 以降

説明

ルール定義

The value of an expression should not be cast to an inappropriate essential type ¹ .

根拠

変数の型間の変換

		変換元
		boolean	文字	enum	符号付き	符号なし	実数の浮動小数点	複素数の浮動小数点
変換先	boolean		回避	回避	回避	回避	回避	回避
	文字	回避					回避	回避
	enum	回避	回避	回避	回避	回避	回避	回避
	符号付き	回避
	符号なし	回避
	実数の浮動小数点	回避	回避
	複素数の浮動小数点	回避	回避

不適切な明示的キャストの例は以下のとおりです。

C99 では、_Bool への代入のキャスト結果は常に 0 か 1 となる。この結果は実質的な boolean 型として定義される別の型にキャストする場合は必ずしも当てはまらない。
実質的な enum 型へのキャストは、その型の列挙定数のセットにない値になる可能性がある。
実質的な boolean 型からそれ以外の型へのキャストにほとんど意味はない。
浮動小数点型と文字型の間での変換は、2 つの表現の間に正確なマッピングが存在しないため、意味はない。

許容可能な明示的キャストの例は以下のとおりです。

後に続いて算術演算が実行される型を変更する。
意図的に値を切り捨てる。
明瞭性のため型変換を明示的にする。

実質的な型についての詳細は、MISRA C Rule 10.x の実質的な型を参照してください。

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

例

すべて展開する

準拠するキャストと非準拠のキャスト

次の例は、適切かつ実質的な型の間の準拠するキャストと、不適切な型の間の非準拠のキャストを示しています。

#include <stdbool.h>
#include <stdint.h>

enum vehicleType { CAR, TRUCK, MOTORCYCLE } vehicle;
enum colorType { RED, BLUE, GREEN } color;

void validateCasting() {
    ( int32_t ) 3U;       /*  Compliant */
    ( bool ) false;       /*  Compliant - 'false' from stdbool.h is essentially Boolean */
    ( bool ) 0;           /*  Compliant - by exception */
    ( bool ) 3U;          /* Noncompliant */

    ( int32_t ) vehicle;  /*  Compliant */
    ( enum vehicleType ) 3; /* Noncompliant */
    ( char ) color;       /*  Compliant */
}

チェック情報

グループ: 実質的な型モデル

カテゴリ: 推奨

AGC カテゴリ: 推奨

バージョン履歴

R2024a で導入

すべて展開する

R2025a: 値 1 と 0 をもつ `true` マクロおよび `false` マクロは実質的な boolean 型と見なされる

Polyspace^® は、stdbool.h に含まれるマクロ true および false を実質的な boolean 型と見なすようになりました。オプション -boolean-types を指定すると、マクロ true/ TRUE/True および false/ FALSE/False も、それぞれ値 1、0 をもつ場合は実質的な boolean 型と見なされます。

R2024b: `-boolean-types` オプションを使用すると、チェッカーがより明確に `bool` キャストを識別する

オプション [有効な boolean 型] (-boolean-types) を使用してブール値として扱うデータ型を指定すると、Polyspace がより明確に boolean 型のキャストを識別します。Polyspace は、typedef を使用してブール値を別の値にキャストする値にフラグを設定しません。

参考

MISRA C:2023 のチェック (-misra-c-2023) | MISRA C:2023 Rule 10.3 | MISRA C:2023 Rule 10.8

トピック

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.