<memory> : allocate_at_leastの仕様に取り込まれた文面が提案文書とちがっていたのを修正 #1053

Author: faithandbrave

lang/cpp23.md

@@ -130,7 +130,7 @@ C++23とは、2023年中に改訂される予定の、C++バージョンの通
 - `auto v = std::vector(v, alloc);`のようなアロケータ引数をともなう場合のクラステンプレートのテンプレート引数推論が動作しなかったため、各コンテナクラスのコンストラクタにおけるアロケータパラメータの型を`const Allocator&`から`const` [`std::type_identity_t`](/reference/type_traits/type_identity.md)`<Allocator>&`に修正
 - N要素のメモリアロケート時にアロケータが実際にどれくらいのメモリを確保したかを得られるインタフェースとして、
     - [`std::allocator`](/reference/memory/allocator.md)クラスに、[`allocate_at_least()`](/reference/memory/allocator/allocate_at_least.md)メンバ関数を追加
-    - [`std::allocate_at_least()`](/reference/memory/allocate_at_least.md)関数を追加
+    - [`std::allocator_traits`](/reference/memory/allocator_traits.md)クラスに、[`allocate_at_least()`](/reference/memory/allocator_traits/allocate_at_least.md)関数を追加
 - [`std::pair`](/reference/utility/pair.md)の転送コンストラクタにデフォルトテンプレート引数を追加することで、`{}`のような型推論ができない引数を渡した場合でも完全転送が行われるよう修正
 - 順序付き連想コンテナの要素削除の処理について、一時オブジェクトのコストを抑える拡張が行われた
     - [`std::map::erase()`](/reference/map/map/erase.md)

reference/memory.md

@@ -14,8 +14,7 @@
 |--------------------------------------------------|--------------------------------------------|-------|
 | [`allocator`](memory/allocator.md)             | メモリアロケータの標準実装(class template) | |
 | [`allocator_traits`](memory/allocator_traits.md) | アロケータクラスへの間接的なアクセス(class template) | C++11 |
-| [`allocation_result`](memory/allocation_result.md) | [`allocate_at_least()`](memory/allocate_at_least.md)関数の戻り値型 | C++23 |
-| [`allocate_at_least`](memory/allocate_at_least.md) | 指定した要素数以上のメモリを確保する | C++23 |
+| [`allocation_result`](memory/allocation_result.md) | [`allocate_at_least()`](memory/allocator/allocate_at_least.md)関数の戻り値型 | C++23 |
 | [`allocator_arg_t`](memory/allocator_arg_t.md) | アロケータを引数として渡す際の、オーバーロード解決のためのタグ(class) | C++11 |
 | [`allocator_arg`](memory/allocator_arg_t.md) | アロケータを引数として渡す際の、オーバーロード解決のためのタグ(constant value) | C++11 |
 | [`uses_allocator`](memory/uses_allocator.md) | 型`T`がアロケータを使用するか調べる | C++11 |

reference/memory/allocation_result.md

@@ -6,16 +6,16 @@
 
 ```cpp
 namespace std {
-  template <class Pointer>
+  template <class Pointer, class SizeType = std::size_t>
   struct allocation_result {
     Pointer ptr;
-    std::size_t count;
+    SizeType count;
   };
 }
 ```
 
 ## 概要
-`std::allocation_result`は、[`std::allocate_at_least()`](allocate_at_least.md)関数の戻り値型であり、以下の要素をもつ：
+`std::allocation_result`は、[`allocate_at_least()`](/reference/memory/allocator/allocate_at_least.md)関数の戻り値型であり、以下の要素をもつ：
 
 | 変数名  | 説明 |
 |---------|------|
@@ -34,7 +34,7 @@ namespace std {
 
 
 ## 関連項目
-- [`std::allocate_at_least()`](allocate_at_least.md)
+- [`std::allocator_traits`](allocator_traits.md)`::`[`allocate_at_least()`](allocator_traits/allocate_at_least.md)
 - [`std::allocator`](allocator.md)`::`[`allocate_at_least()`](allocator/allocate_at_least.md)
 
 

reference/memory/allocator/allocate_at_least.md

@@ -79,7 +79,7 @@ allocation count:4 bytes:16
 
 ## 関連項目
 - [`std::allocation_result`](/reference/memory/allocation_result.md)
-- [`std::allocate_at_least()`](/reference/memory/allocate_at_least.md)
+- [`std::allocator_traits`](/reference/memory/allocator_traits.md)`::`[`allocate_at_least()`](/reference/memory/allocator_traits/allocate_at_least.md)
 
 
 ## 参照

reference/memory/allocator_traits.md

@@ -26,6 +26,7 @@ namespace std {
 | 名前 | 説明 | 対応バージョン |
 |--------------------------------------------------|----------------------------------------------|-------|
 | [`allocate`](allocator_traits/allocate.md)     | メモリを確保する                             | C++11 |
+| [`allocate_at_least`](allocator_traits/allocate_at_least.md) | 指定した要素数以上のメモリを確保する | C++23 |
 | [`deallocate`](allocator_traits/deallocate.md) | メモリを解放する                             | C++11 |
 | [`max_size`](allocator_traits/max_size.md)     | 一度に確保可能なメモリの最大サイズを取得する | C++11 |
 | [`construct`](allocator_traits/construct.md)   | 引数を元にインスタンスを構築する             | C++11 |

reference/memory/allocate_at_least.md renamed to reference/memory/allocator_traits/allocate_at_least.md

@@ -1,19 +1,16 @@
 # alloacte_at_least
 * memory[meta header]
 * std[meta namespace]
+* allocator_traits[meta class]
 * function template[meta id-type]
 * cpp23[meta cpp]
 
 ```cpp
-namespace std {
-  template <class Allocator>
-  [[nodiscard] constexpr
-  allocation_result<typename allocator_traits<Allocator>::pointer>
-    allocate_at_least(Allocator& a, size_t n); // (1) C++23
-}
+[[nodiscard] static constexpr
+allocation_result<pointer, size_type>
+  allocate_at_least(Alloc& a, size_type n); // (1) C++23
 ```
 * allocation_result[link /reference/memory/allocation_result.md]
-* allocator_traits[link /reference/memory/allocator_traits.md]
 
 ## 概要
 指定した要素数以上のメモリを確保する。
@@ -32,16 +29,17 @@ namespace std {
 
 int main() {
   std::allocator<int> alloc;
+  using traits = std::allocator_traits<std::allocator<int>>;
 
-  std::allocation_result<int*> r = std::allocate_at_least(alloc, 3);
+  std::allocation_result<int*> r = traits::allocate_at_least(alloc, 3);
   std::cout << "allocation count:" << r.count
             << " bytes:" << sizeof(int) * r.count
             << std::endl;
 
   alloc.deallocate(r.ptr, r.count);
 }
 ```
-* std::allocate_at_least[color ff0000]
+* allocate_at_least[color ff0000]
 * std::allocator[link /reference/memory/allocator.md]
 * std::allocation_result[link /reference/memory/allocation_result.md]
 * alloc.deallocate[link /reference/memory/allocator/deallocate.md]
@@ -63,7 +61,7 @@ allocation count:4 bytes:16
 
 ## 関連項目
 - [`std::allocation_result`](/reference/memory/allocation_result.md)
-- [`std::allocator`](allocator.md)`::`[`allocate_at_least()`](allocator/allocate_at_least.md)
+- [`std::allocator`](/reference/memory/allocator.md)`::`[`allocate_at_least()`](/reference/memory/allocator/allocate_at_least.md)
 
 
 ## 参照