aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonathan Wakely <jwakely@redhat.com>2021-08-23 16:16:05 +0100
committerJonathan Wakely <jwakely@redhat.com>2021-08-23 16:17:10 +0100
commit1a129376bbc26d3c30af3c1ae6036e2e1446db40 (patch)
tree1b2bcbbdfff913db590a4cb6c31c8338705845a6
parentfedadb60b6fc6425387faf4d514b4e8b0e24180e (diff)
downloadgcc-1a129376bbc26d3c30af3c1ae6036e2e1446db40.zip
gcc-1a129376bbc26d3c30af3c1ae6036e2e1446db40.tar.gz
gcc-1a129376bbc26d3c30af3c1ae6036e2e1446db40.tar.bz2
libstdc++: Add default template argument to basic_istream_view
The standard shows this default template argument in the <ranges> synopsis, but it was missing in libstdc++. libstdc++-v3/ChangeLog: * include/std/ranges (basic_istream_view): Add default template argument. * testsuite/std/ranges/istream_view.cc: Check it.
-rw-r--r--libstdc++-v3/include/std/ranges3
-rw-r--r--libstdc++-v3/testsuite/std/ranges/istream_view.cc10
2 files changed, 12 insertions, 1 deletions
diff --git a/libstdc++-v3/include/std/ranges b/libstdc++-v3/include/std/ranges
index 3d49a26..b373e4f 100644
--- a/libstdc++-v3/include/std/ranges
+++ b/libstdc++-v3/include/std/ranges
@@ -679,7 +679,8 @@ namespace views
= requires(basic_istream<_CharT, _Traits>& is, _Val& t) { is >> t; };
} // namespace __detail
- template<movable _Val, typename _CharT, typename _Traits>
+ template<movable _Val, typename _CharT,
+ typename _Traits = char_traits<_CharT>>
requires default_initializable<_Val>
&& __detail::__stream_extractable<_Val, _CharT, _Traits>
class basic_istream_view
diff --git a/libstdc++-v3/testsuite/std/ranges/istream_view.cc b/libstdc++-v3/testsuite/std/ranges/istream_view.cc
index 2f15f78..f5c0c2a 100644
--- a/libstdc++-v3/testsuite/std/ranges/istream_view.cc
+++ b/libstdc++-v3/testsuite/std/ranges/istream_view.cc
@@ -94,6 +94,15 @@ test05()
;
}
+void
+test06()
+{
+ // Default template argument
+ using V = std::ranges::basic_istream_view<int, char>;
+ using W = std::ranges::basic_istream_view<int, char, std::char_traits<char>>;
+ static_assert( std::is_same_v<V, W> );
+}
+
int
main()
{
@@ -102,4 +111,5 @@ main()
test03();
test04();
test05();
+ test06();
}