[libc-commits] [clang] [compiler-rt] [clang-tools-extra] [libcxx] [flang] [llvm] [libc] [libc++] Implement LWG3940: std::expected<void, E>::value() also needs E to be copy constructible (PR #71819)

via libc-commits libc-commits at lists.llvm.org
Fri Jan 5 21:48:54 PST 2024


https://github.com/PragmaTwice updated https://github.com/llvm/llvm-project/pull/71819

>From 3e4b73d2aeac411a83dda5cd63eb0572499db467 Mon Sep 17 00:00:00 2001
From: PragmaTwice <twice at apache.org>
Date: Fri, 10 Nov 2023 00:50:24 +0900
Subject: [PATCH 1/8] [libc++] Implement LWG3940 (std::expected<void,
 E>::value() also needs E to be copy constructible)

---
 libcxx/docs/Status/Cxx2cIssues.csv            |  2 +-
 libcxx/include/__expected/expected.h          |  3 +++
 .../observers/value.lwg3940.compile.fail.cpp  | 27 +++++++++++++++++++
 .../expected.void/observers/value.pass.cpp    | 11 --------
 4 files changed, 31 insertions(+), 12 deletions(-)
 create mode 100644 libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.compile.fail.cpp

diff --git a/libcxx/docs/Status/Cxx2cIssues.csv b/libcxx/docs/Status/Cxx2cIssues.csv
index a928b69ea10c48..099a19d02888f4 100644
--- a/libcxx/docs/Status/Cxx2cIssues.csv
+++ b/libcxx/docs/Status/Cxx2cIssues.csv
@@ -15,7 +15,7 @@
 "`3927 <https://wg21.link/LWG3927>`__","Unclear preconditions for ``operator[]`` for sequence containers","Varna June 2023","|Nothing To Do|","",""
 "`3935 <https://wg21.link/LWG3935>`__","``template<class X> constexpr complex& operator=(const complex<X>&)`` has no specification","Varna June 2023","|Complete|","3.4",""
 "`3938 <https://wg21.link/LWG3938>`__","Cannot use ``std::expected`` monadic ops with move-only ``error_type``","Varna June 2023","|Complete|","18.0",""
-"`3940 <https://wg21.link/LWG3940>`__","``std::expected<void, E>::value()`` also needs ``E`` to be copy constructible","Varna June 2023","","",""
+"`3940 <https://wg21.link/LWG3940>`__","``std::expected<void, E>::value()`` also needs ``E`` to be copy constructible","Varna June 2023","|Complete|","18.0",""
 "","","","","",""
 "`3343 <https://wg21.link/LWG3343>`__","Ordering of calls to ``unlock()`` and ``notify_all()`` in Effects element of ``notify_all_at_thread_exit()`` should be reversed","Not Yet Adopted","|Complete|","16.0",""
 "`3892 <https://wg21.link/LWG3892>`__","Incorrect formatting of nested ranges and tuples","Not Yet Adopted","|Complete|","17.0","|format|"
diff --git a/libcxx/include/__expected/expected.h b/libcxx/include/__expected/expected.h
index bf16c8f720d268..c6441f1651b085 100644
--- a/libcxx/include/__expected/expected.h
+++ b/libcxx/include/__expected/expected.h
@@ -1187,12 +1187,15 @@ class expected<_Tp, _Err> {
   }
 
   _LIBCPP_HIDE_FROM_ABI constexpr void value() const& {
+    static_assert(is_copy_constructible_v<_Err>, "error_type has to be copy constructible");
     if (!__has_val_) {
       std::__throw_bad_expected_access<_Err>(__union_.__unex_);
     }
   }
 
   _LIBCPP_HIDE_FROM_ABI constexpr void value() && {
+    static_assert(is_copy_constructible_v<_Err> && is_move_constructible_v<_Err>,
+                  "error_type has to be both copy constructible and move constructible");
     if (!__has_val_) {
       std::__throw_bad_expected_access<_Err>(std::move(__union_.__unex_));
     }
diff --git a/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.compile.fail.cpp b/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.compile.fail.cpp
new file mode 100644
index 00000000000000..37c06e629e9443
--- /dev/null
+++ b/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.compile.fail.cpp
@@ -0,0 +1,27 @@
+//===----------------------------------------------------------------------===//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
+
+// constexpr void value() &&;
+// Mandates: is_copy_constructible_v<E> is true and is_move_constructible_v<E> is true.
+
+#include <expected>
+
+#include "MoveOnly.h"
+
+void test() {
+  // MoveOnly
+  std::expected<void, MoveOnly> e(std::unexpect, 5);
+
+  // COMPILE FAIL: MoveOnly is not copy constructible
+  std::move(e).value();
+}
+
+int main(int, char**) {
+  test();
+}
diff --git a/libcxx/test/std/utilities/expected/expected.void/observers/value.pass.cpp b/libcxx/test/std/utilities/expected/expected.void/observers/value.pass.cpp
index 0f02db19c7b75e..a24d67c57e19b5 100644
--- a/libcxx/test/std/utilities/expected/expected.void/observers/value.pass.cpp
+++ b/libcxx/test/std/utilities/expected/expected.void/observers/value.pass.cpp
@@ -65,17 +65,6 @@ void testException() {
     }
   }
 
-  // MoveOnly
-  {
-    std::expected<void, MoveOnly> e(std::unexpect, 5);
-    try {
-      std::move(e).value();
-      assert(false);
-    } catch (const std::bad_expected_access<MoveOnly>& ex) {
-      assert(ex.error() == 5);
-    }
-  }
-
 #endif // TEST_HAS_NO_EXCEPTIONS
 }
 

>From 2d1c43fa98b3a97f31509e98c3abdd7fe8f62626 Mon Sep 17 00:00:00 2001
From: PragmaTwice <twice at apache.org>
Date: Fri, 10 Nov 2023 19:29:30 +0900
Subject: [PATCH 2/8] [libcxx] format test

---
 .../expected.void/observers/value.lwg3940.compile.fail.cpp    | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.compile.fail.cpp b/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.compile.fail.cpp
index 37c06e629e9443..0f43a45b4eaaa1 100644
--- a/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.compile.fail.cpp
+++ b/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.compile.fail.cpp
@@ -22,6 +22,4 @@ void test() {
   std::move(e).value();
 }
 
-int main(int, char**) {
-  test();
-}
+int main(int, char**) { test(); }

>From 0767b57320aa3433a65761132d57414fe6ffd1ea Mon Sep 17 00:00:00 2001
From: PragmaTwice <twice at apache.org>
Date: Wed, 15 Nov 2023 23:49:52 +0900
Subject: [PATCH 3/8] use .verify.cpp instead of .compile.fail.cpp

---
 ...e.lwg3940.compile.fail.cpp => value.lwg3940.verify.cpp} | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)
 rename libcxx/test/std/utilities/expected/expected.void/observers/{value.lwg3940.compile.fail.cpp => value.lwg3940.verify.cpp} (62%)

diff --git a/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.compile.fail.cpp b/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.verify.cpp
similarity index 62%
rename from libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.compile.fail.cpp
rename to libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.verify.cpp
index 0f43a45b4eaaa1..da6aeb10a3e40d 100644
--- a/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.compile.fail.cpp
+++ b/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.verify.cpp
@@ -6,6 +6,7 @@
 //===----------------------------------------------------------------------===//
 
 // UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
+// ADDITIONAL_COMPILE_FLAGS: -Xclang -verify-ignore-unexpected=error
 
 // constexpr void value() &&;
 // Mandates: is_copy_constructible_v<E> is true and is_move_constructible_v<E> is true.
@@ -15,11 +16,11 @@
 #include "MoveOnly.h"
 
 void test() {
-  // MoveOnly
+  // MoveOnly type as error_type
   std::expected<void, MoveOnly> e(std::unexpect, 5);
 
-  // COMPILE FAIL: MoveOnly is not copy constructible
-  std::move(e).value();
+  std::move(e).value(); // expected-note{{in instantiation of member function 'std::expected<void, MoveOnly>::value' requested here}}
+  // expected-error-re@*:* {{static assertion failed due to requirement 'is_copy_constructible_v<MoveOnly>': error_type has to be both copy constructible and move constructible}}
 }
 
 int main(int, char**) { test(); }

>From a5ea3056ec348ca0b576cda84fa99796c0b2b60b Mon Sep 17 00:00:00 2001
From: PragmaTwice <twice at apache.org>
Date: Wed, 15 Nov 2023 23:54:51 +0900
Subject: [PATCH 4/8] format code

---
 .../expected/expected.void/observers/value.lwg3940.verify.cpp  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.verify.cpp b/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.verify.cpp
index da6aeb10a3e40d..c2516119089f9e 100644
--- a/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.verify.cpp
+++ b/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.verify.cpp
@@ -19,7 +19,8 @@ void test() {
   // MoveOnly type as error_type
   std::expected<void, MoveOnly> e(std::unexpect, 5);
 
-  std::move(e).value(); // expected-note{{in instantiation of member function 'std::expected<void, MoveOnly>::value' requested here}}
+  std::move(e)
+      .value(); // expected-note{{in instantiation of member function 'std::expected<void, MoveOnly>::value' requested here}}
   // expected-error-re@*:* {{static assertion failed due to requirement 'is_copy_constructible_v<MoveOnly>': error_type has to be both copy constructible and move constructible}}
 }
 

>From cc857072825b73c34f7cc7c01ff860a7b1dd7cd0 Mon Sep 17 00:00:00 2001
From: PragmaTwice <twice at apache.org>
Date: Thu, 16 Nov 2023 21:52:55 +0900
Subject: [PATCH 5/8] rename & clean up

---
 .../expected/expected.void}/value.lwg3940.verify.cpp       | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)
 rename libcxx/test/{std/utilities/expected/expected.void/observers => libcxx/utilities/expected/expected.void}/value.lwg3940.verify.cpp (63%)

diff --git a/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.verify.cpp b/libcxx/test/libcxx/utilities/expected/expected.void/value.lwg3940.verify.cpp
similarity index 63%
rename from libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.verify.cpp
rename to libcxx/test/libcxx/utilities/expected/expected.void/value.lwg3940.verify.cpp
index c2516119089f9e..33bac465a5eda2 100644
--- a/libcxx/test/std/utilities/expected/expected.void/observers/value.lwg3940.verify.cpp
+++ b/libcxx/test/libcxx/utilities/expected/expected.void/value.lwg3940.verify.cpp
@@ -6,7 +6,6 @@
 //===----------------------------------------------------------------------===//
 
 // UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
-// ADDITIONAL_COMPILE_FLAGS: -Xclang -verify-ignore-unexpected=error
 
 // constexpr void value() &&;
 // Mandates: is_copy_constructible_v<E> is true and is_move_constructible_v<E> is true.
@@ -20,8 +19,6 @@ void test() {
   std::expected<void, MoveOnly> e(std::unexpect, 5);
 
   std::move(e)
-      .value(); // expected-note{{in instantiation of member function 'std::expected<void, MoveOnly>::value' requested here}}
-  // expected-error-re@*:* {{static assertion failed due to requirement 'is_copy_constructible_v<MoveOnly>': error_type has to be both copy constructible and move constructible}}
+      .value(); // expected-note {{in instantiation of member function 'std::expected<void, MoveOnly>::value' requested here}}
+  // expected-error@*:* {{static assertion failed due to requirement 'is_copy_constructible_v<MoveOnly>': error_type has to be both copy constructible and move constructible}}
 }
-
-int main(int, char**) { test(); }

>From 5cf3dc623e5051d402ce4c6d135052c8ef511844 Mon Sep 17 00:00:00 2001
From: PragmaTwice <twice at apache.org>
Date: Wed, 3 Jan 2024 16:16:56 +0800
Subject: [PATCH 7/8] add more tests

---
 libcxx/include/__expected/expected.h          |  2 +-
 .../expected.void/value.lwg3940.verify.cpp    | 25 +++++++++++++++++++
 2 files changed, 26 insertions(+), 1 deletion(-)

diff --git a/libcxx/include/__expected/expected.h b/libcxx/include/__expected/expected.h
index c6441f1651b085..d91f307ecda1c7 100644
--- a/libcxx/include/__expected/expected.h
+++ b/libcxx/include/__expected/expected.h
@@ -1187,7 +1187,7 @@ class expected<_Tp, _Err> {
   }
 
   _LIBCPP_HIDE_FROM_ABI constexpr void value() const& {
-    static_assert(is_copy_constructible_v<_Err>, "error_type has to be copy constructible");
+    static_assert(is_copy_constructible_v<_Err>);
     if (!__has_val_) {
       std::__throw_bad_expected_access<_Err>(__union_.__unex_);
     }
diff --git a/libcxx/test/libcxx/utilities/expected/expected.void/value.lwg3940.verify.cpp b/libcxx/test/libcxx/utilities/expected/expected.void/value.lwg3940.verify.cpp
index 33bac465a5eda2..04e5a5d68f2c25 100644
--- a/libcxx/test/libcxx/utilities/expected/expected.void/value.lwg3940.verify.cpp
+++ b/libcxx/test/libcxx/utilities/expected/expected.void/value.lwg3940.verify.cpp
@@ -7,6 +7,9 @@
 
 // UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
 
+// constexpr void value() const &;
+// Mandates: is_copy_constructible_v<E> is true.
+
 // constexpr void value() &&;
 // Mandates: is_copy_constructible_v<E> is true and is_move_constructible_v<E> is true.
 
@@ -14,11 +17,33 @@
 
 #include "MoveOnly.h"
 
+struct CopyOnly {
+  CopyOnly()                = default;
+  CopyOnly(const CopyOnly&) = default;
+  CopyOnly(CopyOnly&&)      = delete;
+};
+
 void test() {
   // MoveOnly type as error_type
   std::expected<void, MoveOnly> e(std::unexpect, 5);
 
+  e.value(); // expected-note {{in instantiation of member function 'std::expected<void, MoveOnly>::value' requested here}}
+  // expected-error@*:* {{static assertion failed due to requirement 'is_copy_constructible_v<MoveOnly>'}}
+
   std::move(e)
       .value(); // expected-note {{in instantiation of member function 'std::expected<void, MoveOnly>::value' requested here}}
   // expected-error@*:* {{static assertion failed due to requirement 'is_copy_constructible_v<MoveOnly>': error_type has to be both copy constructible and move constructible}}
+
+  // CopyOnly type as error_type
+  std::expected<void, CopyOnly> e2(std::unexpect);
+
+  e2.value();
+
+  std::move(e2)
+      .value(); // expected-note {{in instantiation of member function 'std::expected<void, CopyOnly>::value' requested here}}
+  // expected-error@*:* {{static assertion failed due to requirement 'is_move_constructible_v<CopyOnly>': error_type has to be both copy constructible and move constructible}}
+
+  // expected-error@*:* {{call to deleted constructor of 'MoveOnly'}}
+  // expected-error@*:* {{call to deleted constructor of 'CopyOnly'}}
+  // expected-error@*:* {{call to deleted constructor of 'CopyOnly'}}
 }

>From 4ef228b7eeda58ab04dafdc2736f1f4a6a6ff850 Mon Sep 17 00:00:00 2001
From: PragmaTwice <twice at apache.org>
Date: Sat, 6 Jan 2024 11:20:03 +0800
Subject: [PATCH 8/8] exclude no-rtti and no-exceptions

---
 .../utilities/expected/expected.void/value.lwg3940.verify.cpp   | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libcxx/test/libcxx/utilities/expected/expected.void/value.lwg3940.verify.cpp b/libcxx/test/libcxx/utilities/expected/expected.void/value.lwg3940.verify.cpp
index 04e5a5d68f2c25..69dd022bfc523e 100644
--- a/libcxx/test/libcxx/utilities/expected/expected.void/value.lwg3940.verify.cpp
+++ b/libcxx/test/libcxx/utilities/expected/expected.void/value.lwg3940.verify.cpp
@@ -6,6 +6,8 @@
 //===----------------------------------------------------------------------===//
 
 // UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
+// UNSUPPORTED: no-rtti
+// UNSUPPORTED: no-exceptions
 
 // constexpr void value() const &;
 // Mandates: is_copy_constructible_v<E> is true.



More information about the libc-commits mailing list