ユーザー定義関数が暗黙的関数と同等かどうかを自動的に決定

Question

ユーザーは、暗黙的に定義されたバージョンと同等の機能を持つ関数を実装することがあります。たとえば、単にすべてのメンバーのコピーコンストラクタを呼び出すコピーコンストラクタです。

struct A 
{ 
    int B; 
    A(const A& a) : B(a.B) { } 
} 

それはクラスのメンバーはなど、並べ替え/名前を変更している場合など、追加のメンテナンスを引き起こし、読みやすさを減らすため、これは、望ましくありません。また、これらの関数を追加すると、std::is_trivially_copy_constructableのような関数は、型を単純にコピーすることはできないと主張しています（実際には実際には可能です）。

私はコードベースを持っていますが、これは一般的なものですが、これらの実装を削除することで修正したいと思います。しかし、暗黙の実装と同じように見える機能を削除することは、実際には同等ではない場合があるため、私は不安です。関数がその暗黙のバージョンと同等かどうかを判断する方法はありますか？ （任意のツールセット/言語のバリエーション/ etcの使用は可能です）。

Answer 1

の差異が実際にはである可能性があり（通常のデフォルト動作を想定していたため）、これらの機能がデフォルトの実装と同じであるかどうかをプログラムで判断しないことをお勧めします。

代わりに、さまざまな機能のの動作が予想されるかどうかをテストするための単体テストセットを書き留めておき、それがデフォルトの実装を継承していることを確認することをお勧めします。そして、機能があなたが望んだことを自信を持って行うことができる将来の拡張のためのテストフレームワークを持っているだけでなく、