c++ - 为什么在 gcc 的 is_nothrow_constructible 实现中需要 static_cast？

Question

取自 type_traits 的 GCC 实现为什么是 static_cast这里需要吗？

template <typename _Tp, typename... _Args>
struct __is_nt_constructible_impl
    : public integral_constant<bool, noexcept(_Tp(declval<_Args>()...))> {};

template <typename _Tp, typename _Arg>
struct __is_nt_constructible_impl<_Tp, _Arg>
    : public integral_constant<bool,
                               // Why is `static_cast` needed here?
                               noexcept(static_cast<_Tp>(declval<_Arg>()))> {};

Answer 1

如果发明的变量声明，则类型不能从参数列表构造

T t(declval<Args>()...);

将是 well-formed并且是 known not to throw exceptions .在复数参数情况下，这等价于(模 noexcept 可破坏性，参见 LWG 2116)到 type conversion expression 的格式良好和不抛出

T(declval<Args>()...)

然而，在单参数情况下，表达式 T(declval<Args>())被视为 cast-expression ，它可以调用 const_cast and reinterpret_cast ;显式使用 static_cast恢复与申报表的等效性。

作为 concrete example ，考虑以下类型:

struct D;
struct B { operator D&&() const; };
struct D : B {};

这里有一个 static_cast来自 B const至 D&&必须使用转换运算符，但强制转换表达式可以绕过转换运算符，因此 noexcept 也是如此。所以省略了 static_cast is_nothrow_constructible<D&&, B const> 会给出错误的结果.