MISRA C++:2008 Rule 5-2-5

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. 1

根拠

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

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

Polyspace 実装

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

トラブルシューティング

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

例

すべて展開する

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

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

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

チェック情報

グループ: Expressions
カテゴリ: 必要

バージョン履歴

R2013b で導入

参考

トピック

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

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.