ネストしたクラスのオーバーロード演算子を作成できない

Question

前提・実現したいこと

ネストしたクラス内の加算演算子を作成したいのですが，うまくいきません。
作成したコードは以下のとおりです。mainのa+bの部分でエラーがでます。
どなたか，お分かりになる方のご教示お願いいたします。

発生している問題・エラーメッセージ

Invalid operands to binary expression ('Foo<int>::Boo' and 'Foo<int>::Boo')

該当のソースコード

template<typename T>
struct Foo{
    struct Boo{
        T val;
        Boo& operator+=(const Boo& r){
            val+=r.val;
            return *this;
        }
    }boo;
};

template<typename T>
using Boo_t = typename Foo<T>::Boo;
template<typename T>
Boo_t<T> operator+(const Boo_t<T>& a,
                    const Boo_t<T>& b){
    Boo_t<T> t=a;
    t += b;
    return t;
}

int main(){
    Foo<int>::Boo a;
    a.val=10;
    Foo<int>::Boo b;
    b.val=20;
    Foo<int>::Boo c = a+b;

    return 0;
}

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

clang
C++17

Answer 1

operator+をメンバー関数にするのはダメなのでしょうか？

template<typename T>
struct Foo{
    struct Boo{
        T val;
        Boo& operator+=(const Boo& r){
            val+=r.val;
            return *this;
        }
        Boo operator+(const Boo& r) const {
            return Boo(*this) += r;
        }
    }boo;
};

Comments

[jbe00214]

これでいいですね。2個の引数を前提に考えていたので，思いつきませんでした。ありがとうございました。

Answer 2

正直あまり良くわかっていないのですが、

こういう型と

template<typename T>
struct Foo{
    struct Boo{T val;};
};

こういう関数があったとして

template<typename T>
void func(const typename Foo<T>::Boo a){}

こういう特殊化をした場合

template<> struct Foo<int>{using Boo = int;};
template<> struct Foo<double>{using Boo = int;};

func(1); // func(Foo<int>::Boo) ? func(Foo<double>::Boo) ?

という感じで型が解決できないので::の左にある型変数は推測してくれないようです

Comments

[jbe00214]

funcの引数から，特殊化のクラス選択のための推論による名前解決ができないということでは同じなんですね。

Answer 3

誤解によるものなので取り消し

エラーメッセージのとおりです。当該の型に+=演算子はオーバーロードされていますが、+はありません。

Comments

[yuki23]

operator+は定義されているのにオーバーロードされてないのはなぜ？ という質問ではないでしょうか

[maisumakun]

試しにWandboxへ投げてみたら、「couldn't deduce template parameter 'T'」となりました。ちょっと追いきれていない感じはありますが、とりあえずそこだけメモしておきます。

[jbe00214]

yuki23<< そのようです。operator+で名前解決してくれていないような。
maisumakun<< その後よくエラーを見てみると，operator+のところで，Candidate template ignored: couldn't infer template argument 'T'と，Wandboxと同じようなワーニングが出ていました。推論してくれていないということですね。原因がわかりません。

[ozwk]

この話でしょうか

https://stackoverflow.com/questions/12566228/candidate-template-ignored-because-template-argument-could-not-be-inferred

[jbe00214]

ありがとうございます。この話ですね。ネストしたクラス内のクラスの型まで推論してくれないと。エラーの原因はわかりました。ではどのように実装するか。。。

[jbe00214]

こんな感じでしょうか。
求めていた解決方法ではなく，Booでの演算はできないのが残念です。

```C++
template<typename T>
Foo<T> operator+(const Foo<T>& a,
const Foo<T>& b){
Foo<T> t;
t.boo = a.boo;
t.boo += b.boo;
return t;
}
int main(){
Foo<int>a;
a.boo.val=10;
Foo<int> b;
b.boo.val=20;

Foo<int> c = a+b;
return 0;
}
```