templates, namespace, and name lookup

[Stefan Naewe]

Hi there.

Given the following code, why is class B::A used at point //2 and not
class ::A ?
Does inheriting a class in a namespace put the names of that namespace into
the "name pool" used for unqualified lookup?
Where do I find that in the "Holy Standard" ?

Thanks,
Stefan

// -----SNIP-----
#include <iostream>

class A
{
public:
void print()
{
std::cout << "class ::A" << std::endl;
}
};

namespace B
{
class A
{
public:
void print()
{
std::cout << "class B::A" << std::endl;
};
};
}

template <typename Tclass C
{
public:
T object;
};

class D : public B::A //1
{
public:
void call_print()
{
C<Ac; //2
c.object.print( );
};
};

int main()
{
D* test = new D;
test->call_print() ;
delete test;
return 0;
}
// -----SNAP-----

--
Stefan Naewe stefan dot naewe at atlas-elektronik dot com
Don't top-post http://www.catb.org/~esr/jargon/html/T/top-post.html
Plain text mails only, please http://www.expita.com/nomime.html

[Stefan Naewe]

On 8/19/2008 12:18 PM, Stefan Naewe wrote:

Hi there.

Given the following code, why is class B::A used at point //2 and not
class ::A ?
Does inheriting a class in a namespace put the names of that namespace into
the "name pool" used for unqualified lookup?
Where do I find that in the "Holy Standard" ?

Thanks,
Stefan

Anyone?

// -----SNIP-----
#include <iostream>

class A
{
public:
void print()
{
std::cout << "class ::A" << std::endl;
}
};

namespace B
{
class A
{
public:
void print()
{
std::cout << "class B::A" << std::endl;
};
};
}

template <typename Tclass C
{
public:
T object;
};

class D : public B::A //1
{
public:
void call_print()
{
C<Ac; //2
c.object.print( );
};
};

int main()
{
D* test = new D;
test->call_print() ;
delete test;
return 0;
}
// -----SNAP-----

--
Stefan Naewe stefan dot naewe at atlas-elektronik dot com
Don't top-post http://www.catb.org/~esr/jargon/html/T/top-post.html
Plain text mails only, please http://www.expita.com/nomime.html

[Bo Persson]

Stefan Naewe wrote:

On 8/19/2008 12:18 PM, Stefan Naewe wrote:

>Hi there.

Given the following code, why is class B::A used at point //2 and
not class ::A ?
Does inheriting a class in a namespace put the names of that
namespace into the "name pool" used for unqualified lookup?
Where do I find that in the "Holy Standard" ?

Thanks,
Stefan

Anyone?

Well, B::A is a base class of D, so it is "obviously" visible inside
class D's functions. Therefore there is no need to go looking for any
global As elsewhere.

If I could quote chapter and verse, I would have replied with that the
first time. :-)

It is probably a combination of several rules, including "class name
injection" and other nasties.
Bo Persson

>

>// -----SNIP-----
#include <iostream>

class A
{
public:
void print()
{
std::cout << "class ::A" << std::endl;
}
};

namespace B
{
class A
{
public:
void print()
{
std::cout << "class B::A" << std::endl;
};
};
}

template <typename Tclass C
{
public:
T object;
};

class D : public B::A //1
{
public:
void call_print()
{
C<Ac; //2
c.object.print( );
};
};

int main()
{
D* test = new D;
test->call_print() ;
delete test;
return 0;
}
// -----SNAP-----