LWG3544 format-arg-store::args is unintentionally not exposition-only

Author: jensmaurer

source/utilities.tex

@@ -19125,11 +19125,11 @@
     decltype(auto) visit_format_arg(Visitor&& vis, basic_format_arg<Context> arg);
 
   // \ref{format.arg.store}, class template \exposid{format-arg-store}
-  template<class Context, class... Args> struct @\placeholder{format-arg-store}@;      // \expos
+  template<class Context, class... Args> class @\placeholder{format-arg-store}@;       // \expos
 
   template<class Context = format_context, class... Args>
     @\placeholder{format-arg-store}@<Context, Args...>
-      make_format_args(const Args&... args);
+      make_format_args(const Args&... fmt_args);
   template<class... Args>
     @\placeholder{format-arg-store}@<wformat_context, Args...>
       make_wformat_args(const Args&... args);
@@ -20901,8 +20901,8 @@
 \begin{codeblock}
 namespace std {
   template<class Context, class... Args>
-  struct @\placeholder{format-arg-store}@ {      // \expos
-    array<basic_format_arg<Context>, sizeof...(Args)> args;
+  class @\exposid{format-arg-store}@ {                                      // \expos
+    array<basic_format_arg<Context>, sizeof...(Args)> @\exposid{args}@;     // \expos
   };
 }
 \end{codeblock}
@@ -20913,7 +20913,7 @@
 \indexlibraryglobal{make_format_args}%
 \begin{itemdecl}
 template<class Context = format_context, class... Args>
-  @\placeholder{format-arg-store}@<Context, Args...> make_format_args(const Args&... args);
+  @\placeholder{format-arg-store}@<Context, Args...> make_format_args(const Args&... fmt_args);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -20926,7 +20926,9 @@
 
 \pnum
 \returns
-\tcode{\{basic_format_arg<Context>(args)...\}}.
+An object of type \tcode{\exposid{format-arg-store}<Context, Args...>}
+whose \exposid{args} data member is initialized with
+\tcode{\{basic_format_arg<Context>(fmt_args)...\}}.
 \end{itemdescr}
 
 \indexlibraryglobal{make_wformat_args}%