Using declarations

Using declarations

[Martin von Loewis]

I'm still not certain about the exact semantics of using declarations.
It seems to me that

namespace A{
  void f();
}

using A::f;

namespace A{
  void f(int);
}

using A::f;

void g(){
  f(4);
}

should be illegal. The redeclaration of 'using A::f;' is certainly
correct, however, the selected set of declarations should be the one
found at the first declaration.

If A::f(int) is visible inside ::g, please let me know why.

TIA,
Martin

Re: Using declarations

[Alexandre Oliva]

Martin von Loewis writes:

> I'm still not certain about the exact semantics of using declarations.

> The redeclaration of 'using A::f;' is certainly
> correct, however, the selected set of declarations should be the one
> found at the first declaration.

In my interpretation, a using declaration brings the current
definition of the specified name into the current namespace,
therefore, the redeclaration would bring the declarations of both
A::f(char) and A::f(int) into the global namespace.

But you're right, this is not explicitly stated in (my non-final copy
of) the Standard.  Time for one more question in comp.std.c++

-- 
Alexandre Oliva
mailto:oliva@dcc.unicamp.br mailto:aoliva@acm.org
http://www.dcc.unicamp.br/~oliva
Universidade Estadual de Campinas, SP, Brasil