c++11 动态内存管理-未初始化存储

定义于头文件 

复制一个对象到以范围定义的未初始化内存区域

std::uninitialized_fill

1) 复制给定的 value 到以 [first, last) 定义的未初始化内存区域，如同用

for (; first != last; ++first)
  ::new (static_cast(std::addressof(*first)))
      typename std::iterator_traits::value_type(x);

若初始化期间抛异常，则以未指定顺序销毁已构造的对象。

2) 同 (1) ，但按照 policy 执行。此重载仅若 std::is_execution_policy_v> 为 true 才参与重载决议。

参数

返回值

（无）

复杂度

与 first 和 last 间的距离成线性

异常

拥有名为 ExecutionPolicy 的模板形参的重载按下列方式报告错误：

• 若作为算法一部分调用的函数的执行抛出异常，且 ExecutionPolicy 为标准策略之一，则调用 std::terminate 。对于任何其他 ExecutionPolicy ，行为是实现定义的。
• 若算法无法分配内存，则抛出 std::bad_alloc 。

可能的实现

template<class ForwardIt, class T>
void uninitialized_fill(ForwardIt first, ForwardIt last, const T& value)
{
    typedef typename std::iterator_traits<ForwardIt>::value_type Value;
    ForwardIt current = first;
    try {
        for (; current != last; ++current) {
            ::new (static_cast<void*>(std::addressof(*current))) Value(value);
        }
    }  catch (...) {
        for (; first != current; ++first) {
            first->~Value();
        }
        throw;
    }
}

调用示例

#include <iostream>
#include <vector>
 
struct Foo
{
    int N;
    Foo() {}
    explicit Foo(int n): N(n)
    {
        std::cout << "Foo(n)" << std::endl;
    }
 
    Foo(const Foo & o)
    {
        std::cout << "Foo(const Foo & o)" << std::endl;
        this->N = o.N;
    }
 
    Foo & operator =(const Foo &o)
    {
        std::cout << "operator =" << std::endl;
        this->N = o.N;
        return *this;
    }
 
};
 
int main()
{
    std::vector<Foo> Fvector(5);
    std::uninitialized_fill(Fvector.begin(), Fvector.end(), Foo(5));
    std::cout << "Fvector size:   " << Fvector.size() << std::endl;
    for (const Foo & o : Fvector)
    {
        std::cout << "Foo: " << o.N << std::endl;
    }
}

输出

 

复制一个对象到以起点和计数定义的未初始化内存区域

std::uninitialized_fill_n

1) 复制给定值 value 到始于 first 的未初始化内存区域的首 count 个元素，如同以

for (; n--; ++first)
  ::new (static_cast(std::addressof(*first)))
     typename std::iterator_traits::value_type(x);

若初始化期间抛异常，则以未指定顺序销毁已构造的对象。

2) 同 (1) ，但按照 policy 执行。此重载仅若 std::is_execution_policy_v> 为 true 才参与重载决议。

参数

返回值

复杂度

与 count 成线性。

异常

拥有名为 ExecutionPolicy 的模板形参的重载按下列方式报告错误：

• 若作为算法一部分调用的函数的执行抛出异常，且 ExecutionPolicy 为标准策略之一，则调用 std::terminate 。对于任何其他 ExecutionPolicy ，行为是实现定义的。
• 若算法无法分配内存，则抛出 std::bad_alloc 。

可能的实现

template< class ForwardIt, class Size, class T >
ForwardIt uninitialized_fill_n(ForwardIt first, Size count, const T& value)
{
    typedef typename std::iterator_traits<ForwardIt>::value_type Value;
    ForwardIt current = first;
    try {
        for (; count > 0; ++current, (void) --count) {
            ::new (static_cast<void*>(std::addressof(*current))) Value(value);
        }
        return current;
    } catch (...) {
        for (; first != current; ++first) {
            first->~Value();
        }
        throw;
    }
}

 调用示例

#include <iostream>
#include <vector>
 
struct Foo
{
    int N;
    Foo() {}
    explicit Foo(int n): N(n)
    {
        std::cout << "Foo(n)" << std::endl;
    }
 
    Foo(const Foo & o)
    {
        std::cout << "Foo(const Foo & o)" << std::endl;
        this->N = o.N;
    }
 
    Foo & operator =(const Foo &o)
    {
        std::cout << "operator =" << std::endl;
        this->N = o.N;
        return *this;
    }
 
};
 
int main()
{
    std::vector<Foo> Fvector(5);
    std::uninitialized_fill_n(Fvector.begin(), 3, Foo(5));
    std::cout << "Fvector size:   " << Fvector.size() << std::endl;
    for (const Foo & o : Fvector)
    {
        std::cout << "Foo: " << o.N << std::endl;
    }
}

输出