メインコンテンツ

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

MISRA C:2023 Dir 4.6

基本数値型の代わりに、サイズと符号属性を示す typedefs を使用する必要があります。

R2024a 以降

説明

命令の定義

基本数値型の代わりに、サイズと符号属性を示す typedefs を使用する必要があります。

根拠

割り当てられるメモリ量が重要な場合、特定長の型を使うことで各オブジェクトに予約されたストレージの量が明確になります。

Polyspace 実装

ルール チェッカーは、変数または関数の宣言と定義における基本データ型の使用に対してフラグを設定します。このルールでは、代わりに typedef の使用が強制されます。

ルール チェッカーは、typedef ステートメント自体での基本型の使用にはフラグを設定しません。

トラブルシューティング

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

すべて展開する

typedef unsigned int uint32_t;

int x = 0;       /* Non compliant */
uint32_t y = 0;  /* Compliant */

この例では、基本型が直接使用されているため x の宣言が準拠していません。

チェック情報

グループ: Code design
カテゴリ: 推奨
AGC カテゴリ: 推奨

バージョン履歴

R2024a で導入