template/operator overloading ambigous on gcc

[xErath]

New 3.4.4 all-mighty gcc fails on this one

#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;
}

$ 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

[xErath]

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

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 ?

[Darryl]

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.

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.