P3856R8 New reflection metafunction - is_structural_type (US NB comment 49)

Author: jensmaurer

source/meta.tex

@@ -259,6 +259,7 @@
   template<class T> struct is_aggregate;
   template<class T> struct is_consteval_only;
 
+  template<class T> struct is_structural;
   template<class T> struct is_signed;
   template<class T> struct is_unsigned;
   template<class T> struct is_bounded_array;
@@ -512,6 +513,8 @@
     constexpr bool @\libglobal{is_aggregate_v}@ = is_aggregate<T>::value;
   template<class T>
     constexpr bool @\libglobal{is_consteval_only_v}@ = is_consteval_only<T>::value;
+  template<class T>
+    constexpr bool @\libglobal{is_structural_v}@ = is_structural<T>::value;
   template<class T>
     constexpr bool @\libglobal{is_signed_v}@ = is_signed<T>::value;
   template<class T>
@@ -1203,6 +1206,12 @@
  \tcode{T} is consteval-only\iref{basic.types.general} &
  \tcode{remove_all_extents_t<T>} shall be a complete type or \cv~\keyword{void}.        \\ \rowsep
 
+\indexlibraryglobal{is_structural}%
+\tcode{template<class T>}\br
+  \tcode{struct is_structural;}           &
+ \tcode{T} is a structural type\iref{temp.param} &
+ \tcode{remove_all_extents_t<T>} shall be a complete type or \cv~\keyword{void}.        \\ \rowsep
+
 \indexlibrary{\idxcode{is_signed}!class}%
 \tcode{template<class T>}\br
   \tcode{struct is_signed;}              &
@@ -3152,6 +3161,7 @@
   consteval bool is_final_type(info type);
   consteval bool is_aggregate_type(info type);
   consteval bool is_consteval_only_type(info type);
+  consteval bool is_structural_type(info type);
   consteval bool is_signed_type(info type);
   consteval bool is_unsigned_type(info type);
   consteval bool is_bounded_array_type(info type);
@@ -6802,6 +6812,7 @@
 consteval bool @\libglobal{is_final_type}@(info type);
 consteval bool @\libglobal{is_aggregate_type}@(info type);
 consteval bool @\libglobal{is_consteval_only_type}@(info type);
+consteval bool @\libglobal{is_structural_type}@(info type);
 consteval bool @\libglobal{is_signed_type}@(info type);
 consteval bool @\libglobal{is_unsigned_type}@(info type);
 consteval bool @\libglobal{is_bounded_array_type}@(info type);

source/support.tex

@@ -746,6 +746,7 @@
 #define @\defnlibxname{cpp_lib_is_null_pointer}@                   201309L // freestanding, also in \libheader{type_traits}
 #define @\defnlibxname{cpp_lib_is_pointer_interconvertible}@       201907L // freestanding, also in \libheader{type_traits}
 #define @\defnlibxname{cpp_lib_is_scoped_enum}@                    202011L // freestanding, also in \libheader{type_traits}
+#define @\defnlibxname{cpp_lib_is_structural}@                     202603L // freestanding, also in \libheader{meta} and \libheader{type_traits}
 #define @\defnlibxname{cpp_lib_is_sufficiently_aligned}@           202411L // freestanding, also in \libheader{memory}
 #define @\defnlibxname{cpp_lib_is_swappable}@                      201603L // freestanding, also in \libheader{type_traits}
 #define @\defnlibxname{cpp_lib_is_virtual_base_of}@                202406L // freestanding, also in \libheader{type_traits}