Tại sao static_cast cần thiết trong việc triển khai is_nothrow_constructible của gcc?

Lấy từ việc thực hiện GCC type_traitstại sao static_castcần thiết ở đây?

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

Một kiểu không thể xây dựng từ danh sách đối số nếu khai báo biến được phát minh

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

sẽ được hình thành tốt và được biết là không ném ngoại lệ . Trong trường hợp đối số số này, điều này là tương đương (khả năng phá hủy modulo noexcept, xem LWG 2116 ) với sự hình thành tốt và không bị biến dạng của biểu thức chuyển đổi loại

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

Tuy nhiên, trong trường hợp đối số duy nhất, biểu thức T(declval<Args>())được coi là biểu thức truyền , có thể gọi const_castvàreinterpret_cast ; việc sử dụng rõ ràng củastatic_cast khôi phục sự tương đương với mẫu khai báo.

Để làm ví dụ cụ thể , hãy xem xét các loại:

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

Dưới đây là một static_casttừ B constđể D&&phải sử dụng toán tử chuyển đổi, nhưng một dàn diễn viên biểu hiện có thể bỏ qua các nhà điều hành chuyển đổi và như vậy là noexcept. Vì vậy, bỏ qua static_castsẽ cho kết quả sai cho is_nothrow_constructible<D&&, B const>.