[libc++] implement 'std::generator'

Author: xiaoyang-sde

libcxx/include/__std_clang_module

@@ -104,6 +104,7 @@
 #if !defined(_LIBCPP_HAS_NO_THREADS)
 #  include <future>
 #endif
+#include <generator>
 #include <initializer_list>
 #include <inttypes.h>
 #if !defined(_LIBCPP_HAS_NO_LOCALIZATION)

libcxx/include/generator

@@ -11,8 +11,10 @@
 #define _LIBCPP_GENERATOR
 
 #include <__assert>
+#include <__concepts/common_reference_with.h>
 #include <__concepts/constructible.h>
 #include <__concepts/convertible_to.h>
+#include <__concepts/same_as.h>
 #include <__config>
 #include <__coroutine/coroutine_handle.h>
 #include <__coroutine/coroutine_traits.h>
@@ -23,6 +25,7 @@
 #include <__memory/addressof.h>
 #include <__memory/allocator_arg_t.h>
 #include <__memory/allocator_traits.h>
+#include <__ranges/access.h>
 #include <__ranges/concepts.h>
 #include <__ranges/elements_of.h>
 #include <__ranges/view_interface.h>
@@ -34,9 +37,18 @@
 #include <__type_traits/is_reference.h>
 #include <__type_traits/is_void.h>
 #include <__type_traits/remove_cvref.h>
+#include <__type_traits/remove_reference.h>
 #include <__utility/exchange.h>
+#include <__utility/move.h>
 #include <__utility/swap.h>
 
+#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
+#  pragma GCC system_header
+#endif
+
+_LIBCPP_PUSH_MACROS
+#include <__undef_macros>
+
 #if _LIBCPP_STD_VER >= 23
 
 _LIBCPP_BEGIN_NAMESPACE_STD
@@ -86,7 +98,7 @@ private:
     __root_data __root;
     __recursive_data __recursive;
 
-    ~__union() noexcept {}
+    _LIBCPP_HIDE_FROM_ABI ~__union() noexcept {}
   } __data_;
 
   // The `__tag_` stores the active member of the `__data_` union:
@@ -370,10 +382,8 @@ private:
 
 _LIBCPP_END_NAMESPACE_STD
 
-#endif
+#endif // _LIBCPP_STD_VER >= 23
 
-#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
-#  pragma GCC system_header
-#endif
+_LIBCPP_POP_MACROS
 
-#endif
+#endif // _LIBCPP_GENERATOR

libcxx/include/module.modulemap

@@ -99,6 +99,10 @@ module std_future [system] {
   header "future"
   export *
 }
+module std_generator [system] {
+  header "generator"
+  export *
+}
 module std_initializer_list [system] {
   header "initializer_list"
   export *

libcxx/modules/std.compat.cppm.in

@@ -63,9 +63,6 @@ module;
 #  if __has_include(<flat_set>)
 #    error "please update the header information for <flat_set> in headers_not_available in utils/libcxx/header_information.py"
 #  endif // __has_include(<flat_set>)
-#  if __has_include(<generator>)
-#    error "please update the header information for <generator> in headers_not_available in utils/libcxx/header_information.py"
-#  endif // __has_include(<generator>)
 #  if __has_include(<hazard_pointer>)
 #    error "please update the header information for <hazard_pointer> in headers_not_available in utils/libcxx/header_information.py"
 #  endif // __has_include(<hazard_pointer>)

libcxx/modules/std.cppm.in

@@ -79,6 +79,7 @@ module;
 #if !defined(_LIBCPP_HAS_NO_THREADS)
 #  include <future>
 #endif
+#include <generator>
 #include <initializer_list>
 #if !defined(_LIBCPP_HAS_NO_LOCALIZATION)
 #  include <iomanip>
@@ -185,9 +186,6 @@ module;
 #  if __has_include(<flat_set>)
 #    error "please update the header information for <flat_set> in headers_not_available in utils/libcxx/header_information.py"
 #  endif // __has_include(<flat_set>)
-#  if __has_include(<generator>)
-#    error "please update the header information for <generator> in headers_not_available in utils/libcxx/header_information.py"
-#  endif // __has_include(<generator>)
 #  if __has_include(<hazard_pointer>)
 #    error "please update the header information for <hazard_pointer> in headers_not_available in utils/libcxx/header_information.py"
 #  endif // __has_include(<hazard_pointer>)

libcxx/modules/std/generator.inc

@@ -8,7 +8,8 @@
 //===----------------------------------------------------------------------===//
 
 export namespace std {
-#if 0
+#if _LIBCPP_STD_VER >= 23
+  // [coro.generator], class template generator
   using std::generator;
 #endif
 } // namespace std

libcxx/utils/libcxx/header_information.py

@@ -141,7 +141,6 @@
     "debugging",
     "flat_map",
     "flat_set",
-    "generator",
     "hazard_pointer",
     "linalg",
     "rcu",