このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
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 から報告されない場合は、コーディング規約違反が想定どおりに表示されない理由の診断を参照してください。
例
チェック情報
グループ: 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.