Re: g++ does not honour "explicit" keyword in all cases?

[Gabriel Dos Reis <gdr at integrable-solutions dot net>]

Richard Guenther <rguenth@tat.physik.uni-tuebingen.de> writes:

| Hi!
| 
| Shouldnt g++ reject the following code, following 12.3.2?
| 
| struct Foo {
|    template <class T>
|    explicit Foo(const T&) {}
| };
| 
| template <class T>
| struct Bar {
|    static T bar() { return 1; }
| };
| 
| void foo(void)
| {
|   Bar<double>::bar();
| }
| 
| here Foo::Foo(const T&) is implicitly called from Bar::bar() returning
| int. Both gcc 3.3 and gcc 3.4 (and also intel icpc) accept these. But they
| should reject this for the same reason they reject
| 
| void foo(void)
| {
|   Foo i = 1.0;
| }
| 
| ?

Hm, I guess there is something I'm missing here.  From the definition
of Bar<double>::bar, the return type is double and there is no mention
of Foo, so I can't see what is wrong with the code.

-- Gaby