basic_format_arg/op_constructorの説明を追加

Author: tetsurom

reference/format/basic_format_arg.md

@@ -7,7 +7,31 @@
 ```cpp
 namespace std {
   template<class Context>
-  class basic_format_arg;
+  class basic_format_arg {
+  public:
+    class handle;
+
+  private:
+    using char_type = typename Context::char_type;                              // exposition only
+
+    variant<monostate, bool, char_type,
+            int, unsigned int, long long int, unsigned long long int,
+            float, double, long double,
+            const char_type*, basic_string_view<char_type>,
+            const void*, handle> value;                                         // exposition only
+
+    template<class T> explicit basic_format_arg(T& v) noexcept;                 // exposition only
+
+  public:
+    basic_format_arg() noexcept;
+
+    explicit operator bool() const noexcept;
+
+    template<class Visitor>
+      decltype(auto) visit(this basic_format_arg arg, Visitor&& vis);
+    template<class R, class Visitor>
+      R visit(this basic_format_arg arg, Visitor&& vis);
+  };
 }
 ```
 
@@ -26,7 +50,7 @@ namespace std {
 
 | 名前            | 説明           | 対応バージョン |
 |-----------------|----------------|----------------|
-| `(constructor)` | コンストラクタ | C++20          |
+| [`(constructor)`](basic_format_arg/op_constructor.md) | コンストラクタ | C++20          |
 
 ### 変換演算子
 

reference/format/basic_format_arg/op_constructor.md

@@ -0,0 +1,87 @@
+# コンストラクタ
+
+* format[meta header]
+* function[meta id-type]
+* std[meta namespace]
+* basic_format_arg[meta class]
+* cpp20[meta cpp]
+
+```cpp
+namespace std {
+  template<class Context>
+  class basic_format_arg {
+  private:
+    using char_type = typename Context::char_type;                              // exposition only
+
+    variant<monostate, bool, char_type,
+            int, unsigned int, long long int, unsigned long long int,
+            float, double, long double,
+            const char_type*, basic_string_view<char_type>,
+            const void*, handle> value;                                         // exposition only
+
+    template<class T> explicit basic_format_arg(T& v) noexcept;                 // (2) exposition only
+
+  public:
+    basic_format_arg() noexcept; // (1)
+  };
+}
+```
+* varialt[link /reference/varialt/varialt.md]
+* monostate[link /reference/varialt/monostate.md]
+* basic_string_view[link /reference/string_view/basic_string_view.md]
+* handle[link handle.md]
+* basic_format_arg[italic]
+
+## 概要
+
+* (1): 空の`basic_format_arg`を構築する
+* (2): (説明専用)[`make_format_args`](../make_format_args.md)の内部で使用され、引数から`basic_format_args`を構築する。
+
+## テンプレートパラメーター制約
+
+- (2):
+    - `T`はフォーマットできる型であること
+
+## 事前条件
+
+- (2): もし `decay_t<T>` が `char_type*` または `const char_type*` である場合、 `static_cast<const char_type*>(v)` はヌル終端された `char_type` の配列を指すこと。
+
+## 事後条件
+
+- (1): `!(*this)`
+
+## 例外
+
+投げない。
+
+## 効果
+
+- (1): `value`を[`monostate`](/reference/varialt/monostate.md)で初期化する。
+
+- (2): `TD`を`remove_const<T>`として、以下の順に`value`を初期化する。
+    - `TD`が`bool`なら、`v`で初期化
+    - `TD`が`char`かつ`char_type`が`wchar_t`なら、`value`を`static_cast<wchar_t>(v)`で初期化
+    - `TD`が`char`かつ`char_type`が`wchar_t`なら、`value`を`static_cast<wchar_t>(static_cast<unsigned char>(v))`で初期化
+    - `TD`が符号つき整数型かつ`sizeof(TD) <= sizeof(int)`なら、`value`を`static_cast<int>(v)`で初期化
+    - `TD`が符号なし整数型かつ`sizeof(TD) <= sizeof(unsigned int)`なら、`value`を`static_cast<unsigned int>(v)`で初期化
+    - `TD`が符号つき整数型かつ`sizeof(TD) <= sizeof(long long int)`なら、`value`を`static_cast<long long int>(v)`で初期化
+    - `TD`が符号なし整数型かつ`sizeof(TD) <= sizeof(unsigned long long int)`なら、`value`を`static_cast<unsigned long long int>(v)`で初期化
+    - `TD`が浮動小数点数なら、`v`で初期化
+    - `TD`が`basic_string_view`または`basic_string`の特殊化で、`TD::value_type`が`char_type`と等しければ、`value`を`basic_string_view<char_type>(v.data(), v.size())`で初期化
+    - `decay_t<T>`が`char_type*`または `const char_type*` なら、`value`を`static_cast<const char_type*>(v)`で初期化
+    - `is_void_v<remove_pointer_t<TD>>`が`true`、または`is_null_pointer_v<TD>`が`true`なら、`value`を`static_cast<const void*>(v)`で初期化
+    - それ以外なら、`value`を`handle(v)`で初期化
+
+## バージョン
+### 言語
+- C++20
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+## 参照
+
+* [P0645R10 Text Formatting](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0645r10.html)

reference/format/make_format_args.md

@@ -47,92 +47,21 @@ string format(string_view fmt, const Args&... args)
 ## 事前条件
 すべての引数の型`Ti`について`Context::formatter_type<Ti>`が`Formatter`要件を満たすこと。
 
-## 効果
-
-(2)は次と等しい。
-
-```cpp
-return make_format_args<wformat_context>(args...);
-```
-* wformat_context[link /reference/format/basic_format_context.md]
+## 戻り値
 
-(1)は次と等しい。
+### (1)
 
 ```cpp
 return {basic_format_arg<Context>(args)...}
 ```
-* basic_format_arg[link /reference/format/basic_format_arg.md]
+* basic_format_arg[link /reference/format/basic_format_arg/op_constructor.md]
 
-ただし、便宜上、[`basic_format_arg`](/reference/format/basic_format_arg.md)は次のprivateメンバを持つとする。
-(これらのprivateメンバは規格に含まれない)
+### (2)
 
 ```cpp
-namespace std {
-  template<class Context>
-  class basic_format_arg {
-  public:
-    class handle;
-
-  private:
-    using charT = typename Context::char_type;
-
-    variant<monostate, bool, charT,
-            int, unsigned int, long long int, unsigned long long int,
-            float, double, long double,
-            const charT*, basic_string_view<charT>,
-            const void*, handle> value;
-
-    template<typename T> explicit basic_format_arg(const T& v) noexcept; // (a)
-    explicit basic_format_arg(float n) noexcept;                         // (b)
-    explicit basic_format_arg(double n) noexcept;                        // (c)
-    explicit basic_format_arg(long double n) noexcept;                   // (d)
-    explicit basic_format_arg(const charT* s);                           // (e)
-
-    template<class traits>
-      explicit basic_format_arg(
-        basic_string_view<charT, traits> s) noexcept;                    // (f)
-
-    template<class traits, class Allocator>
-      explicit basic_format_arg(
-        const basic_string<charT, traits, Allocator>& s) noexcept;       // (g)
-
-    explicit basic_format_arg(nullptr_t) noexcept;                       // (h)
-
-    template<class T>
-      explicit basic_format_arg(const T* p) noexcept;                    // (i)
-
-    template<class Ctx, class... Args>
-      friend format_arg_store<Ctx, Args...>
-        make_format_args(const Args&... args);
-  };
-}
+return make_format_args<wformat_context>(args...);
 ```
-* variant[link /reference/variant/variant.md]
-* monostate[link /reference/variant/monostate.md]
-* handle[link /reference/format/basic_format_arg/handle.md]
-* basic_string[link /reference/string/basic_string.md]
-* basic_string_view[link /reference/string_view/basic_string_view.md]
-* basic_format_arg[link /reference/format/basic_format_arg.md]
-
-ここで、それぞれの効果は次と等しい。
-
-* (a):
-    * `T`が`bool`または`charT`なら、`value`を`v`で初期化
-    * または、`T`が`char`かつ`charT`が`wchar_t`なら、`value`を`static_cast<wchar_t>(v)`で初期化
-    * または、`T`が符号つき整数型かつ`sizeof(T) <= sizeof(int)`なら、`value`を`static_cast<int>(v)`で初期化
-    * または、`T`が符号なし整数型かつ`sizeof(T) <= sizeof(unsigned int)`なら、`value`を`static_cast<unsigned int>(v)`で初期化
-    * または、`T`が符号つき整数型かつ`sizeof(T) <= sizeof(long long int)`なら、`value`を`static_cast<long long int>(v)`で初期化
-    * または、`T`が符号なし整数型かつ`sizeof(T) <= sizeof(unsigned long long int)`なら、`value`を`static_cast<unsigned long long int>(v)`で初期化
-    * または、`value`を`handle(v)`で初期化
-* (b),(c),(d): `value`を`n`で初期化
-* (e): `value`を`s`で初期化 (`s`は有効なC文字列であること)
-* (f): `value`を`s`で初期化
-* (g): `value`を`basic_string_view<charT>(s.data(), s.size())`で初期化
-* (h): `value`を`static_cast<const void*>(nullptr)`で初期化
-* (i): `value`を`p`で初期化 (`is_void_v<T>`が`true`であること)
-
-## 戻り値
-`{basic_format_arg<Context>(args)...}`
+* wformat_context[link /reference/format/basic_format_context.md]
 
 ## 実装例
 ```cpp
@@ -150,7 +79,7 @@ namespace std {
   }
 }
 ```
-* basic_format_arg[link /reference/format/basic_format_arg.md]
+* basic_format_arg[link /reference/format/basic_format_arg/op_constructor.md]
 * wformat_context[link /reference/format/basic_format_context.md]
 
 ## バージョン