Чому static_cast потрібен при впровадженні gcc в програмі is_nothrow_constructible?

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>()))> {};

Тип не може бути сконструйований зі списку аргументів, якщо винайдена декларація змінної

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

було б добре сформовано і, як відомо, не кидає винятків . У випадку аргументу множини це еквівалентно (по модулю без винищення руйнування, див. LWG 2116 ) добре сформованій форми і не врізання виразу перетворення типу

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

Однак у випадку одного аргументу вираз T(declval<Args>())трактується як вираз лита , який може викликати const_castіreinterpret_cast ; явне використання static_castвідновлює еквівалентність форми декларації.

В якості конкретного прикладу розглянемо типи:

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

Тут a static_castз B constto D&&повинен використовувати оператор перетворення, але виразний вираз може обійти оператор перетворення, і тому не є винятком. Тож пропущення цього static_castдало б неправильний результат is_nothrow_constructible<D&&, B const>.