[lib] Use CharT and Traits as template parameter names

Author: frederick-vs-ja

source/compatibility.tex

@@ -334,7 +334,7 @@
 
 \diffref{istream.unformatted}
 \change
-Overloaded \tcode{std::basic_istream<char, traits>::ignore}.
+Overloaded \tcode{std::basic_istream<char, Traits>::ignore}.
 \rationale
 Allow \tcode{char} values to be used as delimiters.
 \effect
@@ -735,7 +735,7 @@
 \change
 Removed the \tcode{formatter} specialization:
 \begin{codeblock}
-template<size_t N> struct formatter<const charT[N], charT>;
+template<size_t N> struct formatter<const CharT[N], CharT>;
 \end{codeblock}
 \rationale
 The specialization is inconsistent with the design of \tcode{formatter},

source/containers.tex

@@ -9826,8 +9826,8 @@
   template<class Allocator> struct hash<vector<bool, Allocator>>;
 
   // \ref{vector.bool.fmt}, formatter specialization for \tcode{vector<bool>}
-  template<class T, class charT> requires @\exposid{is-vector-bool-reference}@<T>
-    struct formatter<T, charT>;
+  template<class T, class CharT> requires @\exposid{is-vector-bool-reference}@<T>
+    struct formatter<T, CharT>;
 }
 \end{codeblock}
 
@@ -10658,11 +10658,11 @@
 \indexlibraryglobal{formatter}%
 \begin{codeblock}
 namespace std {
-  template<class T, class charT>
+  template<class T, class CharT>
     requires @\exposid{is-vector-bool-reference}@<T>
-  struct formatter<T, charT> {
+  struct formatter<T, CharT> {
   private:
-    formatter<bool, charT> @\exposid{underlying_}@;       // \expos
+    formatter<bool, CharT> @\exposid{underlying_}@;       // \expos
 
   public:
     template<class ParseContext>
@@ -15624,8 +15624,8 @@
     struct uses_allocator<queue<T, Container>, Alloc>;
 
   // \ref{container.adaptors.format}, formatter specialization for \tcode{queue}
-  template<class charT, class T, @\libconcept{formattable}@<charT> Container>
-    struct formatter<queue<T, Container>, charT>;
+  template<class CharT, class T, @\libconcept{formattable}@<CharT> Container>
+    struct formatter<queue<T, Container>, CharT>;
 
   // \ref{priority.queue}, class template \tcode{priority_queue}
   template<class T, class Container = vector<T>,
@@ -15639,8 +15639,8 @@
     struct uses_allocator<priority_queue<T, Container, Compare>, Alloc>;
 
   // \ref{container.adaptors.format}, formatter specialization for \tcode{priority_queue}
-  template<class charT, class T, @\libconcept{formattable}@<charT> Container, class Compare>
-    struct formatter<priority_queue<T, Container, Compare>, charT>;
+  template<class CharT, class T, @\libconcept{formattable}@<CharT> Container, class Compare>
+    struct formatter<priority_queue<T, Container, Compare>, CharT>;
 }
 \end{codeblock}
 
@@ -16550,8 +16550,8 @@
     struct uses_allocator<stack<T, Container>, Alloc>;
 
   // \ref{container.adaptors.format}, formatter specialization for \tcode{stack}
-  template<class charT, class T, @\libconcept{formattable}@<charT> Container>
-    struct formatter<stack<T, Container>, charT>;
+  template<class CharT, class T, @\libconcept{formattable}@<CharT> Container>
+    struct formatter<stack<T, Container>, CharT>;
 }
 \end{codeblock}
 
@@ -20103,15 +20103,15 @@
 \indexlibraryglobal{formatter}%
 \begin{codeblock}
 namespace std {
-  template<class charT, class T, @\libconcept{formattable}@<charT> Container, class... U>
-  struct formatter<@\placeholder{adaptor-type}@<T, Container, U...>, charT> {
+  template<class CharT, class T, @\libconcept{formattable}@<CharT> Container, class... U>
+  struct formatter<@\placeholder{adaptor-type}@<T, Container, U...>, CharT> {
   private:
     using @\exposid{maybe-const-container}@ =                                             // \expos
-      @\exposid{fmt-maybe-const}@<Container, charT>;
+      @\exposid{fmt-maybe-const}@<Container, CharT>;
     using @\exposid{maybe-const-adaptor}@ =                                               // \expos
       @\exposid{maybe-const}@<is_const_v<@\exposid{maybe-const-container}@>,                          // see \ref{ranges.syn}
                   @\placeholder{adaptor-type}@<T, Container, U...>>;
-    formatter<ranges::ref_view<@\exposid{maybe-const-container}@>, charT> @\exposid{underlying_}@;    // \expos
+    formatter<ranges::ref_view<@\exposid{maybe-const-container}@>, CharT> @\exposid{underlying_}@;    // \expos
 
   public:
     template<class ParseContext>

source/diagnostics.tex

@@ -737,9 +737,9 @@
   // \ref{syserr.errcode.nonmembers}, non-member functions
   error_code make_error_code(errc e) noexcept;
 
-  template<class charT, class traits>
-    basic_ostream<charT, traits>&
-      operator<<(basic_ostream<charT, traits>& os, const error_code& ec);
+  template<class CharT, class Traits>
+    basic_ostream<CharT, Traits>&
+      operator<<(basic_ostream<CharT, Traits>& os, const error_code& ec);
 
   // \ref{syserr.errcondition.nonmembers}, non-member functions
   error_condition make_error_condition(errc e) noexcept;
@@ -1049,9 +1049,9 @@
   // \ref{syserr.errcode.nonmembers}, non-member functions
   error_code make_error_code(errc e) noexcept;
 
-  template<class charT, class traits>
-    basic_ostream<charT, traits>&
-      operator<<(basic_ostream<charT, traits>& os, const error_code& ec);
+  template<class CharT, class Traits>
+    basic_ostream<CharT, Traits>&
+      operator<<(basic_ostream<CharT, Traits>& os, const error_code& ec);
 }
 \end{codeblock}
 
@@ -1222,8 +1222,8 @@
 
 \indexlibrarymember{operator<<}{error_code}%
 \begin{itemdecl}
-template<class charT, class traits>
-  basic_ostream<charT, traits>& operator<<(basic_ostream<charT, traits>& os, const error_code& ec);
+template<class CharT, class Traits>
+  basic_ostream<CharT, Traits>& operator<<(basic_ostream<CharT, Traits>& os, const error_code& ec);
 \end{itemdecl}
 
 \begin{itemdescr}

source/intro.tex

@@ -382,7 +382,7 @@
 \termref{defns.character}{character}{} type
 that precede the terminating null character type
 value
-\tcode{charT()}
+\tcode{CharT()}
 
 \definition{observer function}{defns.observer}
 \defncontext{library}