Implement N4502, the C++ Detection Idiom.
authorJonathan Wakely <jwakely@redhat.com>
Wed, 1 Jul 2015 12:23:54 +0000 (13:23 +0100)
committerJonathan Wakely <redi@gcc.gnu.org>
Wed, 1 Jul 2015 12:23:54 +0000 (13:23 +0100)
commit6af6bef4ac3175302efe92de9bdd423fbe4b40d8
tree56ae96f2abe3a4119a2127c4349e216f5f957cda
parent9735e6ea8eda3f2707cbc46a153f2d271d62e09c
Implement N4502, the C++ Detection Idiom.

* doc/xml/manual/status_cxx2017.xml: Update status table.
* include/experimental/type_traits (void_t, is_detected,
is_detected_v, detected_t, detected_or, detected_or_t,
is_detected_exact, is_detected_exact_v, is_detected_convertible,
is_detected_convertible_v): Define.
* include/std/type_traits (__detector, __detected_or, __detected_or_t,
__detected_or_t_): Define.
* testsuite/experimental/type_traits/detection.cc: New.

From-SVN: r225242
libstdc++-v3/ChangeLog
libstdc++-v3/doc/xml/manual/status_cxx2017.xml
libstdc++-v3/include/experimental/type_traits
libstdc++-v3/include/std/type_traits
libstdc++-v3/testsuite/experimental/type_traits/detection.cc [new file with mode: 0644]