[committed] libstdc++: Constrain __format::_Iter_sink for contiguous iterators [PR110917]
Checks
Commit Message
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
@@ -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__;
new file mode 100644
@@ -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();
+}