Merge branch 'master' of https://github.com/cpprefjp/site

cpprefjp · Jan 30, 2025 · 8fba13b · 8fba13b
2 parents 9ee90cb + 3025ea8
commit 8fba13b
Show file tree

Hide file tree

Showing 5 changed files with 79 additions and 12 deletions.
diff --git a/lang/cpp14/digit_separators.md b/lang/cpp14/digit_separators.md
@@ -33,8 +33,8 @@ int binary_value = 0b1000'1111;
 - 桁区切り文字(digit separators)は、数値リテラルの読みやすさを向上させるため導入された、数値リテラルの間に挿入することを許可された特殊な文字である
 - 桁区切り文字には、シングルクォーテーション(`'`)を使用する
 - 桁区切り文字は、整数リテラルと浮動小数点数リテラルに対して使用できる
-- 桁区切り文字は、リテラルの先頭に入力することはできない
-- 浮動小数点数リテラルでは、小数部にも桁区切り文字を入力できる
+- 桁区切り文字は、数字並びの先頭や末尾に配置したり、2個以上を連続して配置することはできない
+- 浮動小数点数リテラルでは、小数部や指数部にも桁区切り文字を配置できる
 
 
 ## 例
@@ -50,7 +50,7 @@ int main()
   int octal_value = 0123'456;
   std::cout << octal_value << std::endl;
 
-  int hex_value = 0x123'456;
+  int hex_value = 0x12'34'56;
   std::cout << hex_value << std::endl;
 
   int binary_value = 0b1010'1010;

diff --git a/lang/cpp20/conditionally_trivial_special_member_functions.md b/lang/cpp20/conditionally_trivial_special_member_functions.md
@@ -12,6 +12,7 @@
 ```cpp
 template<typename T>
 struct wrap {
+  T t;
 
   // 1. 制約されたdefaultなコピーコンストラクタ
   wrap(const wrap&) requires std::is_trivially_copy_constructible_v<T> = default;
@@ -23,14 +24,43 @@ struct wrap {
 };
 ```
 
-`T`が`std::is_trivially_copy_constructible`を満たす場合、1の宣言が選択され`wrap<T>`のコピーコンストラクタは`default`実装される（2のコンストラクタが選択されることは無い）。`T`が`std::is_trivially_copy_constructible`を満たさない場合、2の宣言が選択され`wrap<T>`のコピーコンストラクタはユーザー定義される。
+`T`が`std::is_trivially_copy_constructible`を満たす場合、1の宣言が選択され`wrap<T>`のコピーコンストラクタは`default`実装される（2のコンストラクタが選択されることは無い）。`T`が`std::is_trivially_copy_constructible`を満たさない場合、2の宣言が選択され`wrap<T>`のコピーコンストラクタはユーザー定義される（1のコンストラクタが選択されることは無い）。
 
-特に、`T`がトリビアルコピー可能である場合にこの仕組みによって1のコンストラクタが選択されれば、（他の条件を満たしているものとして）`wrap<T>`もまたトリビアルコピー可能となる。
+特に、`T`がトリビアルコピー可能である場合にこの仕組みによって1のコンストラクタが選択されれば、（他の条件を満たしているものとして）`wrap<T>`もまたトリビアルコピー可能となる。トリビアル性に関する他の性質も同様に伝播することが可能となる。
 
 ## 仕様
 
-(執筆中)
+次のいずれかの場合、2つの特殊メンバ関数は同種となる
+
+1. 両方ともデフォルトコンストラクタ
+2. 両方ともコピー/ムーブコンストラクタであり、最初の引数型が同じ
+3. 両方ともコピー/ムーブ代入演算子であり、最初の引数型と参照・CV修飾が同じ
+
+ある特殊メンバ関数が次の全てを満たす場合、それは資格のある（*eligible*）特殊メンバ関数となる
+
+1. `delete`されていない
+2. 関連制約がある場合（コンセプト機能により制約がなされている場合）、それが満たされている
+3. 同種の特殊メンバ関数で、より制約されているものがない
+
+次に、宣言されている全てのデストラクタはデストラクタ候補（*prospective destructor*）として扱われるようになる。そして、クラスの定義の最後（`};`が出現した場所と思って差し支えない）において、全てのデストラクタ候補の間で空の引数リストで呼び出す形でオーバーロード解決を実行し、そのクラスのデストラクタを選択する。
+
+こうして選ばれたデストラクタの事を選択されたデストラクタ（*selected destructor*）とも呼ぶが、この選択されたデストラクタだけがそのクラスのデストラクタとなる（規格書中の他のすべての箇所で単にデストラクタ（*destructor*）と呼ばれるものは、この選択されたデストラクタの事を指す）。なお、何らかの理由でオーバーロード解決が失敗した場合、プログラムは不適格となる。
+
+そして、あるクラスは次の条件を全て満たす場合にトリビアルコピー可能である
 
+1. 少なくとも1つの、資格のあるコピーコンストラクタ、ムーブコンストラクタ、コピー代入演算子、またはムーブ代入演算子を持つ
+2. それら資格のあるコピーコンストラクタ、ムーブコンストラクタ、コピー代入演算子、ムーブ代入演算子、はそれぞれすべてトリビアルである
+3. トリビアルで削除されていないデストラクタ（選択されたデストラクタ）を持つ
+
+また、あるクラスは次の条件をすべて満たす場合にトリビアルである
+
+1. トリビアルコピー可能である
+2. 1つ以上の資格のあるデフォルトコンストラクタを持つ
+3. それらのデフォルトコンストラクタは全てトリビアルである
+
+`default`宣言の扱いについては、選択されたデストラクタ以外の`default`指定されたデストラクタ候補は`delete`定義され、デストラクタ候補でも資格があるわけでもない`default`指定された特殊メンバ関数は`delete`定義される。
+
+コンセプトによって制約された特殊メンバ関数があるとき、どれが使用されるか（オーバーロード解決）については通常の制約された関数と同じルールに従って選択される。そして、そのような特殊メンバ関数を持つ型のトリビアル性に関する性質については、特殊メンバ関数のオーバーロードのうち資格があるもの（デストラクタの場合は選択されたもの）によって決定される。
 
 ## 例
 
@@ -57,13 +87,13 @@ int main()
 
 ## この機能が必要になった背景・経緯
 
-(執筆中)
-
+例にあるように、C++17まで、`std::optional`のようにテンプレートパラメータで指定された型の値を保持するラッパクラス型において、その指定された型のトリビアル性を伝播するためには非常に複雑な実装を必要としていた。
 
-## 検討されたほかの選択肢
+C++20のコンセプトの導入によって、コンセプトによって特殊メンバ関数の宣言を選択することができるようになっていたものの、トリビアル性（特にトリビアルコピー可能性）の規格上の定義がそれを考慮したものになっておらず、コンセプトによる特殊メンバ関数の選択は仕様として完全なものではなかった。
 
-(執筆中)
+この機能はそれを補うための仕組みであり、特殊メンバ関数に対するコンセプト制約自体は最初のコンセプト導入時から可能になっていたため、この機能は厳密にいえば仕様の調整のみである。
 
+この機能は、C++23の`std::expceted`の実装で活用されるだろう。
 
 ## ## <a id="relative-page" href="#relative-page">関連項目</a>
 
@@ -73,3 +103,4 @@ int main()
 
 - [P0848R0 Conditionally Trivial Special Member Functions](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0848r0.html)
 - [P0848R3 Conditionally Trivial Special Member Functions](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0848r3.html)
+- [What is a "prospective destructor" in C++20? - stackoverflow](https://stackoverflow.com/questions/66055641/what-is-a-prospective-destructor-in-c20)
diff --git a/lang/cpp26.md b/lang/cpp26.md
@@ -98,7 +98,7 @@ C++26とは、2026年中に改訂される予定の、C++バージョンの通
 ## ライブラリ更新の概要
 ### 新ライブラリ
 - 文字列エンコーディングを識別するライブラリとして、[`<text_encoding>`](/reference/text_encoding.md.nolink)を追加
-- 並行処理におけるデータの参照・更新を行うRCU (Read Copy Update) のライブラリとして、[`<rcu>`](/reference/rcu.md.nolink)を追加
+- 並行処理におけるデータの参照・更新を行うRCU (Read Copy Update) のライブラリとして、[`<rcu>`](/reference/rcu.md)を追加
 - 並行処理において参照中のデータが更新されないよう保護するハザードポインタのライブラリとして、[`<hazard_pointer>`](/reference/hazard_pointer.md.nolink)を追加
 - データ並列ライブラリとして、[`<simd>`](/reference/simd.md.nolink)を追加
 - デバッグサポートのライブラリとして[`<debugging>`](/reference/debugging.md)を追加

diff --git a/reference.md b/reference.md
@@ -208,7 +208,7 @@
 | [`<latch>`](/reference/latch.md)                           | ラッチ同期            | C++20          |
 | [`<barrier>`](/reference/barrier.md)                       | バリア同期            | C++20          |
 | [`<future>`](/reference/future.md)                         | Future                | C++11          |
-| [`<rcu>`](/reference/rcu.md.nolink)                               | データの参照・更新    | C++26          |
+| [`<rcu>`](/reference/rcu.md)                               | データの参照・更新    | C++26          |
 | [`<hazard_pointer>`](/reference/hazard_pointer.md.nolink)         | ハザードポインタ      | C++26          |
 | [`<simd>`](/reference/simd.md.nolink) | データ並列 | C++26 |
 

diff --git a/reference/rcu.md b/reference/rcu.md
@@ -0,0 +1,36 @@
+# rcu
+* rcu[meta header]
+* cpp26[meta cpp]
+
+`<rcu>`ヘッダでは、並行なデータの参照・更新を実現する[Read-Copy Update(RCU)機構](https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%89%E3%83%BB%E3%82%B3%E3%83%94%E3%83%BC%E3%83%BB%E3%82%A2%E3%83%83%E3%83%97%E3%83%87%E3%83%BC%E3%83%88)のための部品を定義する。
+
+RCU同期メカニズムは、複数スレッド間で共有されるデータが高頻度で参照され、稀に更新されるようなユースケースに適している。RCU機構はスレッド間の排他制御を行わず、更新操作により不要となった古いデータを安全に解放するタイミング制御を行う。
+
+
+| 名前            | 説明           | 対応バージョン |
+|-----------------|----------------|----------------|
+| [`rcu_obj_base`](rcu/rcu_obj_base.md.nolink) | RCU対象オブジェクトの基底クラス(class template) | C++26 |
+| [`rcu_domain`](rcu/rcu_domain.md.nolink) | RCUドメイン(class) | C++26 |
+| [`rcu_default_domain`](rcu/rcu_default_domain.md.nolink) | デフォルトのRCUドメイン取得(function) | C++26 |
+| [`rcu_synchronize`](rcu/rcu_synchronize.md.nolink) | RCUドメインのアンロック完了を待機(function) | C++26 |
+| [`rcu_barrier`](rcu/rcu_barrier.md.nolink) | メモリ解放操作完了を待機(function) | C++26 |
+| [`rcu_retire`](rcu/rcu_barrier.md.nolink) | メモリ解放操作をスケジュル(function template) | C++26 |
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`<hazard_pointer>`](hazard_pointer.md.nolink)
+
+
+## 参照
+- [P2545R4 Read-Copy Update(RCU)](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2545r4.pdf)