cpprefjp · faithandbrave · Aug 24, 2026 · Aug 24, 2026 · Aug 24, 2026 · Aug 24, 2026
diff --git a/reference/algorithm/clamp.md b/reference/algorithm/clamp.md
@@ -85,3 +85,5 @@ int main()
 ## 参照
 - [N4536 An algorithm to "clamp" a value between a pair of boundary values](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4536.html)
 - [P0025R0 An algorithm to "clamp" a value between a pair of boundary values (revision 1)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0025r0.html)
+- [LWG Issue 2688. `clamp` misses preconditions and has extraneous condition on result](https://cplusplus.github.io/LWG/issue2688)
+    - C++17で、事前条件（`low`は`high`より大きくてはならない）が追加され、戻り値の規定が整理された
diff --git a/reference/algorithm/sample.md b/reference/algorithm/sample.md
@@ -134,3 +134,5 @@ bcd
 - [N4531 `std::rand` replacement, revision 3](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4531.html)
 - [P0220R0 Adopt Library Fundamentals TS for C++17](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0220r0.html)
 - [P0220R1 Adopt Library Fundamentals V1 TS Components for C++17 (R1)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0220r1.html)
+- [LWG Issue 2716. Specification of `shuffle` and `sample` disallows lvalue URNGs](https://cplusplus.github.io/LWG/issue2716)
+    - C++17で、乱数生成器の要件が`remove_reference_t`を通して判定されるよう整理され、左辺値の乱数生成器を渡せることが明確化された
diff --git a/reference/algorithm/shuffle.md b/reference/algorithm/shuffle.md
@@ -129,5 +129,7 @@ void shuffle(RandomAccessIterator first, RandomAccessIterator last, UniformRando
 - [`ranges::shuffle`](/reference/algorithm/ranges_shuffle.md)
 
 ## 参照
+- [LWG Issue 2716. Specification of `shuffle` and `sample` disallows lvalue URNGs](https://cplusplus.github.io/LWG/issue2716)
+    - C++17で、乱数生成器の要件が`remove_reference_t`を通して判定されるよう整理され、左辺値の乱数生成器を渡せることが明確化された
 - [P0346R1 A `<random>` Nomenclature Tweak](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0346r1.pdf)
     - URNGをURBGに変更
diff --git a/reference/algorithm/sort_heap.md b/reference/algorithm/sort_heap.md
@@ -47,7 +47,7 @@ namespace std {
 
 
 ## 計算量
-最大で N log(N) 回比較する（N == `last - first`）
+最大で 2N log(N) 回比較する（N == `last - first`）
 
 
 ## 例
@@ -85,3 +85,5 @@ int main()
 
 ## 参照
 - [P0879R0 Constexpr for `swap` and `swap` related functions](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0879r0.html)
+- [LWG Issue 2444. Inconsistent complexity for `std::sort_heap`](https://cplusplus.github.io/LWG/issue2444)
+    - 計算量の上限が「N log(N)回」から「2N log(N)回」に修正された（`sort_heap`はN回の`pop_heap`を行うため）。この修正は欠陥報告(DR)であり、C++17にも遡及して適用される
diff --git a/reference/any/any/emplace.md b/reference/any/any/emplace.md
@@ -99,3 +99,5 @@ int main()
 ## 参照
 - [LWG Issue 2746. Inconsistency between requirements for `emplace` between `optional` and `variant`](https://cplusplus.github.io/LWG/issue2746)
     - C++26で、`emplace`の制約が`Requires`（ハードエラー）から`Constraints`（SFINAE）に統一された（cpprefjpでは「テンプレートパラメータ制約」として記載済み）
+- [LWG Issue 2754. The `in_place` constructors and `emplace` functions added by P0032R3 don't require `CopyConstructible`](https://cplusplus.github.io/LWG/issue2754)
+    - C++17で、`emplace`に、格納する型がコピー構築可能であることの要件が追加された
diff --git a/reference/any/any/op_constructor.md b/reference/any/any/op_constructor.md
@@ -145,3 +145,10 @@ int main()
 - [GCC](/implementation.md#gcc): 7.3 [mark verified]
 - [ICC](/implementation.md#icc): ??
 - [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 参照
+- [LWG Issue 2744. `any`'s `in_place` constructors](https://cplusplus.github.io/LWG/issue2744)
+    - C++17で、`in_place_type_t`を取るコンストラクタの`is_constructible`要件がオーバーロード解決参加条件（SFINAE）へ変更され、`any`に対する`is_constructible`問い合わせが正しい結果を返すようになった
+- [LWG Issue 2754. The `in_place` constructors and `emplace` functions added by P0032R3 don't require `CopyConstructible`](https://cplusplus.github.io/LWG/issue2754)
+    - C++17で、`in_place_type_t`を取るコンストラクタに、格納する型がコピー構築可能であることの要件が追加された
diff --git a/reference/any/any_cast.md b/reference/any/any_cast.md
@@ -153,4 +153,8 @@ int main()
 
 ## 参照
 
+- [LWG Issue 2768. `any_cast` and move semantics](https://cplusplus.github.io/LWG/issue2768)
+    - C++17で、`any_cast(any&&)`版がムーブによる取り出しや右辺値参照の取得を行えるよう規定された（LWG 2769の解決に取り込まれた）
+- [LWG Issue 2769. Redundant const in the return type of `any_cast(const any&)`](https://cplusplus.github.io/LWG/issue2769)
+    - C++17で、`any_cast`の戻り値規定から冗長な`const`付与を除き、`U = remove_cv_t<remove_reference_t<ValueType>>`と`static_cast<ValueType>`を用いる形へ整理された（一時オブジェクトへのダングリング参照取得も防止）
 - [LWG Issue 3305. `any_cast<void>`](https://cplusplus.github.io/LWG/issue3305)
diff --git a/reference/array/array.md b/reference/array/array.md
@@ -177,3 +177,7 @@ int main()
 
 
 ## 参照
+- [LWG Issue 2590. Aggregate initialization for `std::array`](https://cplusplus.github.io/LWG/issue2590)
+    - C++17で、`array`がコピーリスト初期化に限らず集成体初期化一般で初期化できることが明確化された（`std::array<int, 1> a{0};`のような直接波カッコ初期化も適格）
+- [LWG Issue 2310. Public exposition only member in `std::array`](https://cplusplus.github.io/LWG/issue2310)
+    - C++17で、`array`が集成体であることを示す説明専用メンバ（`elems`）がpublicである旨が明確化され、`data()`の規定が`addressof(front())`を用いる形に整理された
diff --git a/reference/cassert/assert.md b/reference/cassert/assert.md
@@ -123,6 +123,8 @@ int main()
 - [What does it mean for C++ that assert takes a scalar argument?](https://groups.google.com/a/isocpp.org/d/topic/std-discussion/6EHDRo1A2EE/discussion)
   パラメータの式の型についての要件は参照規格であるCの規定によるものであり、「スカラ型」が[C++におけるスカラ型](/reference/type_traits/is_scalar.md)となるのか、あるいはCにおけるスカラ型の範囲に限定されるのか、少なくともC++14時点でははっきりしていない。
 - [LWG Issue 2234. `assert()` should allow usage in constant expressions](http://wg21.cmeerw.net/lwg/issue2234)
+- [LWG Issue 2559. Error in LWG 2234's resolution](https://cplusplus.github.io/LWG/issue2559)
+    - C++17で、`assert(E)`が定数部分式となる条件を、`assert`が最後に定義／再定義された時点の`NDEBUG`の状態で判定するよう修正された
 - [P2264R7 Make `assert()` macro user friendly for C and C++](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2264r7.html)
     - C++26から、カンマを含む式を条件式として使用できるようになった
 - [LWG Issue 4454. `assert` should forbid `co_await` and `co_yield`](https://cplusplus.github.io/LWG/issue4454)

diff --git a/reference/chrono/time_point/op_minus.md b/reference/chrono/time_point/op_minus.md
@@ -42,11 +42,12 @@ namespace chrono {
 
 
 ## 戻り値
-- (1)
+- (1) : 戻り値の型を`CT`として、
 
 ```cpp
-return lhs + (-rhs);
+return CT(lhs.time_since_epoch() - rhs);
 ```
+* time_since_epoch[link time_since_epoch.md]
 
 - (2)
 
@@ -101,3 +102,5 @@ int main()
 
 ## 参照
 - [N3469 Constexpr Library Additions: chrono, v3](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3469.html)
+- [LWG Issue 2739. Issue with `time_point` non-member subtraction with an `unsigned` duration](https://cplusplus.github.io/LWG/issue2739)
+    - C++17で、(1)の戻り値が`CT(lhs.time_since_epoch() - rhs)`に変更され、符号なし`duration`で負符号化による予期しないオーバーフローが起きないようになった
diff --git a/reference/cmath/abs.md b/reference/cmath/abs.md
@@ -111,3 +111,7 @@ namespace std {
     - C++23での、一部関数の`constexpr`対応
 - [P1467R9 Extended floating-point types and standard names](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p1467r9.html)
     - C++23で導入された拡張浮動小数点数型への対応として、`float`、`double`、`long double`のオーバーロードを`floating-point-type`のオーバーロードに統合し、拡張浮動小数点数型も扱えるようにした
+- [LWG Issue 2192. Validity and return type of `std::abs(0u)` is unclear](https://cplusplus.github.io/LWG/issue2192)
+    - C++17で、`int`/`long`/`long long`に対するオーバーロード (6)-(8) が追加され、`int`へ整数昇格できない符号なし整数型に対する`abs`の呼び出しが不適格であることが規定された
+- [LWG Issue 2735. `std::abs(short)`, `std::abs(signed char)` and others should return `int` instead of `double`](https://cplusplus.github.io/LWG/issue2735)
+    - C++17で、`abs`は`<cmath>`の整数引数を`double`に変換する追加オーバーロードの対象から除外され、`short`や`signed char`などの引数に対して（整数昇格により）`int`を返すようになった（C++98/Cとの互換性のため）
diff --git a/reference/complex/complex/log.md b/reference/complex/complex/log.md
@@ -115,3 +115,5 @@ log( (1,2) ) = (0.804719,1.10715)
 ## 参照
 - [P1383R2 More constexpr for `<cmath>` and `<complex>`](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p1383r2.pdf)
     - C++26で`constexpr`対応した
+- [LWG Issue 2597. `std::log` misspecified for complex numbers](https://cplusplus.github.io/LWG/issue2597)
+    - 分岐切断上での挙動（負のゼロの扱い）の意味論がCの`clog`と同じであることを意図する、と整理された。この修正は欠陥報告(DR)であり、C++17にも遡及して適用される
diff --git a/reference/complex/complex/polar.md b/reference/complex/complex/polar.md
@@ -8,11 +8,11 @@ namespace std {
   template <class T>
   complex<T>
     polar(const T& rho,
-          const T& theta = 0); // (1) C++03
+          const T& theta = T()); // (1) C++03
   template <class T>
   constexpr complex<T>
     polar(const T& rho,
-          const T& theta = 0); // (1) C++26
+          const T& theta = T()); // (1) C++26
 }
 ```
 
@@ -27,7 +27,7 @@ namespace std {
 ## 備考
 - 規格には、偏角 `theta` の単位については何も記載がない。しかし、この引数の単位がラジアンであることは異論をはさむ余地はないだろう。  
 	実際、本関数の逆関数（の片割れ）とも言える [`arg`](arg.md) の戻り値はラジアンである。
-- コンストラクタのデフォルト引数を踏まえると、偏角 `theta` のデフォルト引数が `T()` ではなく `0` であるのは、規格の誤りであるように思われる。
+- 偏角 `theta` のデフォルト引数は、当初 `0` と規定されていたが、これは規格の誤りであり、LWG Issue 2870 によって `T()`（テンプレートパラメータに依存する値）に修正された。
 - `rho` と `theta` に現れる型 `T` は（残念ながら）同じ型でなければならない。（`int` と `double` を渡すなどといったことはできない）  
 	同じ [`<complex>`](/reference/complex.md) ヘッダの [`pow`](pow.md) や、[`cmath`](/reference/cmath.md) ヘッダの [`atan2`](/reference/cmath/atan2.md) などの関数群は、引数の型が異なっていても簡単に呼び出せるように C++11 でオーバーロードが追加されているため、単なる規格の考慮漏れかもしれない。
 
@@ -79,5 +79,7 @@ polar(1.0, pi / 4.0) = (0.707107,0.707107)
 
 
 ## 参照
+- [LWG Issue 2870. Default value of parameter theta of polar should be dependent](https://cplusplus.github.io/LWG/issue2870)
+    - 偏角`theta`のデフォルト引数が`0`から`T()`（テンプレートパラメータに依存する値）に修正された。この修正は欠陥報告(DR)であり、C++17以前にも遡及して適用される
 - [P1383R2 More constexpr for `<cmath>` and `<complex>`](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p1383r2.pdf)
     - C++26で`constexpr`対応した
diff --git a/reference/complex/complex/sqrt.md b/reference/complex/complex/sqrt.md
@@ -134,3 +134,5 @@ sqrt(-1.0 - 1.0i) = (0.45509,-1.09868)
 ## 参照
 - [P1383R2 More constexpr for `<cmath>` and `<complex>`](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p1383r2.pdf)
     - C++26で`constexpr`対応した
+- [LWG Issue 2597. `std::log` misspecified for complex numbers](https://cplusplus.github.io/LWG/issue2597)
+    - 分岐切断上での挙動（負のゼロの扱い）の意味論がCの`clog`と同じであることを意図する、と整理された。この修正は欠陥報告(DR)であり、C++17にも遡及して適用される
diff --git a/reference/concepts/Invoke.md b/reference/concepts/Invoke.md
@@ -84,5 +84,7 @@ C++20 における 2. について、次の文言を項目の最後に追加す
 - [P0777R1 Treating Unnecessary `decay`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0777r1.pdf)
     - C++20から`decay_t`を`remove_cvref_t`へ変更。
 - [P2136R3 `invoke_r`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2136r3.html)
+- [LWG Issue 2219. `INVOKE`-ing a pointer to member with a `reference_wrapper` as the object expression](https://cplusplus.github.io/LWG/issue2219)
+    - C++17で、メンバポインタに対する第1引数が[`reference_wrapper`](/reference/functional/reference_wrapper.md)の特殊化である場合に、`t1.get()`経由でメンバを呼び出すよう規定された
 - [LWG Issue 3655. The *INVOKE* operation and union types](https://cplusplus.github.io/LWG/issue3655)
     - C++23で、メンバポインタの判定を`is_base_of_v`単独から`is_same_v || is_base_of_v`に変更し、共用体(union)型でも正しく扱えるようにした
diff --git a/reference/cstddef/offsetof.md b/reference/cstddef/offsetof.md
@@ -51,3 +51,8 @@ offsetof(mystruct,singlechar) is 0
 offsetof(mystruct,arraymember) is 1
 offsetof(mystruct,anotherchar) is 11
 ```
+
+
+## 参照
+- [LWG Issue 2709. `offsetof` is unnecessarily imprecise](https://cplusplus.github.io/LWG/issue2709)
+    - C++17で、標準レイアウトでないクラス型に対する`offsetof`の利用が「未定義動作」から「条件付きサポート」に変更された
diff --git a/reference/cstdlib/abs.md b/reference/cstdlib/abs.md
@@ -106,3 +106,5 @@ int main()
     - C++23での、一部関数の`constexpr`対応
 - [P1467R9 Extended floating-point types and standard names](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p1467r9.html)
     - C++23で導入された拡張浮動小数点数型への対応として、`float`、`double`、`long double`のオーバーロードを`floating-point-type`のオーバーロードに統合し、拡張浮動小数点数型も扱えるようにした
+- [LWG Issue 2192. Validity and return type of `std::abs(0u)` is unclear](https://cplusplus.github.io/LWG/issue2192)
+    - C++17で、`int`へ整数昇格できない符号なし整数型に対する`abs`の呼び出しが不適格であることが規定された
diff --git a/reference/deque/deque/erase.md b/reference/deque/deque/erase.md
@@ -26,11 +26,15 @@ constexpr iterator erase(const_iterator first, const_iterator last); // (2) C++2
 
 
 ## 戻り値
-削除された要素の次の要素を指すイテレータを返す。そのような要素が存在しない場合は、[`end()`](end.md)を返す。さらに、削除された要素以降の要素の数と同じ回数の`T`のムーブ代入演算子が呼ばれる。
+削除された要素の次の要素を指すイテレータを返す。そのような要素が存在しない場合は、[`end()`](end.md)を返す。
+
+
+## 例外
+`T`の代入演算子が例外を投げる場合を除いて、この関数は例外を投げない。この関数はメモリの確保・解放や要素の構築を行わないため、コンストラクタは呼ばれない。
 
 
 ## 計算量
-削除された要素の数に対して線形時間（デストラクタ呼び出し）。加えて、`position`と終端位置の間にある要素の数に対してライブラリの実装に依存して線形時間で増加する。
+削除される要素の数と同じ回数の`T`のデストラクタが実行される。加えて`T`の代入演算子が呼ばれるが、その回数は「削除された要素より前にある要素数」と「削除された要素より後にある要素数」のうち少ない方以下となる（`deque`は前後どちらからでも要素を詰められるため）。
 
 
 ## 例
@@ -112,4 +116,6 @@ int main()
 ## 参照
 - [N2350 Container insert/erase and iterator constness (Revision 1)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2350.pdf)
 - [LWG Issue 638. `deque` end invalidation during erase](http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#638)
+- [LWG Issue 2953. LWG 2853 should apply to `deque::erase` too](https://cplusplus.github.io/LWG/issue2953)
+    - `erase`はメモリ確保・要素構築を行わないため、例外指定からコンストラクタへの言及が削除され`T`の代入演算子のみとされた（`vector::erase`のLWG 2853と同様）。この修正は欠陥報告(DR)であり、C++17にも遡及して適用される
 - [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)
diff --git a/reference/deque/deque/shrink_to_fit.md b/reference/deque/deque/shrink_to_fit.md
@@ -21,7 +21,7 @@ constexpr void shrink_to_fit(); // (1) C++26
 ## 効果
 - 確保した未使用のメモリ領域を[`size()`](size.md)に縮小させるというリクエストを行う。
     - 実装依存の最適化を許可するために、縮小するという動作は仕様上強制されない。
-- C++17 : コンテナの要素に対する参照、ポインタ、およびイテレータとそれが指す要素への参照は無効となる。
+- C++17 : シーケンスの要素を指すすべての参照・ポインタ・イテレータ、および終端イテレータ（past-the-end iterator）が無効となる。
 - C++17 : コピー挿入可能でない型`T`のムーブコンストラクタによる例外を除き、例外が送出された場合この関数は何もしない。
 
 
@@ -57,4 +57,6 @@ constexpr void shrink_to_fit(); // (1) C++26
 - [LWG Issue 850. Should `shrink_to_fit` apply to `std::deque`?](http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#850)
 - [LWG Issue 2033. Preconditions of `reserve`, `shrink_to_fit`, and `resize` functions](http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#2033)
 - [LWG Issue 2223. `shrink_to_fit` effect on iterator validity](https://wg21.cmeerw.net/lwg/issue2223)
+- [LWG Issue 2834. Resolution to LWG 2223 is missing wording about end iterators](https://cplusplus.github.io/LWG/issue2834)
+    - C++17で、終端イテレータ（past-the-end iterator）も無効化されることが明確化された
 - [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)