c – noexcept表达式与类型特征

我正在学习如何使用条件noexcept并遇到这个问题.假设我有一个班级：

template<typename T>
class Wrapper {
public:
    Wrapper(T&& value) noexcept(/* ??? */)
        : value_(std::move(value))
    {}

private:
    T value_;
};

为了 /* ？？？ * /部分,我认为我们可以使用noexcept(T(标准::移动(值)))或std :: is_nothrow_move_constructible< T> ::值,直到我在this绊倒.

所以如果我使用noexcept(noexcept(T(std :: move(value)))),严格来说我说“如果构造和破坏T是noexcept,那么这个构造函数是noexcept”？

虽然扔掉的破坏者应该着火并烧毁.

解决方法

好问题,另见 this language defect discussion.从名称可以清楚地看出,std :: is_nothrow_move_constructible< T> :: value应仅与rvalue的构造性相关(但实际上也可能与破坏有关),而noexcept(T( std :: move(value)))总是与构造和破坏有关.

所以,在你的情况下,避免std :: is_nothrow_move_constructible traits的未解决问题的最省钱方法是使用placement new,避免std :: bad_alloc的问题(在Chris Beck的评论中提到),同样地,使用T是包装器析构函数的析构函数.

template<typename T>
class Wrapper {
public:
    Wrapper(T&& value) noexcept(new(nullptr) T(std::move(value)))
        : value_(std::move(value))
    {}
    ~Wrapper() noexcept(noexcept(value_.T::~T()))
    {}
private:
    T value_;
};