Merge pull request #1273 from SekaiArendelle/comptime

string: fix constexpr compliance of basic_string default construction

Author: trcrsired

include/fast_io_dsal/impl/string.h

@@ -34,7 +34,7 @@ inline constexpr ::fast_io::basic_allocation_least_result<chtype *> string_alloc
 	// n is not possible to SIZE_MAX since that would overflow the memory which is not possible
 	::std::size_t const np1{static_cast<::std::size_t>(n + 1u)};
 	auto [ptr, allocn]{typed_allocator_type::allocate_at_least(np1)};
-	*::fast_io::freestanding::non_overlapped_copy_n(first, n, ptr) = 0;
+	::std::construct_at(::fast_io::freestanding::non_overlapped_copy_n(first, n, ptr), chtype{});
 	return {ptr, static_cast<::std::size_t>(allocn - 1u)};
 }
 
@@ -118,7 +118,7 @@ class basic_string FAST_IO_TRIVIALLY_RELOCATABLE_IF_ELIGIBLE
 			using untyped_allocator_type = generic_allocator_adapter<allocator_type>;
 			using typed_allocator_type = typed_generic_allocator_adapter<untyped_allocator_type, chtype>;
 			auto [ptr, cap]{typed_allocator_type::allocate_at_least(2)};
-			*ptr = 0;
+			::std::construct_at(ptr, char_type{});
 			this->imp = {ptr, ptr, ptr + static_cast<size_type>(cap - 1u)};
 		}
 		else

tests/0026.container/0004.string/constexpr_construct.cc

@@ -0,0 +1,14 @@
+#include <fast_io_dsal/string.h>
+
+// Tests that default construction (reset_imp) works in constexpr context.
+constexpr bool default_construct()
+{
+	::fast_io::u8string s{};
+	return s.empty();
+}
+static_assert(default_construct());
+
+int main()
+{
+	return 0;
+}