[lib] Use CharT and Traits as template parameter names

Author: frederick-vs-ja

source/compatibility.tex

@@ -298,7 +298,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
@@ -699,7 +699,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

@@ -9862,8 +9862,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}
 
@@ -10759,11 +10759,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>
@@ -15719,8 +15719,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>;
 
   template<class T, class Container>
     constexpr bool enable_nonlocking_formatter_optimization<queue<T, Container>> = false;
@@ -15737,8 +15737,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>;
 
   template<class T, class Container, class Compare>
     constexpr bool
@@ -16652,8 +16652,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>;
 
   template<class T, class Container>
     constexpr bool enable_nonlocking_formatter_optimization<stack<T, Container>> = false;
@@ -20335,15 +20335,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

@@ -740,9 +740,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;
@@ -1052,9 +1052,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}
 
@@ -1225,8 +1225,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}