Question

在具有标准容器成员的类上实现移动操作的惯用方法不能是noexcept ，因此不能通过vector.push_back()之类的操作移动。或者我错了？

从

获得速度

vector<Elem> data;
// ...
data.push_back( elem );

我们鼓励我们进行移动操作noexcept - 因此在向量调整大小期间，库可以安全地将元素移动到重新分配的存储。

class Elem {
    // ...
    Elem(Elem&&) noexcept;            // noexcept important for move
    Elem& operator=(Elem&&) noexcept; // noexcept important for move
};

到目前为止一切顺利，现在我的elem可以更快地被推回。

但是：如果我添加一个容器作为成员，我的班级仍然可以标记为noexcept-move吗？不的所有标准容器都移动noexcept！

class Stuff {
    vector<int> bulk;
    // ...
    Stuff(Stuff&& o)  // !!! no noexcept because of vector-move  
      : bulk(move(o.bulk))
      {}
    Stuff& operator=(Stuff&&) // !!! no noexcept...
      { /* appropriate implementation */ }
};

这也意味着，我们也可以不依赖编译器生成的移动操作，对吧？以下完整的课程也没有noexcept - 移动操作，因此不是“快”，对吗？

struct Holder {
    vector<int> bulk;
};

可能vector<int>移动有点过于简单，但是vector<Elem>呢？

这会对容器作为成员的所有数据结构产生很大的影响。

Answer 1

我真的感受到了你的痛苦。

某些std :: implementation会将容器的移动成员标记为noexcept，至少以分配器属性为条件，作为扩展名。您可以调整代码以自动利用这些扩展，例如：

class Stuff {
    std::vector<int> bulk;
    // ...
public:
    Stuff(Stuff&& o)
      noexcept(std::is_nothrow_move_constructible<std::vector<int>>::value)
      : bulk(std::move(o.bulk))
      {}
    Stuff& operator=(Stuff&&)
      noexcept(std::is_nothrow_move_assignable<std::vector<int>>::value)
      { /* appropriate implementation */ }
};

你甚至可以测试你的类型是否有noexcept移动成员：

static_assert(std::is_nothrow_move_constructible<Stuff>::value,
                     "I hope Stuff has noexcept move members");
static_assert(std::is_nothrow_move_assignable<Stuff>::value,
                     "I hope Stuff has noexcept move members");

libc++特别是在分配器允许的情况下，对所有容器都有noexcept移动成员，std::allocator总是允许容器移动成员为noexcept。

Answer 2

这取决于标准容器正在使用的分配器。保证默认分配器std::allocator<T>不会抛出副本（并且没有移动构造函数），这反过来意味着容器不会继续移动。

noexcept与已弃用的throw()相比，一个有趣的特性是您可以使用在编译时计算的表达式。尽管如此，要测试的确切条件可能并非微不足道。

如果类包含标准容器，是否可以标记类move- operation noexcept？

2 个答案: