add std::start_lifetime_as() and std::start_lifetime_as_array(). (#1409)

Author: suomesta

lang/cpp20/implicit_creation_of_objects_for_low-level_object_manipulation.md

@@ -403,8 +403,8 @@ unique_ptr<char[]> Stream::read() {
 
 ## <a id="relative-page" href="#relative-page">関連項目</a>
 
-- [`start_lifetime_as()`](/reference/memory/start_lifetime_as.md.nolink)
-- [`start_lifetime_as_array()`](/reference/memory/start_lifetime_as_array.md.nolink)
+- [`start_lifetime_as()`](/reference/memory/start_lifetime_as.md)
+- [`start_lifetime_as_array()`](/reference/memory/start_lifetime_as_array.md)
 - [`is_implicit_lifetime`](/reference/type_traits/is_implicit_lifetime.md)
 
 ## 参照

lang/cpp23.md

@@ -201,7 +201,7 @@ C++23とは、2023年中に改訂され、ISO/IEC 14882:2024で標準規格化
 ### メモリ
 - [`<memory>`](/reference/memory.md)に、レガシーC関数からスマートポインタへの直接出力をサポートする、スマートポインタアダプタ[`std::out_ptr`](/reference/memory/out_ptr.md)と[`std::inout_ptr`](/reference/memory/inout_ptr.md)を追加
 - [`std::unique_ptr`](/reference/memory/unique_ptr.md)クラスを`constexpr`に対応
-- [`<memory>`](/reference/memory.md)に、オブジェクトの生存期間を開始することを明示する関数として、[`std::start_lifetime_as()`](/reference/memory/start_lifetime_as.md.nolink)と[`std::start_lifetime_as_array()`](/reference/memory/start_lifetime_as_array.md.nolink)を追加
+- [`<memory>`](/reference/memory.md)に、オブジェクトの生存期間を開始することを明示する関数として、[`std::start_lifetime_as()`](/reference/memory/start_lifetime_as.md)と[`std::start_lifetime_as_array()`](/reference/memory/start_lifetime_as_array.md)を追加
 - [`<bit>`](/reference/bit.md)に、値のバイト入れ替え (エンディアン変換) を行う[`std::byteswap()`](/reference/bit/byteswap.md)関数を追加
 
 

lang/cpp23/feature_test_macros.md

@@ -89,7 +89,7 @@
 |`__cpp_lib_shift`|`202202L`|[`std::ranges::shift_left()`](/reference/algorithm/ranges_shift_left.md)と[`std::ranges::shift_right()`](/reference/algorithm/ranges_shift_right.md)の追加|[`<algorithm>`](/reference/algorithm.md)|
 |`__cpp_lib_spanstream`|`202106L`|`<spanstream>`の追加|`<spanstream>`|
 |`__cpp_lib_stacktrace`|`202011L`|[`<stacktrace>`](/reference/stacktrace.md)の追加|[`<stacktrace>`](/reference/stacktrace.md)|
-|`__cpp_lib_start_lifetime_as`|`202207L`|`std::start_lifetime_as()`の追加|[`<memory>`](/reference/memory.md)|
+|`__cpp_lib_start_lifetime_as`|`202207L`|[`std::start_lifetime_as()`](/reference/memory/start_lifetime_as.md)の追加|[`<memory>`](/reference/memory.md)|
 |`__cpp_lib_stdatomic_h`|`202011L`|[`<stdatomic.h>`](/reference/stdatomic.h.md)の追加|[`<stdatomic.h>`](/reference/stdatomic.h.md)|
 |`__cpp_lib_string_contains`|`202011L`|[`std::basic_string::contains()`](/reference/string/basic_string/contains.md)と[`std::basic_string_view::contains()`](/reference/string_view/basic_string_view/contains.md)の追加|[`<string>`](/reference/string.md)<br/>[`<string_view>`](/reference/string_view.md)|
 |`__cpp_lib_string_resize_and_overwrite`|`202110L`|[`std::basic_string::resize_and_overwrite()`](/reference/string/basic_string/resize_and_overwrite.md)の追加|[`<string>`](/reference/string.md)|

reference/memory.md

@@ -131,6 +131,8 @@
 | [`align`](memory/align.md)                   | アライメント調整された領域を得る(function)      | C++11 |
 | [`assume_aligned`](memory/assume_aligned.md) | コンパイラへアライメントのヒントを与える(function template) | C++20 |
 | [`is_sufficiently_aligned`](memory/is_sufficiently_aligned.md) | ポインタのアライメントを判定する(function template) | C++26 |
+| [`start_lifetime_as`](memory/start_lifetime_as.md) | オブジェクトの生存期間を開始することを明示する(function template) | C++23 |
+| [`start_lifetime_as_array`](memory/start_lifetime_as_array.md) | 配列オブジェクトの生存期間を開始することを明示する(function template) | C++23 |
 
 
 ## ガベージコレクション支援（C++23で削除）

reference/memory/start_lifetime_as.md

@@ -0,0 +1,85 @@
+# start_lifetime_as
+* memory[meta header]
+* function template[meta id-type]
+* std[meta namespace]
+* cpp23[meta cpp]
+
+```cpp
+namespace std {
+template <class T>
+T* start_lifetime_as(void* p) noexcept; // (1)
+
+template <class T>
+const T* start_lifetime_as(const void* p) noexcept; // (2)
+
+template <class T>
+volatile T* start_lifetime_as(volatile void* p) noexcept; // (3)
+
+template <class T>
+const volatile T* start_lifetime_as(const volatile void* p) noexcept; // (4)
+}
+```
+
+## 概要
+オブジェクトの生存期間を開始することを明示する。
+
+
+## 要件
+`T` が *implicit-lifetime types* であること。また、`T` が 完全型であること。
+
+
+## 事前条件
+- `[p, (char*)p + sizeof(T))` の範囲が `p` を通じてアクセス可能な領域であること。
+- `p` が型 `T` のアライメントを満たすこと。
+
+
+## 効果
+型 `T` のオブジェクト（アドレスは `p`）が暗黙的に構築される。`T` 内にネストされているオブジェクトも暗黙的に構築される。
+
+
+## 戻り値
+暗黙的に構築された型 `T` のオブジェクトのポインタを返す。ポインタの値は `p`。
+
+
+## 例外
+投げない。
+
+
+## 例
+```cpp example
+#include <cstdint>
+#include <memory>
+
+int main() {
+  float f = 3.14f;
+
+  std::uint32_t* n = std::start_lifetime_as<std::uint32_t>(&f);
+
+  std::cout << *n << std::endl;
+}
+```
+* std::start_lifetime_as[color ff0000]
+
+### 出力
+```
+1078523331
+```
+
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`std::start_lifetime_as_array`](/reference/memory/start_lifetime_as_array.md)
+
+
+## 参照
+- [P2590R2: Explicit lifetime management](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2590r2.pdf)
+- [P2679R2: Fixing std::start_lifetime_as and std::start_lifetime_as_array](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2679r2.pdf)

reference/memory/start_lifetime_as_array.md

@@ -0,0 +1,86 @@
+# start_lifetime_as_array
+* memory[meta header]
+* function template[meta id-type]
+* std[meta namespace]
+* cpp23[meta cpp]
+
+```cpp
+namespace std {
+template <class T>
+T* start_lifetime_as_array(void* p, size_t n) noexcept; // (1)
+
+template <class T>
+const T* start_lifetime_as_array(const void* p, size_t n) noexcept; // (2)
+
+template <class T>
+volatile T* start_lifetime_as_array(volatile void* p, size_t n) noexcept; // (3)
+
+template <class T>
+const volatile T* start_lifetime_as_array(const volatile void* p, size_t n) noexcept; // (4)
+}
+```
+
+## 概要
+配列オブジェクトの生存期間を開始することを明示する。
+
+
+## 要件
+`T` が完全型であること。
+
+
+## 事前条件
+- `p` が、型 `T` の配列のアライメントを満たすこと。または、`p` がnullであること。
+- `n <= size_t(-1) / sizeof(T)` が真であること。
+- `n > 0` が真ならば、`[(char*)p, (char*)p + (n * sizeof(T)))` の範囲が `p` を通じてアクセス可能な領域であること。
+
+
+## 効果
+`n > 0` が真ならば、サイズ `n` の `T` の配列の型を `U` とすると、[`start_lifetime_as`](/reference/memory/start_lifetime_as.md)`<U>(p)` と同じ効果。そうでなければ、何もしない。
+
+
+## 戻り値
+`n > 0` が真ならば、暗黙的に構築されたサイズ `n` の `T` の配列の、最初の要素へのポインタを返す。そうでなければ、`p`。
+
+
+## 例外
+投げない。
+
+
+## 例
+```cpp example
+#include <cstdint>
+#include <memory>
+
+int main() {
+  float f = 3.14f;
+
+  std::uint16_t* n = std::start_lifetime_as_array<std::uint16_t>(&f, 2);
+
+  std::cout << n[0] << " " << n[1] << std::endl;
+}
+```
+* std::start_lifetime_as_array[color ff0000]
+
+### 出力
+```
+62915 16456
+```
+
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`std::start_lifetime_as`](/reference/memory/start_lifetime_as.md)
+
+
+## 参照
+- [P2590R2: Explicit lifetime management](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2590r2.pdf)
+- [P2679R2: Fixing std::start_lifetime_as and std::start_lifetime_as_array](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2679r2.pdf)