boost noncopyable实现与ADL

xiaoxiao2021-02-28  93

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命名空间里查找这个函数,但这不是我们想要的结果。

转载请注明原文地址: https://www.6miu.com/read-46369.html

最新回复(0)