AUTOSAR C++14 Rule A5-2-3

A cast shall not remove any const or volatile qualification from the type of a pointer or reference.

説明

ルール定義

A cast shall not remove any const or volatile qualification from the type of a pointer or reference.

根拠

ポインターまたは参照からの const または volatile 修飾の削除は、想定外である可能性があります。次のコードについて考えます。

void foo(const char* p){
  *const_cast< char * >( p ) = '\0';
}

関数 foo() は、char を指す const ポインターを受け入れます。この関数の呼び出し側は、パラメーター p が変更されずに維持されるものと想定します。foo() 内の p を、非 const ポインターに変換することは、想定外の動作です。*p が const 文字にデリファレンスされると、この変更によって想定外の動作につながる可能性があります。キャストによってポインターや参照から const または volatile を削除することは避けてください。

Polyspace 実装

キャスト操作を使用してポインターあるいは参照の型から const または volatile 修飾を削除すると、Polyspace^® はこのルールに対する違反を報告します。

トラブルシューティング

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

例

キャストによるポインターからの Const の削除を回避する

void foo(const char* p){
  *const_cast< char * >( p ) = '\0';//Noncompliant
}

void foo1(volatile char* p){
  (char*) p ;//Noncompliant
}

この例では、ポインターから const および volatile 修飾をキャストで削除するキャスト操作に、Polyspace がフラグを設定します。

チェック情報

グループ: 式

カテゴリ: Required、Automated

バージョン履歴

R2019a で導入

R2024b: cv 修飾が static_cast で void に変換されて、その出力が使用されない場合、違反は報告されない

式の const または volatile 修飾が、static_cast<void> を使用して void に変換され、その結果が使用されない場合、Polyspace は違反を報告しません。たとえば、以下の myArray の cv 修飾は void に変換され、その結果は使用されません。Polyspace は違反を報告しません。

void func(std::string s, std::array<uint32_t, 4> const & myArray) {
  static_cast<void>(myArray);           // Compliant
}

参考

AUTOSAR C++14 をチェック (-autosar-cpp14)

トピック

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