| commit | ba2dee860009625b8cea8a6dd7da5d04cd8f0f78 | |
| author | redi <redi@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 2 Jul 2018 22:09:25 +0000 (2 22:09 +0000) | ||
| committer | redi <redi@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 2 Jul 2018 22:09:25 +0000 (2 22:09 +0000) | ||
| tree | b28afa0e0becf9af2fcb5fbaa355958c39549d58 | treesnapshot (tar.gz zip) |
| parent | e6975aec62bfd4beab5602ea6b3707331cc57c5f | commitdiff |
P0758R1 Implicit conversion traits
Extend __is_convertible_helper to also detect whether the conversion is
non-throwing, for std::is_nothrow_convertible in C++2a,
* include/std/type_traits [__cplusplus > 201703]
(__is_convertible_helper::__is_nothrow_type): Define new member.
(__is_convertible_helper<_From, _To, false>::__test_aux1): Add
noexcept.
(__is_convertible_helper<_From, _To, false>::__test_nothrow)
(__is_convertible_helper<_From, _To, false>::__is_nothrow_type): Add
new members.
(is_nothrow_convertible, is_nothrow_convertible_v): Define for C++2a.
* testsuite/20_util/is_nothrow_convertible/value.cc: New.
* testsuite/20_util/is_nothrow_convertible/requirements/
explicit_instantiation.cc: New.
* testsuite/20_util/is_nothrow_convertible/requirements/typedefs.cc:
New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@262322 138bc75d-0d04-0410-961f-82ee72b054a4
Extend __is_convertible_helper to also detect whether the conversion is
non-throwing, for std::is_nothrow_convertible in C++2a,
* include/std/type_traits [__cplusplus > 201703]
(__is_convertible_helper::__is_nothrow_type): Define new member.
(__is_convertible_helper<_From, _To, false>::__test_aux1): Add
noexcept.
(__is_convertible_helper<_From, _To, false>::__test_nothrow)
(__is_convertible_helper<_From, _To, false>::__is_nothrow_type): Add
new members.
(is_nothrow_convertible, is_nothrow_convertible_v): Define for C++2a.
* testsuite/20_util/is_nothrow_convertible/value.cc: New.
* testsuite/20_util/is_nothrow_convertible/requirements/
explicit_instantiation.cc: New.
* testsuite/20_util/is_nothrow_convertible/requirements/typedefs.cc:
New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@262322 138bc75d-0d04-0410-961f-82ee72b054a4