noexceptの式と型の特性

Question

私は条件付きnoexceptの使い方を学び、この問題に遭遇します。私はクラスがあるとします。

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

private: 
    T value_; 
}; 

/* ??? */の部分については、私は私がthisにつまずいまで我々は、noexcept(T(std::move(value)))またはstd::is_nothrow_move_constructible<T>::valueのいずれかを使用することができると思いました。私はnoexcept(noexcept(T(std::move(value))))を使用する場合

だから、厳密に言えば、私は「このコンストラクタはを構築し、Tあるnoexcept破壊場合に限っnoexceptである」とすることを言っていますか？

スローするデストラクタは、火をつけて焼くべきですが。

Answer 1

良い質問、this language defect discussionも参照してください。その名前からstd::is_nothrow_move_constructible<T>::valueがになるのは、実際の値からの構成体に関連するだけですが（実際には破壊にも関係します）、noexcept(T(std::move(value)))は常に建設と破壊の両方に関係しています。

だから、あなたのケースでは、ほとんどがstd::is_nothrow_move_constructible形質の未解決の問題を避け、道を保存し、 '（クリス・ベックさんのコメントで述べた）std::bad_allocの問題を避け、新しい配置を使用し、そして、同様に、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_; 
};