template/operator overloading ambigous on gcc

New 3.4.4 all-mighty gcc fails on this one

Code:

---

#include <iostream>

class A{
public:
        A(){}
};
A& operator+=(A& a,char b){return a;}
template<class W> A operator+ (const A&,const W& b){ return A(a)+=b; }

int main(){
        A a;
        A b = a+'h';
        return 0;
}

---

Code:

---

$ make
g++ -Wall -c ./main.cpp -o obj/./main.o
./main.cpp: In function `A operator+(const A&, const W&) [with W = char]':
./main.cpp:12:  instantiated from here
./main.cpp:8: error: no match for 'operator+=' in 'A(((const A&)(+a))) += b'
./main.cpp:7: note: candidates are: A& operator+=(A&, char)
make: *** [obj/./main.o] Error 1

---

Yet, this source compiles great on MSVC++ 6 and 7...
I'm thinking in submiting this code to gcc bugzilla

after serious code consideration on this I tried the following...

Code:

---

template<class W> A operator+ (const A& a,const W& b){ A c(a);return c+=b; }

---

Now it worked... gcc wasn't passing the A(a) to the operator... yet if I declare it as local, it works... gcc is confusing implicit argument declaration with the creation of a local var, which is returned after.
any comments now that I figured this out ? :D

Code:

---

template<class W> A operator+ (const A&,const W& b){ return A(a)+=b; }

---

1. The problem I see with this is that you don't have a variable for the first parameter, only a type, which is ok for a declaration, but not a definition.

Code:

---

template<class W> A operator+ (const A& a,const W& b){ return A(a)+=b; }

---

works but usless since operator+ doesnt use b at all, but i imagine thats coming.

Why not template both functions, as you have it now, your template will only work with char, and you will have to make a operator+ for every type you want to use it on.