[committed] libstdc++: Constrain __format::_Iter_sink for contiguous iterators [PR110917]

[committed] libstdc++: Constrain __format::_Iter_sink for contiguous iterators [PR110917]

[Jonathan Wakely]

Tested x86_64-linux. Pushed to trunk. gcc-13 backport to follow.

-- >8 --

We can't write to a span<_CharT> if the contiguous iterator has a value
type that isn't _CharT.

libstdc++-v3/ChangeLog:

	PR libstdc++/110917
	* include/std/format (__format::_Iter_sink<CharT, OutIter>):
	Constrain partial specialization for contiguous iterators to
	require the value type to be CharT.
	* testsuite/std/format/functions/format_to.cc: New test.
---
 libstdc++-v3/include/std/format               |   1 +
 .../std/format/functions/format_to.cc         | 100 ++++++++++++++++++
 2 files changed, 101 insertions(+)
 create mode 100644 libstdc++-v3/testsuite/std/format/functions/format_to.cc

diff --git a/libstdc++-v3/include/std/format b/libstdc++-v3/include/std/format
index 0debbae5ba8..60e53642b11 100644
--- a/libstdc++-v3/include/std/format
+++ b/libstdc++-v3/include/std/format
@@ -2536,6 +2536,7 @@ namespace __format
   // not introduce any invalid pointer arithmetic or overflows that would not
   // have happened anyway.
   template<typename _CharT, contiguous_iterator _OutIter>
+    requires same_as<iter_value_t<_OutIter>, _CharT>
     class _Iter_sink<_CharT, _OutIter> : public _Sink<_CharT>
     {
       using uint64_t = __UINTPTR_TYPE__;
diff --git a/libstdc++-v3/testsuite/std/format/functions/format_to.cc b/libstdc++-v3/testsuite/std/format/functions/format_to.cc
new file mode 100644
index 00000000000..a35568954e2
--- /dev/null
+++ b/libstdc++-v3/testsuite/std/format/functions/format_to.cc
@@ -0,0 +1,100 @@
+// { dg-options "-std=gnu++20" }
+// { dg-do run { target c++20 } }
+
+#include <format>
+#include <locale>
+#include <vector>
+#include <cstring>
+#include <testsuite_hooks.h>
+
+struct punct : std::numpunct<char>
+{
+  std::string do_grouping() const override { return "\2"; }
+};
+
+void
+test()
+{
+  char buf[32] = { };
+  auto out = std::format_to(buf, "test");
+  VERIFY( out == buf+4 );
+
+  std::locale loc({}, new punct);
+  auto out2 = std::format_to(buf, loc, "{:Ld}", 12345);
+  VERIFY( out2 == buf+7 );
+  VERIFY( std::string_view(buf, out2 - buf) == "1,23,45" );
+}
+
+struct wpunct : std::numpunct<wchar_t>
+{
+  std::string do_grouping() const override { return "\2"; }
+};
+
+void
+test_wchar()
+{
+  wchar_t buf[32] = { };
+  auto out = std::format_to(buf, L"123 + 456 = {}", 579);
+  VERIFY( out == buf+15 );
+
+  std::locale loc({}, new wpunct);
+  auto out2 = std::format_to(buf, loc, L"{:Ld}", 12345);
+  VERIFY( out2 == buf+7 );
+  VERIFY( std::wstring_view(buf, out2 - buf) == L"1,23,45" );
+}
+
+template<typename I>
+struct move_only_iterator
+{
+  using iterator = I;
+  using value_type = iterator::value_type;
+  using difference_type = iterator::difference_type;
+  using iterator_category = std::output_iterator_tag;
+
+  move_only_iterator(iterator b) : base_(b) { }
+  move_only_iterator(move_only_iterator&&) = default;
+  move_only_iterator& operator=(move_only_iterator&&) = default;
+
+  move_only_iterator& operator++() { ++base_; return *this; }
+  move_only_iterator operator++(int) { auto tmp = *this; ++base_; return tmp; }
+
+  decltype(auto) operator*() { return *base_; }
+
+private:
+  iterator base_;
+};
+
+void
+test_move_only()
+{
+  std::string str;
+  move_only_iterator mo(std::back_inserter(str));
+  auto res = std::format_to(std::move(mo), "for{:.3} that{:c}",
+				     "matte", (int)'!');
+  VERIFY( str == "format that!" );
+
+  std::vector<wchar_t> vec;
+  move_only_iterator wmo(std::back_inserter(vec));
+  auto wres = std::format_to(std::move(wmo), L"for{:.3} hat{:c}",
+				       L"matte", (long)L'!');
+  VERIFY( std::wstring_view(vec.data(), vec.size()) == L"format hat!" );
+}
+
+void
+test_pr110917()
+{
+  // PR libstdc++/110917
+  // std::format_to(int*, ...) fails to compile because of _S_make_span
+  unsigned char buf[7];
+  auto res = std::format_to(buf, "{} {}", "abc", 123);
+  VERIFY( res == buf + 7 );
+  VERIFY( ! std::memcmp(buf, "abc 123", 7) );
+}
+
+int main()
+{
+  test();
+  test_wchar();
+  test_move_only();
+  test_pr110917();
+}
-- 
2.41.0