AUTOSAR C++14 Rule A12-8-5
A copy assignment and a move assignment operators shall handle self-assignment
説明
ルール定義
コピー代入演算子と移動代入演算子は自己代入を処理するものとします。
Polyspace 実装
コピー代入の本体が "if (this != arg)" で始まっていない場合に報告します。
空の else ステートメントが if の後に続いているか、本体に return ステートメントのみが含まれている場合は、違反になりません。
if ステートメントの後に return ステートメント以外のステートメントが続いている場合は違反になります。
トラブルシューティング
ルール違反が想定されるものの、Polyspace® から報告されない場合は、コーディング規約違反が想定どおりに表示されない理由の診断を参照してください。
チェック情報
| グループ: 特殊なメンバー関数 |
| カテゴリ: Required、Automated |
バージョン履歴
R2019a で導入
