gccのis_nothrow_constructibleの実装でstatic_castが必要なのはなぜですか？

GCC実装から取得した、type_traitsなぜ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>()))> {};

発明された変数宣言の場合、型は引数リストから構築できません

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

だろう、よく形成され、例外をスローしないことが知られています。複数の引数の場合、これは型変換式の整形式およびnothrow と同等です（破壊可能性を除けば、モジュロnoexcept、LWG 2116を参照）。

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

ただし、単一引数の場合、式T(declval<Args>())はandを呼び出すことができるcast-expressionとして扱われます。を明示的に使用すると、等価性が宣言フォームに復元されます。const_castreinterpret_caststatic_cast

具体的な例として、種類を考慮してください。

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

ここではstatic_castfrom B constto D&&は変換演算子を使用する必要がありますが、キャスト式は変換演算子をバイパスできるため、例外ではありません。したがって、を省略するstatic_castと、に対して誤った結果が返されis_nothrow_constructible<D&&, B const>ます。