P1148R0 Cleaning up Clause 20

Author: zygoloid

source/iostreams.tex

@@ -162,6 +162,11 @@
 \indexlibrary{\idxcode{wsyncbuf}}%
 \indexlibrary{\idxcode{osyncstream}}%
 \indexlibrary{\idxcode{wosyncstream}}%
+\indexlibrary{\idxcode{fpos}}%
+\indexlibrary{\idxcode{streampos}}%
+\indexlibrary{\idxcode{wstreampos}}%
+\indexlibrary{\idxcode{u16streampos}}%
+\indexlibrary{\idxcode{u32streampos}}%
 \begin{codeblock}
 namespace std {
   template<class charT> class char_traits;
@@ -259,6 +264,8 @@
   template<class state> class fpos;
   using streampos  = fpos<char_traits<char>::state_type>;
   using wstreampos = fpos<char_traits<wchar_t>::state_type>;
+  using u16streampos = fpos<char_traits<char16_t>::state_type>;
+  using u32streampos = fpos<char_traits<char32_t>::state_type>;
 }
 \end{codeblock}
 
@@ -301,9 +308,10 @@
 class template specialization
 \tcode{basic_streambuf<charT, traits>}
 serves as a base class for class templates
-\tcode{basic_stringbuf}
+\tcode{basic_stringbuf},
+\tcode{basic_filebuf},
 and
-\tcode{basic_filebuf}.
+\tcode{basic_syncbuf}.
 
 \pnum
 The
@@ -319,9 +327,10 @@
 class template specialization
 \tcode{basic_ostream<charT, traits>}
 serves as a base class for class templates
-\tcode{basic_ostringstream}
+\tcode{basic_ostringstream},
+\tcode{basic_ofstream},
 and
-\tcode{basic_ofstream}.
+\tcode{basic_osyncstream}.
 
 \pnum
 The
@@ -332,6 +341,15 @@
 and
 \tcode{basic_fstream}.
 
+\pnum
+\begin{note}
+For each of the class templates above,
+the program is ill-formed if
+\tcode{traits::char_type}
+is not the same type as
+\tcode{charT}\iref{char.traits}.
+\end{note}
+
 \pnum
 Other \grammarterm{typedef-name}{s} define instances of
 class templates
@@ -366,17 +384,6 @@
 \tcode{char_traits<char>}.
 An implementation can avoid this circularity by substituting equivalent
 types.
-One way to do this might be
-\begin{codeblock}
-template<class stateT> class fpos { @\commentellip@ };      // depends on nothing
-using _STATE = @\commentellip@ ;             // implementation private declaration of \tcode{stateT}
-
-using streampos = fpos<_STATE>;
-
-template<> struct char_traits<char> {
-  using pos_type = streampos;
-}
-\end{codeblock}
 \end{note}
 
 \rSec1[iostream.objects]{Standard iostream objects}