Merge pull request #1281 from SekaiArendelle/constexpr-deque

[deque] fix: constexpr support for deque in C++23

Author: trcrsired

include/fast_io_core_impl/allocation/adapters.h

@@ -1,4 +1,4 @@
-#pragma once
+#pragma once
 
 // To make a constexpr allocator, we need ::std::allocator. Because only new expression and
 // ::std::allocator<T>::allocate are allowed in constexpr functions. See https://github.com/microsoft/STL/issues/1532
@@ -145,10 +145,16 @@ class generic_allocator_adapter
 		if (false)
 #endif
 		{
-			auto p{::operator new(n)};
+			auto p{
+#if FAST_IO_HAS_BUILTIN(__builtin_operator_new)
+				__builtin_operator_new(n)
+#else
+				::operator new(n)
+#endif
+			};
 			if (zero)
 			{
-				::fast_io::freestanding::bytes_clear_n(reinterpret_cast<::std::byte *>(p), n);
+				::fast_io::freestanding::bytes_clear_n(static_cast<::std::byte *>(p), n);
 			}
 			return p;
 		}
@@ -682,7 +688,11 @@ class generic_allocator_adapter
 #if __cpp_constexpr_dynamic_alloc >= 201907L
 		if (__builtin_is_constant_evaluated())
 		{
+#if FAST_IO_HAS_BUILTIN(__builtin_operator_delete)
+			__builtin_operator_delete(p);
+#else
 			::operator delete(p);
+#endif
 		}
 		else
 #endif
@@ -704,7 +714,11 @@ class generic_allocator_adapter
 #if __cpp_constexpr_dynamic_alloc >= 201907L
 		if (__builtin_is_constant_evaluated())
 		{
+#if FAST_IO_HAS_BUILTIN(__builtin_operator_delete)
+			__builtin_operator_delete(p);
+#else
 			::operator delete(p);
+#endif
 		}
 		else
 #endif
@@ -747,10 +761,16 @@ class generic_allocator_adapter
 		if (false)
 #endif
 		{
-			auto p{::operator new(n)};
+			auto p{
+#if FAST_IO_HAS_BUILTIN(__builtin_operator_new)
+				__builtin_operator_new(n)
+#else
+				::operator new(n)
+#endif
+			};
 			if (zero)
 			{
-				::fast_io::freestanding::bytes_clear_n(reinterpret_cast<::std::byte *>(p), n);
+				::fast_io::freestanding::bytes_clear_n(static_cast<::std::byte *>(p), n);
 			}
 			return p;
 		}
@@ -847,7 +867,13 @@ class generic_allocator_adapter
 		if (false)
 #endif
 		{
-			return ::operator new(n);
+			return
+#if FAST_IO_HAS_BUILTIN(__builtin_operator_new)
+				__builtin_operator_new(n)
+#else
+				::operator new(n)
+#endif
+				;
 		}
 		if constexpr (::fast_io::details::has_allocate_aligned_impl<alloc>)
 		{
@@ -874,7 +900,13 @@ class generic_allocator_adapter
 		if (false)
 #endif
 		{
-			return ::operator new(n);
+			return
+#if FAST_IO_HAS_BUILTIN(__builtin_operator_new)
+				__builtin_operator_new(n)
+#else
+				::operator new(n)
+#endif
+				;
 		}
 		if constexpr (::fast_io::details::has_allocate_aligned_zero_impl<alloc>)
 		{
@@ -904,7 +936,13 @@ class generic_allocator_adapter
 		if (false)
 #endif
 		{
-			return {::operator new(n), n};
+			return {
+#if FAST_IO_HAS_BUILTIN(__builtin_operator_new)
+				__builtin_operator_new(n)
+#else
+				::operator new(n)
+#endif
+				, n};
 		}
 		else
 		{
@@ -931,7 +969,13 @@ class generic_allocator_adapter
 		if (false)
 #endif
 		{
-			return {::operator new(n), n};
+			return {
+#if FAST_IO_HAS_BUILTIN(__builtin_operator_new)
+				__builtin_operator_new(n)
+#else
+				::operator new(n)
+#endif
+				, n};
 		}
 		else
 		{
@@ -2062,7 +2106,7 @@ class generic_allocator_adapter
 		if (false)
 #endif
 		{
-			return ::operator new(n);
+			return static_cast<void *>(::fast_io::freestanding::allocator<::std::byte>{}.allocate(n));
 		}
 		else
 		{

include/fast_io_core_impl/freestanding/algorithm.h

@@ -301,9 +301,21 @@ inline constexpr output_iter overlapped_copy_trivial(input_iter first, ::std::si
 	{
 		tempbufferptr[i] = first[i];
 	}
-	for (::std::size_t i{}; i != n; ++i)
+#if __cpp_if_consteval >= 202106L
+	if consteval
+	{
+		for (::std::size_t i{}; i != n; ++i)
+		{
+			::std::construct_at(::std::addressof(result[i]), ::std::move(tempbufferptr[i]));
+		}
+	}
+	else
+#endif
 	{
-		result[i] = ::std::move(tempbufferptr[i]);
+		for (::std::size_t i{}; i != n; ++i)
+		{
+			result[i] = ::std::move(tempbufferptr[i]);
+		}
 	}
 	return result + n;
 }