亚洲人成久久,亚洲欧美春色,欧美人与禽性xxxxx杂性

��山日志 — Thu, 02 Nov 2006 17:10:00 GMT

孟岩在自��q��blog�?a title="提到�? >提到�?/a> Scott Meyers在Artima.com的C++ Source栏目中发表的一�?×5的系列。其中最后一��是Scott Meyers�?a title="五个最重要的C++Aha�Q�时�? >五个最重要的C++Aha�Q�时�?/a> �Q�孟岩提�C�大家关注最后一个。如果关注过Scott Meyers和他的Effectiv�p�d��的话�Q�对他前四个Aha�Q�时��d��该都已经熟识了�?br />

�q�里仅翻译第五个�Q?br />

明白Boost�?span style="FONT-STYLE: italic">shared_ptr�?span style="FONT-STYLE: italic">deleter是如何工作的�Q?004

Boost的引用计数智能指针shared_ptr有一个有��的�Ҏ(gu��)��，你可以传入一个函数或者一个函��C��Q��ƈ且当�?br />用计��Cؓ零时�Q�它会对指向的对象调用这个deleter。让��U�的是，�q�看��h��很��^凡，但是��L(f��ng)��q�段代码�Q?br />

template<typename  T>
class  shared_ptr {
public:
    template<typename U, typename D>
    explicit  shared_ptr(U* ptr, D deleter);

};

要注意的是在析构的期间shared_ptr必须为类型�ؓD的deleter做些安排�Q�以��保它的调用�Q�然而shared_ptr�q�不知道�c�d��D到底是什么。此对象不能包含�c�d��为D的数据成员，当然也不能有一个指向类型�ؓD的对象的指针�Q�因为当对象成员数据声明的时候对于D好不知情。那么shared_ptr对象如何在构造期deleter被传入时保存它的�t�迹�Q��ƈ且在�E�后的析构期使用它的呐？更一般的说法�Q�在一个对象的构造期间构造函数如何获得未知类型的信息�Q��ƈ把类型的信息传给此对象，而对象不能保存关于此�c�d��M��提示�?br />
�{�案很简单：此对象包含一个已知类型的基类指针�Q�Boost��它叫做 sp_counted_base �Q�，指向一个已�l�构造实例化的模板，此模板��承自前面的基�c�，�q��用D作�ؓ实例化参敎ͼ�Boost使用模板 sp_counted_impl_p �?sp_counted_impl_pd �Q�，使用一个在基类里声明，�l�承�c�M��定义的虚函数来调�?deleter �Q�Boost使用 dispose �Q�。稍微简化了�Q�它看�v来像下面�q�样�Q?br />
它是很明昄��Q�只要你看过它一�ơ。但是只要你看过它一�ơ，你就会体会到它可以被用到很多�U�类的地方，它打开了模板设计的新视野，模板化类使用相对较少的模板参敎ͼ�shared_ptr 只是其中一个）可以引用不受数量限制的当前不知名�c�d��的信息。当我意识到我接�q�的东西�Q�我不能��止地露��赏的�W�容�q�摇晃我的脑袋�?br />

��山日志 2006-11-03 01:10 发表评论

Boost/utility里有些什�?(2)

��山日志 — Tue, 15 Aug 2006 16:24:00 GMT

2. 函数模板 checked_delete() �?/span> checked_array_delete()

定义了两个函数模�?/span> checked_delete �?/span> checked_array_delete �Q?/span> �q�有两个�c�L��?/span> checked_deleter �?/span> checked_array_deleter�?/span>

当我们利用指针删除一个对象的时候，对象�c�d��是否完整军_��了对象是否能够被正确删除。但是，如果你用 delete ��d��除一个类型�ƈ不完整的对象的指针，�~�译器�ƈ不会�l�你提供��M��错误信息�Q�好吧，有些�~�译器会�l�出警告信息�Q�但是程序员通常会忽略警告信息）�Q�但是这样做的结果却是对象的析构函数�Ҏ(gu��)��没有被调用�?/span>

所以，我们应当使用更严厉的手段��止�q�种事情的发生。比如说使用 checked_delete 代替 delete 来删除指针。当指针所指向的是一个不完全�c�d��Ӟ�� checked_delete 会�ɾ~�译器发出错误信息�?/span>

class test�Q?/span> // 有声明，但是忘记了定义，或是忘记
           // 包含定义文�g�Q�test是一个不完全�c�d��
main()
{
test * pt = NULL;
delete pt;   // 有时会有警告信息�Q?br />             // 但有时什么都没有�?/span>
checked_delete(pt); // 发出错误信息�?/span>
}

checked_array_delete 是用来对应于 delete [ ] operator �Q?/span> checked_deleter �?/span> checked_array_deleter 是可以配接的仿函数版本�?/span>

3. 函数模板 next() �?/span> prior()
包括

template < class T > T next(T x);
template < class T, class Distance > T next(T x, Distance n);
template < class T > T prior(T x);
template < class T, class Distance > T prior(T x, Distance n);

函数模板对传入的指针�Q�智能指针或是�P代器做递增或递减�Q��ƈ传回它。用法如下：

const std::list < T > ::iterator p = get_some_iterator();
const std::list < T > ::iterator prev = boost::prior(p);
const std::list < T > ::iterator next = boost::next(prev, 2 );

事实上， T next(T x) �?/span> T prior(T x) ��分别调�?/span> operator++ �?/span> operator-- �Q��?/span> T next(T x, Distance n) �?/span> T prior(T x, Distance n) 则调�?/span> std::distance(T x, size_t n) �?

4.noncopyable �c?/span>

如果你需要设计一个不可以被复制的�c�，那么你就要明��地��它的拷贝构造函数和 operator = () 攑ֈ� private 声明下面�?/span> Boos\utility 准备了一个基�c?/span> noncopyable �Q�你只需要让你的�cȝ��承自 noncopyable ��可以获得这个性质。对你的�c�L��说这也是一个显式的声明�Q�“我是不可以被复制的�Q��?/span>
用法�Q?/span>

#include < boost / utility.hpp >

class ResourceLadenFileSystem : boost::noncopyable {

5 �Q�函数模�?/span> addressof()

函数模板�q�回一个对象的真实地址�Q�当然这是交�l�指针了�Q�：

template < typename T > inline T *                 addressof(T & v);
template < typename T > inline const T *          addressof( const T & v);
template < typename T > inline volatile T *       addressof( volatile T & v);
template < typename T > inline const volatile T * addressof( const volatile T & v);

我知道你惌��Q��ؓ什么不是简单的调用operator&()。因�?/span>c++允许重蝲operator&()�Q�所以有时��用它获得的�ƈ不是对象的真实地址�Q�而是�~�写重蝲operator&()代码的作者希望给你的那个。如果你却是希望获得的是�q�个对象的地址�Q��?/span>addressof():

#include <boost/utility.hpp>
struct useless_type {};

class nonaddressable {
  useless_type operator&() const;
};

void f() {
  nonaddressable x;
  nonaddressable* xp = boost::addressof(x);
  // nonaddressable* xpe = &x; //error! operator&()已经被重载，
                              //它返回的是useless_type的指�?/span>
}

上述的所有东襉K��可以��单的通过在你的源文�g开头处写上�Q?br />

#include <boost\utility.hpp>
using namespace boost;

��可以��用了。当然我是指你机器上已经有boost�q�个奇妙的库�Q��ƈ且正��配�|�^_^

��山日志 2006-08-16 00:24 发表评论

Boost/utility里有什么东西？(1)

��山日志 — Fri, 11 Aug 2006 15:59:00 GMT

�?/span> STL �?/span> utility 一��P�� boost/utility 里包含了一些实用的��工兗��?/span>

首先�?/span> Base-from-Member �Q?/span>

有时你可能需要依赖成员变量来初始化基�c�，像这��P��

class fdoutbuf
    : public std::streambuf
{
public :
     explicit fdoutbuf( int fd );
     //
};

class fdostream
    : public std::ostream
{
protected :
    fdoutbuf buf;
public :
     explicit fdostream( int fd )
        : buf( fd ), std::ostream( & buf )
        {}
     //
};

但是�Q�这�?/span> fdostream 的构造函数的初始化是错误的，因�ؓ c++ 语法要求基类的初始化要先于成员变量的初始化�?/span> Base-from-Member 提供的解决之道如下：

class fdoutbuf
    : public std::streambuf
{
public :
     explicit fdoutbuf( int fd );
     //
};

class fdostream
    : private boost::base_from_member < fdoutbuf >
    , public std::ostream
{
     // Helper typedef's
    typedef boost::base_from_member < fdoutbuf >   pbase_type;
    typedef std::ostream                        base_type;
public :
     explicit fdostream( int fd )
        : pbase_type( fd ), base_type( & member )
        {}
     //
};

模板�c?/span> template < typename MemberType, int UniqueID = 0 >
class boost::base_from_member; 是一个外覆类�Q�姑且这么叫�?/span> ^_^ �Q��?br />如上�Q�私有��?/span> base_from_member �Q�原先的成员变量��做�?/span> base_from_member 的成员变�?/span> member 先于基类 base_type 初始化，�q�样所需的依赖关�p�d��以满��뀂事实上比这更好的是�Q?/span> base_from_member 的构造函数是模板函数�Q�它可以�?/span> 0 �?/span> 10 个参敎ͼ�参数�c�d��可以各不相同�?/span>

��山日志 2006-08-11 23:59 发表评论