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

The unary & operator shall not be overloaded.

このページをすべて展開する

説明

ルール定義

The unary & operator shall not be overloaded. 1

根拠

C++11 以前の C++ バージョンを使用している場合、クラス内でアドレス演算子 (単項の &) をオーバーロードすると、未定義の動作が発生する可能性があります。C++14 以降の C++ バージョンを使用している場合、単項の & 演算子のオーバーロードは未指定の動作です。以下の条件の両方が true の場合に未定義または未指定の動作が発生します。

  • 不完全な型のアドレスを取得する。

  • オーバーロードされた単項の & 演算子が型に含まれている。

& 演算子をオーバーロードすると、コードが理解しにくくなります。これは、*&a が a に評価されない可能性があるからです。

Polyspace 実装

単項の & 演算子をオーバーロードすると、Polyspace® は欠陥を報告します。

トラブルシューティング

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

例

すべて展開する

この例では、myclass クラスでアドレス演算子がオーバーロードされています。ソース ファイル file1.cpp では、myclass.h がインクルードされていないため、myclass は不完全な型になります。組み込みの単項の & 演算子を使用して myclass のオブジェクト a のアドレスを取得すると、C++ のバージョンに応じて未定義の動作または未指定の動作が発生します。Polyspace は、単項の & 演算子のオーバーロードに対して違反を報告します。予期しないエラーを回避するには、単項の & 演算子をオーバーロードしないでください。

//myclass.h
class myclass{
public:
myclass * operator&();  //Noncompliant
};
 
//file1.cpp
class myclass; //Incomplete type

void foo(myclass& a){
&a; // undefined or unspecified behavior;
}
//file2.cpp
#include"myclass.h"
void foo2(myclass& a){
&a; //Uses user-defined operator &
}
 

チェック情報

グループ: 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.