update automatically

Author: cpprefjp-autoupdate

reference/chrono/make24.html

@@ -239,7 +239,7 @@ <h2>例</h2>
 <span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">false</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n"><a href="duration/op_h.html">0h</a></span><span class="p">);</span>
 
 <span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">);</span>
-<span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">1h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mf">1f</span><span class="n">HnbtfryallRWztEurEPwyGDxvCqoIGa</span><span class="p">);</span>
+<span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">1h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">1</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">);</span>
 <span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n"><a href="duration/op_h.html">15h</a></span><span class="p">);</span>
 <span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">11h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n"><a href="duration/op_h.html">23h</a></span><span class="p">);</span>
 <span class="p">}</span>

reference/random/generate_canonical.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-10-22T16:15:43">
-        2025年10月22日 16時15分43秒
+      <span itemprop="datePublished" content="2026-03-19T02:23:48">
+        2026年03月19日 02時23分48秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -215,7 +215,10 @@
   <div class="identifier-type">function template</div><div class="header">&lt;random&gt;</div><h1 itemprop="name"><span class="namespace" title="namespace std">std::</span><span class="token">generate_canonical</span><span class="cpp cpp11" title="C++11で追加">(C++11)</span></h1>
 <div itemprop="articleBody"><p><div class="codehilite"><pre><span></span><code><span class="k">namespace</span><span class="w"> </span><span class="nn">std</span><span class="w"> </span><span class="p">{</span>
 <span class="w">  </span><span class="k">template</span><span class="o">&lt;</span><span class="k">class</span><span class="w"> </span><span class="nc">RealType</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../cstddef/size_t.html">std::size_t</a></span><span class="w"> </span><span class="n">bits</span><span class="p">,</span><span class="w"> </span><span class="k">class</span><span class="w"> </span><span class="nc">URBG</span><span class="o">&gt;</span>
-<span class="w">  </span><span class="n">RealType</span><span class="w"> </span><span class="n">generate_canonical</span><span class="p">(</span><span class="n">URBG</span><span class="o">&amp;</span><span class="w"> </span><span class="n">g</span><span class="p">);</span>
+<span class="w">  </span><span class="n">RealType</span><span class="w"> </span><span class="n">generate_canonical</span><span class="p">(</span><span class="n">URBG</span><span class="o">&amp;</span><span class="w"> </span><span class="n">g</span><span class="p">);</span><span class="w">  </span><span class="c1">// (1) C++11</span>
+
+<span class="w">  </span><span class="k">template</span><span class="o">&lt;</span><span class="k">class</span><span class="w"> </span><span class="nc">RealType</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../cstddef/size_t.html">std::size_t</a></span><span class="w"> </span><span class="n">digits</span><span class="p">,</span><span class="w"> </span><span class="k">class</span><span class="w"> </span><span class="nc">URBG</span><span class="o">&gt;</span>
+<span class="w">  </span><span class="n">RealType</span><span class="w"> </span><span class="n">generate_canonical</span><span class="p">(</span><span class="n">URBG</span><span class="o">&amp;</span><span class="w"> </span><span class="n">g</span><span class="p">);</span><span class="w">  </span><span class="c1">// (1) C++26</span>
 <span class="p">}</span>
 </code></pre></div>
 </p>
@@ -225,15 +228,55 @@ <h2>概要</h2>
 <h2>テンプレートパラメータ</h2>
 <ul>
 <li><code>class RealType</code> : 生成する実数の型。</li>
-<li><code>size_t bits</code> : 生成する実数における仮数部への分解能の最低要求。最大値は <code>std::<a href="../limits/numeric_limits.html">numeric_limits</a>&lt;RealType&gt;::<a href="../limits/numeric_limits/digits.html">digits</a></code> 。</li>
+<li><code>size_t bits</code> : 生成する実数における仮数部への分解能の最低要求。最大値は <code>std::<a href="../limits/numeric_limits.html">numeric_limits</a>&lt;RealType&gt;::<a href="../limits/numeric_limits/digits.html">digits</a></code><ul>
+<li>C++26で<code>digits</code>に名称変更</li>
+</ul>
+</li>
+<li><code>size_t digits</code> : 生成する実数における基数非依存の桁数としての分解能の最低要求。最大値は <code>std::<a href="../limits/numeric_limits.html">numeric_limits</a>&lt;RealType&gt;::<a href="../limits/numeric_limits/digits.html">digits</a></code> 。</li>
 <li><code>class URBG</code> : 一様乱数生成器の型。</li>
 </ul>
 <h2>関数パラメータ</h2>
 <ul>
 <li>URBG&amp; g : 一様乱数生成器。</li>
 </ul>
+<h2>効果</h2>
+<ul>
+<li>
+<p>C++11からC++23まで :
+    以下の変数を定義する。</p>
+<ul>
+<li><code>R</code> = <code>g.<a href="uniform_random_bit_generator.html">max()</a> - g.<a href="uniform_random_bit_generator.html">min()</a> + 1</code></li>
+<li><code>k</code> = max(1, ⌈<code>bits</code> / log<sub>2</sub><code>R</code>⌉)</li>
+<li><code>S</code> = <code>g()</code> から <code>k</code> 回呼び出した結果を <code>R</code> のべき乗で重み付けして累積した値</li>
+</ul>
+<p><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>は <code>S</code> / <code>R</code><sup><code>k</code></sup> となる。ただし浮動小数点数の丸めにより、結果が1.0になる場合がある。</p>
+</li>
+<li>
+<p>C++26 :
+    以下の変数を定義する。</p>
+<ul>
+<li><code>r</code> = <code><a href="../limits/numeric_limits.html">numeric_limits</a>&lt;RealType&gt;::<a href="../limits/numeric_limits/radix.html">radix</a></code></li>
+<li><code>R</code> = <code>g.<a href="uniform_random_bit_generator.html">max()</a> - g.<a href="uniform_random_bit_generator.html">min()</a> + 1</code></li>
+<li><code>d</code> = min(<code>digits</code>, <code><a href="../limits/numeric_limits.html">numeric_limits</a>&lt;RealType&gt;::<a href="../limits/numeric_limits/digits.html">digits</a></code>)</li>
+<li><code>k</code> = <code>R</code><sup><code>k</code></sup> ≥ <code>r</code><sup><code>d</code></sup> を満たす最小の整数</li>
+<li><code>x</code> = ⌊<code>R</code><sup><code>k</code></sup> / <code>r</code><sup><code>d</code></sup>⌋</li>
+</ul>
+<p>以下の手順で乱数を生成する。</p>
+<ol>
+<li><code>g()</code> を <code>k</code> 回呼び出して値 <code>S</code> を生成する</li>
+<li><code>S</code> ≥ <code>x</code> · <code>r</code><sup><code>d</code></sup> の場合、手順1に戻って再試行する（棄却法）</li>
+<li><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>は ⌊<code>S</code> / <code>x</code>⌋ / <code>r</code><sup><code>d</code></sup> となる</li>
+</ol>
+<p>この棄却法により、浮動小数点数の丸めで結果が1.0になる問題が解消され、<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>は必ず0以上1未満となることが保証される。</p>
+</li>
+</ul>
 <h2><a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a></h2>
 <p><code>URBG g</code> が<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>を送出する場合はそれに準ずる。</p>
+<h2>備考</h2>
+<ul>
+<li>C++23まではアルゴリズムの仕様上、浮動小数点数の丸めにより値<code>1.0</code>が生成されることがあった</li>
+<li>C++26では棄却法（reject-and-retry）方式が導入され、<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>が[0.0, 1.0)の範囲内であることが保証されるようになった</li>
+</ul>
 <h2>例</h2>
 <p><div class="yata" id="6ad591c95fc0de21c2451287d942e53573a3fe45"><div class="codehilite"><pre><span></span><code><span class="cp">#include <a href="../random.html">&lt;random&gt;</a></span>
 <span class="cp">#include <a href="../iostream.html">&lt;iostream&gt;</a></span>
@@ -283,16 +326,16 @@ <h3>備考</h3>
 <li>GCC 4.9時点において、<code>float</code>型を指定した場合に、値<code>1.0</code>が生成されることがあるバグがある(<a href="https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63176" target="_blank">Bug 63176</a>)</li>
 <li>Clang 3.3時点において、値<code>1.0</code>が生成されることがある(<a href="https://llvm.org/bugs/show_bug.cgi?id=18767" target="_blank">Bug 18767</a>)</li>
 </ul>
-<h3>参考</h3>
-<ul>
-<li>N3337 p.909 §26.5.7.2</li>
-</ul>
 <h2>参照</h2>
 <ul>
 <li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0346r1.pdf" target="_blank">P0346R1 A <code>&lt;random&gt;</code> Nomenclature Tweak</a><ul>
 <li>URNGをURBGに変更</li>
 </ul>
 </li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p0952r2.html" target="_blank">P0952R2 A New Specification for <code>generate_canonical</code></a><ul>
+<li>C++26でテンプレートパラメータ名を<code>bits</code>から<code>digits</code>に変更し、棄却法による新しいアルゴリズムを導入</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/random/uniform_real_distribution.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-10-22T16:15:43">
-        2025年10月22日 16時15分43秒
+      <span itemprop="datePublished" content="2026-03-19T02:23:48">
+        2026年03月19日 02時23分48秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -226,6 +226,17 @@ <h2>概要</h2>
 <ul>
 <li><code>RealType</code> : 生成する実数の型。</li>
 </ul>
+<h2>備考</h2>
+<ul>
+<li><code>uniform_real_distribution</code>の実装は、内部的に<code><a href="generate_canonical.html">std::generate_canonical()</a></code>を使用している環境がある<ul>
+<li>C++23まではその<code>std::generate_canonical()</code>の仕様上、浮動小数点数の丸めにより指定範囲外の値（上限値<code>b</code>）が生成されることがあった</li>
+<li>C++26では<code>std::generate_canonical()</code>に棄却法が導入されたことで、この問題は解消された<ul>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p0952r2.html" target="_blank">P0952R2 A New Specification for <code>generate_canonical</code></a></li>
+</ul>
+</li>
+</ul>
+</li>
+</ul>
 <h2>メンバ関数</h2>
 <h3>構築・リセット</h3>
 <table border="1" bordercolor="#888" style="border-collapse:collapse">

reference/random/uniform_real_distribution/op_constructor.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-10-22T16:15:43">
-        2025年10月22日 16時15分43秒
+      <span itemprop="datePublished" content="2026-03-19T02:23:48">
+        2026年03月19日 02時23分48秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -303,10 +303,6 @@ <h3>処理系</h3>
 <h2>参照</h2>
 <ul>
 <li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0935r0.html" target="_blank">P0935R0 Eradicating unnecessarily explicit default constructors from the standard library</a></li>
-<li><a href="https://qiita.com/Nabetani/items/b6b5f80c77b92ff8bd9f" target="_blank">C++ の std::uniform_real_distribution はあまり信用できない。</a><ul>
-<li>a ≤ x &lt; b なるx を返すはずであるが、その範囲外の値が返ってくるライブラリ実装が存在することの指摘。</li>
-</ul>
-</li>
 </ul></div>
 
       </div>