回答ではありません
回答者に依頼しても出てこないので、簡単に出来る範囲で調べてみました(別途質問もできないので)。
簡単な検証結果を置いておきます。
#include <iostream>
using namespace std;
struct Hoge{
Hoge() {cout << "Hoge()" << endl;}
Hoge(const Hoge& org) {cout << "Hoge(const Hoge&)" << endl;}
Hoge& operator=(const Hoge& org) {cout << "operator=(const Hoge&)" << endl;return *this;}
~Hoge() {cout << "~Hoge()" << endl;}
#if (__cplusplus >= 201103L)
Hoge(Hoge&& org) {cout << "Hoge(Hoge&&)" << endl;}
Hoge& operator=(Hoge&& org) {cout << "operator=(Hoge&&)" << endl;return *this;}
#endif
};
Hoge func(){
Hoge fuga;
return fuga;
}
int main(){
Hoge foo1 = func();
Hoge foo2 = foo1;
foo2 = foo1;
#if (__cplusplus >= 201103L)
Hoge foo3 = std::move(foo1);
foo3 = std::move(foo2);
#endif
return 0;
}
これを以下のサイトで実行してみました。
https://godbolt.org/
対象は以下の処理系です。
clang x86-64 3.3, 3.4.1, 3.5.2, 3.6, 3.7, 3.8.1, 3.9.1, 4.0.1, 5.0.2, 6.0.1, 7.0.1, 7.1.0, 8.0.1, 9.0.1, 10.0.1, 11.0.1, 12.0.1, 13.0.1, 14.0.0, 15.0.0
3.3, 3.4.1, 3.5.2, 3.6, 3.7, 3.8.1, 3.9.1, 4.0.1, 5.0.2, 6.0.1, 7.0.1, 7.1.0, 8.0.1, 9.0.1, 10.0.1, 11.0.1, 12.0.1, 13.0.1, 14.0.0, 15.0.0
gcc x86-64 4.7.4, 4.8.5, 4.9.3, 5.5, 6.4, 7.5, 8.5, 9,5, 10.4, 11.3, 12.2
msvc x64 19.33(これのみ実施)
(末尾のバージョンだけ違う場合は最大のもの以外は未実施)
確認項目1
-Wall -std=c++98で以下の出力であること。(msvcは未実施)
Hoge()
Hoge(const Hoge&)
operator=(const Hoge&)
~Hoge()
~Hoge()
確認項目2
-Wall -std=c++XX(XXは11,14,17,2a,20,2b,23でコンパイル可能な最大値)で以下の出力であること。
Hoge()
Hoge(const Hoge&)
operator=(const Hoge&)
Hoge(Hoge&&)
operator=(Hoge&&)
~Hoge()
~Hoge()
~Hoge()
(msvcは/std:c++20 /Zc:__cplusplus /O2で実施。/O2を外して最適化を切るとcopyが入る。)
※確認は目視(アセンブラは見てない)です。こういうテストが出来るオンラインの環境があると楽なんですが…。
結果
clang/gccについては記載したバージョン全てでコピー省略が最適化なしで確認できた。msvcでは最適化時のみ確認できた。
追記
msvcで最適化しないときの出力ではmove constructorになってました。
Hoge()
Hoge(Hoge&&)
~Hoge()
Hoge(const Hoge&)
operator=(const Hoge&)
Hoge(Hoge&&)
operator=(Hoge&&)
~Hoge()
~Hoge()
~Hoge()