c++ - 如何根据 is_nothrow_move_constructible 声明包装类型 X noexcept 的移动构造函数？

Question

假设我有一个包装类型

template <typename T>
struct X {/*..*/};

而且我不能只是 X(X&&) = default 因为我必须在那里做一些重要的事情。

但是，我希望它是 noexcept 但前提是 T(T&&) 是 noexcept。这可以使用 ::std::is_nothrow_move_constructible 进行测试。

我不知道如何根据 constexpr 有条件地启用构造函数的一个版本或另一个版本。我想可能有一种使用 SFINAE 的方法，但我不知道如何将其应用于 ctors。

Answer 1

noexcept 说明符接受任何 bool 常量表达式，因此您可以直接检查类型特征:

template <typename T>
struct X {
    X(X&&) noexcept(std::is_nothrow_move_constructible<T>::value) {}
};