不可思议：using namespace无效！(1)

不可思议：using namespace无效！(1)
C++ namespace与name lookup之惑


问题由 清风雨 于2005年底在 “ namespace 和 操作符重载” 一文中提出，
讨论众多，但疑惑未解。


翻到此文时觉得不可思议，可事实如此，试了多个编译器都是相同结果。
试图去解释，可是过后细想还是有问题。
经查阅相关概念，大胆猜想并编码求证，终于有了一个合理解释，希望与大家共同研究。


原文中，在test命名空间重载了一个小于操作符("<")，并使用

using namespace test;

进行使用。

可是出乎意料，std::sort()使用该"<"操作符时编译出错！

代码如下：

#include <vector>
#include <algorithm>

class testClass
{
};

namespace test
{
bool operator<( const testClass &class1,
const testClass &class2 )
{
return true;
}
};

using namespace test;

main()
{
std::vector< testClass > vec;
std::sort( vec.begin(),vec.end() ); // Fail!
}


对该代码请注意以下几点：

* 编译错误显示为：no match for 'operator<'.

* operator< 与类testClass不在一个命名空间。
如定义于同一命名空间或都是全局的则可以通过。

* 若类定义于namespace, 而操作符是全局的，也可以。

* operator< 是可见并可用的，如

using namespace test;

main()
{
testClass obj1,obj2;
bool b = obj1 < obj2; // OK
}

* 即使std::sort()调用在test空间同，也是不行。

namespace test
{
void test_sort( void )
{
std::vector< testClass > vec;
std::sort( vec.begin(),vec.end() ); // Fail!
}
};


仿佛“ using namespace test;”并没有起效？

引用清风雨的原话："我只是觉得，编译器应该在可见空间里，找到operator<。
而且直接使用也是可以的，只是用了std::sort就不可以了，这个感觉就有些怪怪的了。"



待续...

不可思议：using namespace无效！(2)
不可思议：using namespace无效！(3)