darlinghq/darling-libcxx
1
0
Fork 0
mirror of https://github.com/darlinghq/darling-libcxx.git synced 2024-12-13 14:46:26 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
0b6f8ed1c7
darling-libcxx/www
History
Eric Fiselier 13858ee056 [libcxx] Add <experimental/tuple> header for LFTS. 
Summary:
This patch adds the `<experimental/tuple>` header (almost) as specified in the latest draft of the library fundamentals TS.

The main changes in this patch are:

1. Added variable template `tuple_size_v`
2. Added function `apply(Func &&, Tuple &&)`.
3. Changed `__invoke` to be `_LIBCPP_CONSTEXPR_AFTER_CXX11`.

The `apply(...)` implementation uses `__invoke` to invoke the given function. `__invoke` already provides the required functionality. Using `__invoke` also allows `apply` to be used on pointers to member function/objects as an extension. In order to facilitate this `__invoke` has to be marked `constexpr`. 



Test Plan:
Each new feature was tested. 

The test cases for `tuple_size_v` are as follows:
1. tuple_size_v.pass.cpp
  - Check `tuple_size_v` on cv qualified tuples, pairs and arrays.
2. tuple_size_v.fail.cpp
  - Test on reference type.
3. tuple_size_v_2.fail.cpp
  - Test on non-tuple
4. tuple_size_v_3.fail.cpp
  - Test on pointer type.

The test cases for tuple.apply are as follows:

1. arg_type.pass.cpp
   - Ensure that ref/pointer/cv qualified types are properly passed.
2. constexpr_types.pass.cpp
   - Ensure constexpr evaluation of apply is possible for `tuple` and `pair`.
3. extended_types.pass.cpp
   - Test apply on function types permitted by extension.
4. large_arity.pass.cpp
   - Test that apply can evaluated on tuples and arrays with large sizes.
5. ref_qualifiers.pass.cpp
   - Test that apply respects ref qualified functions.
6. return_type.pass.cpp
   - Test that apply returns the proper type.
7. types.pass.cpp
   - Test apply on function types as required by LFTS.

Reviewers: mclow.lists

Reviewed By: mclow.lists

Subscribers: cfe-commits

Differential Revision: http://reviews.llvm.org/D4512

git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@232515 91177308-0d34-0410-b5e6-96231b3b80d8
2015-03-17 18:28:14 +00:00
..
atomic_design_a.html Bruce Mitchener: Minor typo fixes. 2013-02-15 15:37:50 +00:00
atomic_design_b.html Updated atomic design docs 2010-10-08 17:36:50 +00:00
atomic_design_c.html Bruce Mitchener: Minor typo fixes. 2013-02-15 15:37:50 +00:00
atomic_design.html Bruce Mitchener: Minor typo fixes. 2013-02-15 15:37:50 +00:00
content.css add css files, also, test commit. 2010-05-11 20:29:17 +00:00
cxx1y_status.html Fixed damaged row in issues table; thanks to STL for the catch 2014-06-09 23:27:27 +00:00
cxx1z_status.html Implement LWG 2217 - operator==(sub_match, string) slices on embedded '\0's 2014-12-15 23:57:56 +00:00
debug_mode.html Add a note about debug mode being non-functional 2014-06-04 04:49:49 +00:00
index.html Update web page to direct patches to Phabricator. 2015-01-30 22:33:41 +00:00
lit_usage.html [libcxx] Tired of colorless compile errors? Enable color diagnostics today! 2015-02-18 17:39:45 +00:00
menu.css add css files, also, test commit. 2010-05-11 20:29:17 +00:00
results.Linux.html Update linux test results 2014-08-18 06:53:30 +00:00
results.Windows.html New Windows libc++ test results provided by Ruben Van Boxem. 2012-07-06 19:35:31 +00:00
ts1z_status.html [libcxx] Add <experimental/tuple> header for LFTS. 2015-03-17 18:28:14 +00:00
type_traits_design.html Jean-Daniel : clang now supports all required type_traits. 2012-07-19 15:59:52 +00:00