The definition of is_nothrow_invocable in terms of is_convertible and is_nothrow_constructible is incorrect, because a type could have an explicit constructor that means is_nothrow_constructible is true, but implicit conversions could use a different constructor that is potentially-throwing. Fix it by adding a C++11 version of C++20's is_nothrow_convertible that only considers implicit conversions. * include/std/type_traits (__is_nt_convertible_helper): Define it unconditionally, not only for C++20. (__is_nothrow_convertible): Define internal trait for use in C++11. (__is_nt_invocable_impl: Fix by using __is_nothrow_convertible. (is_invocable_r_v, is_nothrow_invocable_r_v): Add missing parameter. * testsuite/20_util/is_nothrow_convertible/value_ext.cc: New test. * testsuite/20_util/is_nothrow_convertible/value.cc: Check with type that has nothrow explicit conversion but potentially-throwing implicit conversion. * testsuite/20_util/is_nothrow_invocable/value.cc: Likewise. * testsuite/20_util/is_nothrow_invocable/value_ext.cc: Fix helper function to only consider implicit conversions. * testsuite/20_util/tuple/cons/noexcept_specs.cc: Add comment. From-SVN: r271171
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
41530.cc | Loading commit data... | |
44487.cc | Loading commit data... | |
45228.cc | Loading commit data... | |
48476.cc | Loading commit data... | |
66338.cc | Loading commit data... | |
allocator_with_any.cc | Loading commit data... | |
allocators.cc | Loading commit data... | |
assignment.cc | Loading commit data... | |
big_tuples.cc | Loading commit data... | |
constexpr-2.cc | Loading commit data... | |
constexpr-3.cc | Loading commit data... | |
constructor.cc | Loading commit data... | |
converting.cc | Loading commit data... | |
deduction.cc | Loading commit data... | |
element_accepts_anything_byval.cc | Loading commit data... | |
explicit_construct.cc | Loading commit data... | |
nested_tuple_construct.cc | Loading commit data... | |
noexcept_move_construct.cc | Loading commit data... | |
noexcept_specs.cc | Loading commit data... |