Вопросы с тегом «static-cast»

1
Почему `decltype (static_cast <T> (…))` не всегда `T`?
Для следующего кода проходят все, кроме последнего утверждения: template&lt;typename T&gt; constexpr void assert_static_cast_identity() { using T_cast = decltype(static_cast&lt;T&gt;(std::declval&lt;T&gt;())); static_assert(std::is_same_v&lt;T_cast, T&gt;); } int main() { assert_static_cast_identity&lt;int&gt;(); assert_static_cast_identity&lt;int&amp;&gt;(); assert_static_cast_identity&lt;int&amp;&amp;&gt;(); // assert_static_cast_identity&lt;int(int)&gt;(); // illegal cast assert_static_cast_identity&lt;int (&amp;)(int)&gt;(); assert_static_cast_identity&lt;int (&amp;&amp;)(int)&gt;(); // static assert fails } Почему это последнее утверждение не выполняется и static_cast&lt;T&gt;не всегда …
24 c++  static-cast 
1
Почему static_cast необходим в реализации gcc is_nothrow_constructible?
Взято из GCC реализации, type_traitsзачем static_castздесь нужно? template &lt;typename _Tp, typename... _Args&gt; struct __is_nt_constructible_impl : public integral_constant&lt;bool, noexcept(_Tp(declval&lt;_Args&gt;()...))&gt; {}; template &lt;typename _Tp, typename _Arg&gt; struct __is_nt_constructible_impl&lt;_Tp, _Arg&gt; : public integral_constant&lt;bool, // Why is `static_cast` needed here? noexcept(static_cast&lt;_Tp&gt;(declval&lt;_Arg&gt;()))&gt; {};
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.