boost noncopyable实现与ADL

boost noncopyable实现如下

#ifndef BOOST_NONCOPYABLE_HPP_INCLUDED  #define BOOST_NONCOPYABLE_HPP_INCLUDED  namespace boost {  //  Private copy constructor and copy assignment ensure classes derived from  //  class noncopyable cannot be copied.  //  Contributed by Dave Abrahams  namespace noncopyable_  // protection from unintended ADL  {    class noncopyable    {     protected:        noncopyable() {}        ~noncopyable() {}     private:  // emphasize the following members are private        noncopyable( const noncopyable& );        const noncopyable& operator=( const noncopyable& );    };  }  typedef noncopyable_::noncopyable noncopyable;  } // namespace boost  #endif  // BOOST_NONCOPYABLE_HPP_INCLUDED  

比较让我感兴趣的是noncopyable类是定义在noncopyable_命名空间中的，然后在boost命名空间中typedef引出。

为什么这样做呢？注释解释说：protection from unintended ADL，
而这又是什么意思？首先来看看ADL，ADL是”argument dependent lookup”的缩写，ADL依据函数调用中的实参的数据类型查找未限定（unqualified）的函数名（或者函数模板名），具体请查看 依赖于实参的名字查找。

下面是ADL的一个小例子：

namespace N2 { struct DS; };namespace N1 {    struct S {                void operator+( S) {}        };    template<int X> void f(S) {};    void fDS(N2::DS* v) {  };}namespace N2 {    struct DS :N1::S {};    template<class T> void f(T t) {};}void g() {       N2::DS sv;    fDS(&sv);    // sv的类型N2::DS的基类型N1::S所在的命名空间N1的函数N1::fDS        sv+sv;       // 调用N1::S::operator+(S)运算符成员函数}

与上面例子类似，如果我们定义的类继承自noncopyable，同时有一个未限定函数的实参类型是我们定义的类，当调用这个函数时，编译器就会在类类型的命名空间以及其基类所在命名空间查找函数，也就是说，如果没有noncopyable_包裹，编译器便会在boost命名空间里查找这个函数，但这不是我们想要的结果。