From 9e5c293492a779497227b9fff3ee4afae85fe2e4 Mon Sep 17 00:00:00 2001 From: Mark de Wever Date: Tue, 17 May 2022 19:15:18 +0200 Subject: [PATCH] [libc++] Removes __cpp_lib_monadic_optional. P0798R8 "Monadic operations for std::optional" has been implemented, so this LWG issue can be adopted. During review it was discovered another paper bumped the macro. The part affecting optional of this paper is done, the variant isn't. The status page is updated to reflect the current state. Implements - LWG 3621 Remove feature-test macro __cpp_lib_monadic_optional Updates status of - P2231R1 Missing constexpr in std::optional and std::variant Reviewed By: #libc, philnik, ldionne Differential Revision: https://reviews.llvm.org/D125813 --- libcxx/docs/FeatureTestMacroTable.rst | 4 +-- libcxx/docs/Status/Cxx20.rst | 1 + libcxx/docs/Status/Cxx20Papers.csv | 2 +- libcxx/docs/Status/Cxx2bIssues.csv | 2 +- libcxx/include/optional | 6 ++-- libcxx/include/version | 7 +++-- .../optional.version.compile.pass.cpp | 33 ++++------------------ .../version.version.compile.pass.cpp | 29 ++----------------- .../generate_feature_test_macro_components.py | 6 +--- 9 files changed, 21 insertions(+), 69 deletions(-) diff --git a/libcxx/docs/FeatureTestMacroTable.rst b/libcxx/docs/FeatureTestMacroTable.rst index 5d82ad2..4815077 100644 --- a/libcxx/docs/FeatureTestMacroTable.rst +++ b/libcxx/docs/FeatureTestMacroTable.rst @@ -316,10 +316,10 @@ Status ------------------------------------------------- ----------------- ``__cpp_lib_is_scoped_enum`` ``202011L`` ------------------------------------------------- ----------------- - ``__cpp_lib_monadic_optional`` ``202110L`` - ------------------------------------------------- ----------------- ``__cpp_lib_move_only_function`` *unimplemented* ------------------------------------------------- ----------------- + ``__cpp_lib_optional`` ``202110L`` + ------------------------------------------------- ----------------- ``__cpp_lib_out_ptr`` *unimplemented* ------------------------------------------------- ----------------- ``__cpp_lib_ranges_chunk`` *unimplemented* diff --git a/libcxx/docs/Status/Cxx20.rst b/libcxx/docs/Status/Cxx20.rst index 3872308..a4d9b03 100644 --- a/libcxx/docs/Status/Cxx20.rst +++ b/libcxx/docs/Status/Cxx20.rst @@ -47,6 +47,7 @@ Paper Status .. [#note-P0966] P0966: It was previously erroneously marked as complete in version 8.0. See `bug 45368 `__. .. [#note-P0619] P0619: Only sections D.8, D.9, D.10 and D.13 are implemented. Sections D.4, D.7, D.11, D.12, and D.14 remain undone. .. [#note-P0883] P0883: shared_ptr and floating-point changes weren't applied as they themselves aren't implemented yet. + .. [#note-P2231] P2231: Optional is complete. The changes to variant haven't been implemented yet. .. _issues-status-cxx20: diff --git a/libcxx/docs/Status/Cxx20Papers.csv b/libcxx/docs/Status/Cxx20Papers.csv index b887d3d..2a00acc 100644 --- a/libcxx/docs/Status/Cxx20Papers.csv +++ b/libcxx/docs/Status/Cxx20Papers.csv @@ -193,7 +193,7 @@ "`P2106R0 `__","LWG","Alternative wording for GB315 and GB316","Prague","* *","" "`P2116R0 `__","LWG","Remove tuple-like protocol support from fixed-extent span","Prague","|Complete|","11.0" "","","","","","" -"`P2231R1 `__","LWG","Missing constexpr in std::optional and std::variant","June 2021","|In progress|","13.0" +"`P2231R1 `__","LWG","Missing constexpr in std::optional and std::variant","June 2021","|Partial| [#note-P2231]_","13.0" "`P2325R3 `__","LWG","Views should not be required to be default constructible","June 2021","|In progress|","" "`P2210R2 `__","LWG",Superior String Splitting,"June 2021","","" "`P2216R3 `__","LWG",std::format improvements,"June 2021","|Partial|","" diff --git a/libcxx/docs/Status/Cxx2bIssues.csv b/libcxx/docs/Status/Cxx2bIssues.csv index 93fa19d..a406edb0 100644 --- a/libcxx/docs/Status/Cxx2bIssues.csv +++ b/libcxx/docs/Status/Cxx2bIssues.csv @@ -148,7 +148,7 @@ "`3616 `__","LWG 3498 seems to miss the non-member ``swap`` for ``basic_syncbuf`` ","February 2022","","" "`3618 `__","Unnecessary ``iter_move`` for ``transform_view::iterator`` ","February 2022","","","|ranges|" "`3619 `__","Specification of ``vformat_to`` contains ill-formed ``formatted_size`` calls","February 2022","|Nothing to do|","","|format|" -"`3621 `__","Remove feature-test macro ``__cpp_lib_monadic_optional`` ","February 2022","","" +"`3621 `__","Remove feature-test macro ``__cpp_lib_monadic_optional`` ","February 2022","|Complete|","15.0" "`3632 `__","``unique_ptr`` ""Mandates: This constructor is not selected by class template argument deduction""","February 2022","|Nothing to do|","" "`3643 `__","Missing ``constexpr`` in ``std::counted_iterator`` ","February 2022","","" "`3648 `__","``format`` should not print ``bool`` with ``'c'`` ","February 2022","|Complete|","15.0","|format|" diff --git a/libcxx/include/optional b/libcxx/include/optional index 3b716e2..ed6ce9f 100644 --- a/libcxx/include/optional +++ b/libcxx/include/optional @@ -93,11 +93,11 @@ namespace std { template constexpr explicit optional(in_place_t, initializer_list, Args &&...); template - constexpr EXPLICIT optional(U &&); + constexpr explicit(see-below) optional(U &&); template - EXPLICIT optional(const optional &); // constexpr in C++20 + explicit(see-below) optional(const optional &); // constexpr in C++20 template - EXPLICIT optional(optional &&); // constexpr in C++20 + explicit(see-below) optional(optional &&); // constexpr in C++20 // 23.6.3.2, destructor ~optional(); // constexpr in C++20 diff --git a/libcxx/include/version b/libcxx/include/version index 95b863c..59c955a 100644 --- a/libcxx/include/version +++ b/libcxx/include/version @@ -117,7 +117,6 @@ __cpp_lib_map_try_emplace 201411L __cpp_lib_math_constants 201907L __cpp_lib_math_special_functions 201603L __cpp_lib_memory_resource 201603L -__cpp_lib_monadic_optional 202110L __cpp_lib_move_only_function 202110L __cpp_lib_node_extract 201606L @@ -127,7 +126,8 @@ __cpp_lib_nonmember_container_access 201411L __cpp_lib_not_fn 201603L __cpp_lib_null_iterators 201304L -__cpp_lib_optional 201606L +__cpp_lib_optional 202110L + 201606L // C++17 __cpp_lib_out_ptr 202106L __cpp_lib_parallel_algorithm 201603L __cpp_lib_polymorphic_allocator 201902L @@ -382,8 +382,9 @@ __cpp_lib_void_t 201411L // # define __cpp_lib_constexpr_typeinfo 202106L // # define __cpp_lib_invoke_r 202106L # define __cpp_lib_is_scoped_enum 202011L -# define __cpp_lib_monadic_optional 202110L // # define __cpp_lib_move_only_function 202110L +# undef __cpp_lib_optional +# define __cpp_lib_optional 202110L // # define __cpp_lib_out_ptr 202106L // # define __cpp_lib_ranges_chunk 202202L // # define __cpp_lib_ranges_chunk_by 202202L diff --git a/libcxx/test/std/language.support/support.limits/support.limits.general/optional.version.compile.pass.cpp b/libcxx/test/std/language.support/support.limits/support.limits.general/optional.version.compile.pass.cpp index 4688db7..b1c5f31 100644 --- a/libcxx/test/std/language.support/support.limits/support.limits.general/optional.version.compile.pass.cpp +++ b/libcxx/test/std/language.support/support.limits/support.limits.general/optional.version.compile.pass.cpp @@ -15,9 +15,9 @@ // Test the feature test macros defined by -/* Constant Value - __cpp_lib_monadic_optional 202110L [C++2b] - __cpp_lib_optional 201606L [C++17] +/* Constant Value + __cpp_lib_optional 201606L [C++17] + 202110L [C++2b] */ #include @@ -25,30 +25,18 @@ #if TEST_STD_VER < 14 -# ifdef __cpp_lib_monadic_optional -# error "__cpp_lib_monadic_optional should not be defined before c++2b" -# endif - # ifdef __cpp_lib_optional # error "__cpp_lib_optional should not be defined before c++17" # endif #elif TEST_STD_VER == 14 -# ifdef __cpp_lib_monadic_optional -# error "__cpp_lib_monadic_optional should not be defined before c++2b" -# endif - # ifdef __cpp_lib_optional # error "__cpp_lib_optional should not be defined before c++17" # endif #elif TEST_STD_VER == 17 -# ifdef __cpp_lib_monadic_optional -# error "__cpp_lib_monadic_optional should not be defined before c++2b" -# endif - # ifndef __cpp_lib_optional # error "__cpp_lib_optional should be defined in c++17" # endif @@ -58,10 +46,6 @@ #elif TEST_STD_VER == 20 -# ifdef __cpp_lib_monadic_optional -# error "__cpp_lib_monadic_optional should not be defined before c++2b" -# endif - # ifndef __cpp_lib_optional # error "__cpp_lib_optional should be defined in c++20" # endif @@ -71,18 +55,11 @@ #elif TEST_STD_VER > 20 -# ifndef __cpp_lib_monadic_optional -# error "__cpp_lib_monadic_optional should be defined in c++2b" -# endif -# if __cpp_lib_monadic_optional != 202110L -# error "__cpp_lib_monadic_optional should have the value 202110L in c++2b" -# endif - # ifndef __cpp_lib_optional # error "__cpp_lib_optional should be defined in c++2b" # endif -# if __cpp_lib_optional != 201606L -# error "__cpp_lib_optional should have the value 201606L in c++2b" +# if __cpp_lib_optional != 202110L +# error "__cpp_lib_optional should have the value 202110L in c++2b" # endif #endif // TEST_STD_VER > 20 diff --git a/libcxx/test/std/language.support/support.limits/support.limits.general/version.version.compile.pass.cpp b/libcxx/test/std/language.support/support.limits/support.limits.general/version.version.compile.pass.cpp index e51624f..9c6697c 100644 --- a/libcxx/test/std/language.support/support.limits/support.limits.general/version.version.compile.pass.cpp +++ b/libcxx/test/std/language.support/support.limits/support.limits.general/version.version.compile.pass.cpp @@ -111,13 +111,13 @@ __cpp_lib_math_constants 201907L [C++20] __cpp_lib_math_special_functions 201603L [C++17] __cpp_lib_memory_resource 201603L [C++17] - __cpp_lib_monadic_optional 202110L [C++2b] __cpp_lib_move_only_function 202110L [C++2b] __cpp_lib_node_extract 201606L [C++17] __cpp_lib_nonmember_container_access 201411L [C++17] __cpp_lib_not_fn 201603L [C++17] __cpp_lib_null_iterators 201304L [C++14] __cpp_lib_optional 201606L [C++17] + 202110L [C++2b] __cpp_lib_out_ptr 202106L [C++2b] __cpp_lib_parallel_algorithm 201603L [C++17] __cpp_lib_polymorphic_allocator 201902L [C++20] @@ -556,10 +556,6 @@ # error "__cpp_lib_memory_resource should not be defined before c++17" # endif -# ifdef __cpp_lib_monadic_optional -# error "__cpp_lib_monadic_optional should not be defined before c++2b" -# endif - # ifdef __cpp_lib_move_only_function # error "__cpp_lib_move_only_function should not be defined before c++2b" # endif @@ -1212,10 +1208,6 @@ # error "__cpp_lib_memory_resource should not be defined before c++17" # endif -# ifdef __cpp_lib_monadic_optional -# error "__cpp_lib_monadic_optional should not be defined before c++2b" -# endif - # ifdef __cpp_lib_move_only_function # error "__cpp_lib_move_only_function should not be defined before c++2b" # endif @@ -2030,10 +2022,6 @@ # endif # endif -# ifdef __cpp_lib_monadic_optional -# error "__cpp_lib_monadic_optional should not be defined before c++2b" -# endif - # ifdef __cpp_lib_move_only_function # error "__cpp_lib_move_only_function should not be defined before c++2b" # endif @@ -3142,10 +3130,6 @@ # endif # endif -# ifdef __cpp_lib_monadic_optional -# error "__cpp_lib_monadic_optional should not be defined before c++2b" -# endif - # ifdef __cpp_lib_move_only_function # error "__cpp_lib_move_only_function should not be defined before c++2b" # endif @@ -4401,13 +4385,6 @@ # endif # endif -# ifndef __cpp_lib_monadic_optional -# error "__cpp_lib_monadic_optional should be defined in c++2b" -# endif -# if __cpp_lib_monadic_optional != 202110L -# error "__cpp_lib_monadic_optional should have the value 202110L in c++2b" -# endif - # if !defined(_LIBCPP_VERSION) # ifndef __cpp_lib_move_only_function # error "__cpp_lib_move_only_function should be defined in c++2b" @@ -4452,8 +4429,8 @@ # ifndef __cpp_lib_optional # error "__cpp_lib_optional should be defined in c++2b" # endif -# if __cpp_lib_optional != 201606L -# error "__cpp_lib_optional should have the value 201606L in c++2b" +# if __cpp_lib_optional != 202110L +# error "__cpp_lib_optional should have the value 202110L in c++2b" # endif # if !defined(_LIBCPP_VERSION) diff --git a/libcxx/utils/generate_feature_test_macro_components.py b/libcxx/utils/generate_feature_test_macro_components.py index b8e8280..60de817 100755 --- a/libcxx/utils/generate_feature_test_macro_components.py +++ b/libcxx/utils/generate_feature_test_macro_components.py @@ -471,10 +471,6 @@ feature_test_macros = [ add_version_header(x) for x in [ "headers": ["memory_resource"], "unimplemented": True, }, { - "name": "__cpp_lib_monadic_optional", - "values": { "c++2b": 202110 }, - "headers": ["optional"], - }, { "name": "__cpp_lib_move_only_function", "values": { "c++2b": 202110 }, "headers": ["functional"], @@ -497,7 +493,7 @@ feature_test_macros = [ add_version_header(x) for x in [ "headers": ["iterator"], }, { "name": "__cpp_lib_optional", - "values": { "c++17": 201606 }, + "values": { "c++17": 201606, "c++2b": 202110 }, "headers": ["optional"], }, { "name": "__cpp_lib_out_ptr", -- 2.7.4