Allocator中uninitialized_fill等函数的简单实现

下面提供三个函数的实现代码，这三个代码的共同点是：

1.遇到错误，抛出异常

2.出现异常时，把之前构造的对象全部销毁

所以，这三个函数要么成功，要么无任何副作用。使用异常来通知使用者，所以在catch块中，处理完异常后要将异常再次向外抛出。

代码如下:

#ifndef UNINIT_H
#define UNINIT_H
#include <iterator>

template <typename ForwIter, typename T>
void uninitialized_fill(ForwIter first, ForwIter last, const T &value)
{
    typedef typename std::iterator_traits<ForwIter>::value_type VT;
    ForwIter save(first);
    try
    {
        for( ; first != end; ++ first)
            new(static_cast<void *>(&*first))VT(value);
    }

    catch(...)
    {
        for( ; save != first; ++ save)
            save->~VT();
        throw();
    }
}

template <typename ForwIter, typename Size, typename T>
void uninitialized_fill_n(ForwIter first, Size n, const T &value)
{
    typedef typename std::iterator_traits<ForwIter>::value_type VT;
    ForwIter save(first);
    try
    {
        for( ; -- n; ++ first)
            new(static_cast<void *>(&*first))VT(value);
    }
    catch(...)
    {
        for( ; save != first; ++ save)
            save->~VT();
        throw();
    }

}

template <typename InputIter, typename ForwIter>
void uninitialized_copy(InputIter first, InputIter last; ForwIter dest)
{
    typedef typename std::iterator_traits<ForwIter>::value_type VT;
    ForwIter save(dest);
    try
    {
        for( ; first != last; ++ first, ++ dest)
            new(static_cast<void *>(&*dest))VT(*first);
    }
    catch(...)
    {
        for( ; save != dest; ++ save)
            save->~VT();
        throw();
    }

}

#endif

可以用前面的代码自行测试。