オブジェクトのコピーを返せない。

Question

質問内容

下記のコード中にある構造体Aの
operator+の戻り値を
オブジェクトのコピーにして返したいのですが
そうするとコンパイルエラーが発生します。

エラーログではコピーコンストラクタの引数が一致しないと
記載されているようなので試しに
const A&型を引数にするコピーコンストラクタではなく
A&型を引数にしたコピーコンストラクタを追加してみましたが
追加する前と同じエラーログを吐くコンパイルエラーが発生しました。

そこで2つの質問がございます。
・どのように書けばオブジェクトのコピーを返せるようになるのでしょうか?
・なぜこのような問題が発生するのでしょうか?

どうかよろしくお願いします。

ちなみにA&やA&&を返すのならコンパイルエラーは発生しませんでしたが
operator+に関してはコピーを返せるようにしたいので質問させて頂きました。

問題の発生したコード

#include <iostream>
using namespace std;

struct A{
    int var;
        
    A(){
        this->var = 0;
    }

    explicit A(const A& copy){
        *this=copy;
    }

    A& operator=(const A& copy){
        this->var = copy.var;
        return *this;
    }

    A& operator=(const int arg){
        this->var = arg;
        return *this;
    }

    //
    //  問題の発生した部分
    //
    A operator+(const A& arg)const{
        A a;
        a.var = this->var + arg.var;
        return a;
    }
};

ostream& operator<<(ostream& os, const A& arg)noexcept{
    os << (arg.var);
    return os;
}

int main(void){
    A a1;
    A a2;

    a1 = 1;
    a2 = 2;

    cout << (a1+a2) << endl;
}

エラーログ

a.cpp: In member function ‘A A::operator+(const A&)’:
a.cpp:30:16: error: no matching function for call to ‘A::A(A&)’
         return a;
                ^
a.cpp:7:5: note: candidate: A::A()
     A(){
     ^
a.cpp:7:5: note:   candidate expects 0 arguments, 1 provided

補足情報（FW/ツールのバージョンなど）

OS:LinuxMint18.3 Cinammon
コンパイラ:g++ 7.4.0

Comments

[hoshi-takanori]

コピーコンストラクターに explicit が付いてるからでは？

Answer 1

まさに妥当なコピーコンストラクタが無いのでエラーになっているというだけです。

コピーコンストラクタは自分自身と同じ型の参照を受け取るメンバ関数で、なおかつ explicit であってはいけません。 質問中の例であれば explicit を消すだけでも通ります。

explicit は暗黙に呼び出されることを抑止する指定です。 「これはコピーコンストラクタではなく普通に引数を一個受け取るコンストラクタだよ！」ということをあなたは宣言しています。 何の意図で explicit を付けているのでしょうか？

Comments

[退会済みユーザー]

ご回答ありがとうございます。
仰る通りexplicitを外したらコンパイルが通りました。

explicitを付けている理由につきましては
http://starpentagon.net/life/2017/01/explicit_constructor/
ここの例のように意図しない挙動を防ぐために
普段から引数が1つのコンストラクタにはexplicitをつけることを
習慣付けていた事が原因です。