P1357R1 Traits for [Un]bounded Arrays

Author: jensmaurer

source/support.tex

@@ -559,6 +559,8 @@
   \tcode{<functional>} \\ \rowsep
 \defnlibxname{cpp_lib_bool_constant}                        & \tcode{201505L} &
   \tcode{<type_traits>} \\ \rowsep
+\defnlibxname{cpp_lib_bounded_array_traits}                 & \tcode{201902L} &
+  \tcode{<type_traits>} \\ \rowsep
 \defnlibxname{cpp_lib_boyer_moore_searcher}                 & \tcode{201603L} &
   \tcode{<functional>} \\ \rowsep
 \defnlibxname{cpp_lib_byte}                                 & \tcode{201603L} &

source/utilities.tex

@@ -16483,6 +16483,8 @@
 
   template<class T> struct is_signed;
   template<class T> struct is_unsigned;
+  template<class T> struct is_bounded_array;
+  template<class T> struct is_unbounded_array;
 
   template<class T, class... Args> struct is_constructible;
   template<class T> struct is_default_constructible;
@@ -16727,6 +16729,10 @@
     inline constexpr bool is_signed_v = is_signed<T>::value;
   template<class T>
     inline constexpr bool is_unsigned_v = is_unsigned<T>::value;
+  template<class T>
+    inline constexpr bool is_bounded_array_v = is_bounded_array<T>::value;
+  template<class T>
+    inline constexpr bool is_unbounded_array_v = is_unbounded_array<T>::value;
   template<class T, class... Args>
     inline constexpr bool is_constructible_v = is_constructible<T, Args...>::value;
   template<class T>
@@ -17130,6 +17136,18 @@
   \tcode{T(0) < T(-1)};
   otherwise, \tcode{false}   &   \\  \rowsep
 
+\indexlibrary{\idxcode{is_bounded_array}}%
+\tcode{template<class T>}\br
+  \tcode{struct is_bounded_array;}       &
+  \tcode{T} is an array type of known bound\iref{dcl.array}
+                             &   \\  \rowsep
+
+\indexlibrary{\idxcode{is_unbounded_array}}%
+\tcode{template<class T>}\br
+  \tcode{struct is_unbounded_array;}     &
+  \tcode{T} is an array type of unknown bound\iref{dcl.array}
+                             &   \\  \rowsep
+
 \indexlibrary{\idxcode{is_constructible}}%
 \tcode{template<class T, class... Args>}\br
  \tcode{struct is_constructible;}   &