update automatically

Author: cpprefjp-autoupdate

reference/concepts/default_initializable.html

@@ -215,7 +215,7 @@
   <div class="identifier-type">concept</div><div class="header">&lt;concepts&gt;</div><h1 itemprop="name"><span class="namespace" title="namespace std">std::</span><span class="token">default_initializable</span><span class="cpp cpp20" title="C++20で追加">(C++20)</span></h1>
 <div itemprop="articleBody"><p><div class="codehilite"><pre><span></span><code><span class="k">namespace</span> <span class="n">std</span> <span class="p">{</span>
   <span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">T</span><span class="o">&gt;</span>
-  <span class="n">concept</span> <span class="n">default_initializable</span> <span class="o">=</span> <span class="cm">/*<i>see below</i>*/</span><span class="p">;</span>
+  <span class="n">concept</span> <span class="n"><a href="">default_initializable</a></span> <span class="o">=</span> <span class="cm">/*<i>see below</i>*/</span><span class="p">;</span>
 <span class="p">}</span>
 </code></pre></div>
 </p>
@@ -229,7 +229,7 @@ <h2>要件</h2>
 </p>
 <p><code>default_initializable</code>コンセプトは以下のように定義される。</p>
 <p><div class="codehilite"><pre><span></span><code><span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">T</span><span class="o">&gt;</span>
-<span class="n">concept</span> <span class="n">default_initializable</span> <span class="o">=</span> <span class="n"><a href="constructible_from.html">constructible_from</a></span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>
+<span class="n">concept</span> <span class="n"><a href="">default_initializable</a></span> <span class="o">=</span> <span class="n"><a href="constructible_from.html">constructible_from</a></span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>
                                 <span class="n">requires</span> <span class="p">{</span> <span class="n">T</span><span class="p">{};</span> <span class="p">}</span> <span class="o">&amp;&amp;</span>
                                 <span class="n">is</span><span class="o">-</span><span class="k">default</span><span class="o">-</span><span class="n">initializable</span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;</span><span class="p">;</span>
 </code></pre></div>

reference/concepts/equality_comparable.html

@@ -215,7 +215,7 @@
   <div class="identifier-type">concept</div><div class="header">&lt;concepts&gt;</div><h1 itemprop="name"><span class="namespace" title="namespace std">std::</span><span class="token">equality_comparable</span><span class="cpp cpp20" title="C++20で追加">(C++20)</span></h1>
 <div itemprop="articleBody"><p><div class="codehilite"><pre><span></span><code><span class="k">namespace</span> <span class="n">std</span> <span class="p">{</span>
   <span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">T</span><span class="o">&gt;</span>
-  <span class="n">concept</span> <span class="n">equality_comparable</span> <span class="o">=</span> <span class="cm">/*<i>see below</i>*/</span><span class="p">;</span>      <span class="c1">// (1)</span>
+  <span class="n">concept</span> <span class="n"><a href="">equality_comparable</a></span> <span class="o">=</span> <span class="cm">/*<i>see below</i>*/</span><span class="p">;</span>      <span class="c1">// (1)</span>
 
   <span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">T</span><span class="p">,</span> <span class="k">class</span> <span class="nc">U</span><span class="o">&gt;</span>
   <span class="n">concept</span> <span class="n">equality_comparable_with</span> <span class="o">=</span> <span class="cm">/*<i>see below</i>*/</span><span class="p">;</span> <span class="c1">// (2)</span>
@@ -242,17 +242,17 @@ <h2>要件</h2>
 <li>(1) : 以下のように定義される</li>
 </ul>
 <p><div class="codehilite"><pre><span></span><code><span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">T</span><span class="o">&gt;</span>
-<span class="n">concept</span> <span class="n">equality_comparable</span> <span class="o">=</span> <span class="n">weakly</span><span class="o">-</span><span class="n">equality</span><span class="o">-</span><span class="n">comparable</span><span class="o">-</span><span class="n">with</span><span class="o">&lt;</span><span class="n">T</span><span class="p">,</span> <span class="n">T</span><span class="o">&gt;</span><span class="p">;</span>
+<span class="n">concept</span> <span class="n"><a href="">equality_comparable</a></span> <span class="o">=</span> <span class="n">weakly</span><span class="o">-</span><span class="n">equality</span><span class="o">-</span><span class="n">comparable</span><span class="o">-</span><span class="n">with</span><span class="o">&lt;</span><span class="n">T</span><span class="p">,</span> <span class="n">T</span><span class="o">&gt;</span><span class="p">;</span>
 </code></pre></div>
 </p>
 <ul>
 <li>(2) : 以下のように定義される</li>
 </ul>
 <p><div class="codehilite"><pre><span></span><code><span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">T</span><span class="p">,</span> <span class="k">class</span> <span class="nc">U</span><span class="o">&gt;</span>
 <span class="n">concept</span> <span class="n">equality_comparable_with</span> <span class="o">=</span>
-  <span class="n">equality_comparable</span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span> <span class="n">equality_comparable</span><span class="o">&lt;</span><span class="n">U</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>
+  <span class="n"><a href="">equality_comparable</a></span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span> <span class="n"><a href="">equality_comparable</a></span><span class="o">&lt;</span><span class="n">U</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>
   <span class="n"><a href="common_reference_with.html">common_reference_with</a></span><span class="o">&lt;</span><span class="k">const</span> <span class="n"><a href="../type_traits/remove_reference.html">remove_reference_t</a></span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;&amp;</span><span class="p">,</span> <span class="k">const</span> <span class="n"><a href="../type_traits/remove_reference.html">remove_reference_t</a></span><span class="o">&lt;</span><span class="n">U</span><span class="o">&gt;&amp;&gt;</span> <span class="o">&amp;&amp;</span>
-  <span class="n">equality_comparable</span><span class="o">&lt;</span>
+  <span class="n"><a href="">equality_comparable</a></span><span class="o">&lt;</span>
     <span class="n"><a href="../type_traits/common_reference.html">common_reference_t</a></span><span class="o">&lt;</span>
       <span class="k">const</span> <span class="n"><a href="../type_traits/remove_reference.html">remove_reference_t</a></span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;&amp;</span><span class="p">,</span>
       <span class="k">const</span> <span class="n"><a href="../type_traits/remove_reference.html">remove_reference_t</a></span><span class="o">&lt;</span><span class="n">U</span><span class="o">&gt;&amp;&gt;&gt;</span> <span class="o">&amp;&amp;</span>

reference/iterator/iterator_traits.html

@@ -387,7 +387,7 @@ <h3>C++20</h3>
 
 <span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">I</span><span class="o">&gt;</span>
 <span class="n">concept</span> <span class="n">cpp17</span><span class="o">-</span><span class="n">input</span><span class="o">-</span><span class="n">iterator</span> <span class="o">=</span>
-  <span class="n">cpp17</span><span class="o">-</span><span class="n">iterator</span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span> <span class="n">equality_comparable</span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span> <span class="n">requires</span><span class="p">(</span><span class="n">I</span> <span class="n">i</span><span class="p">)</span> <span class="p">{</span>
+  <span class="n">cpp17</span><span class="o">-</span><span class="n">iterator</span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span> <span class="n"><a href="../concepts/equality_comparable.html">equality_comparable</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span> <span class="n">requires</span><span class="p">(</span><span class="n">I</span> <span class="n">i</span><span class="p">)</span> <span class="p">{</span>
     <span class="k">typename</span> <span class="n">incrementable_traits</span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;::</span><span class="n">difference_type</span><span class="p">;</span>
     <span class="k">typename</span> <span class="n">indirectly_readable_traits</span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;::</span><span class="n">value_type</span><span class="p">;</span>
     <span class="k">typename</span> <span class="n"><a href="../type_traits/common_reference.html">common_reference_t</a></span><span class="o">&lt;</span><span class="n">iter_reference_t</span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;&amp;&amp;</span><span class="p">,</span>

reference/ranges/all.html

@@ -217,7 +217,7 @@
   <span class="kr">inline</span> <span class="k">constexpr</span> <span class="cm">/*unspecified*/</span> <span class="n">all</span> <span class="o">=</span> <span class="cm">/*unspecified*/</span><span class="p">;</span>     <span class="c1">// (1)</span>
 
   <span class="k">template</span><span class="o">&lt;</span><span class="n"><a href="viewable_range.html">viewable_range</a></span> <span class="n">R</span><span class="o">&gt;</span>
-  <span class="k">using</span> <span class="n">all_t</span> <span class="o">=</span> <span class="k">decltype</span><span class="p">(</span><span class="n">all</span><span class="p">(</span><span class="n"><a href="../utility/declval.html">declval</a></span><span class="o">&lt;</span><span class="n">R</span><span class="o">&gt;</span><span class="p">()));</span>                  <span class="c1">// (2)</span>
+  <span class="k">using</span> <span class="n"><a href="">all_t</a></span> <span class="o">=</span> <span class="k">decltype</span><span class="p">(</span><span class="n">all</span><span class="p">(</span><span class="n"><a href="../utility/declval.html">declval</a></span><span class="o">&lt;</span><span class="n">R</span><span class="o">&gt;</span><span class="p">()));</span>                  <span class="c1">// (2)</span>
 <span class="p">}</span>
 </code></pre></div>
 </p>

reference/ranges/as_const_view/op_constructor.html

@@ -248,7 +248,7 @@ <h2>例</h2>
   <span class="n"><a href="../../vector/vector.html">std::vector</a></span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;</span> <span class="n">vec</span> <span class="o">=</span> <span class="p">{</span><span class="mi">1</span><span class="p">,</span> <span class="mi">2</span><span class="p">,</span> <span class="mi">3</span><span class="p">,</span> <span class="mi">4</span><span class="p">,</span> <span class="mi">5</span><span class="p">};</span>
 
   <span class="c1">// (1) デフォルト構築</span>
-  <span class="n"><span style="color:#ff0000">as_const_view</span></span><span class="o">&lt;</span><span class="n">std</span><span class="o">::</span><span class="n">views</span><span class="o">::</span><span class="n">all_t</span><span class="o">&lt;</span><span class="n"><a href="../../vector/vector.html">std::vector</a></span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;&gt;&gt;</span> <span class="n">v1</span><span class="p">{};</span>
+  <span class="n"><span style="color:#ff0000">as_const_view</span></span><span class="o">&lt;</span><span class="n">std</span><span class="o">::</span><span class="n">views</span><span class="o">::</span><span class="n"><a href="../all.html">all_t</a></span><span class="o">&lt;</span><span class="n"><a href="../../vector/vector.html">std::vector</a></span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;&gt;&gt;</span> <span class="n">v1</span><span class="p">{};</span>
 
   <span class="c1">// (2) <a href="../view.html">view</a>を入力して構築</span>
   <span class="n"><span style="color:#ff0000">as_const_view</span></span> <span class="n">v2</span><span class="p">{</span><span class="n">vec</span><span class="p">};</span>

reference/ranges/filter_view.html

@@ -188,12 +188,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-11T13:45:38">
-        2024年06月11日 13時45分38秒
+      <span itemprop="datePublished" content="2024-08-28T20:41:28">
+        2024年08月28日 20時41分28秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">Akira Takahashi</span>
+        <span itemprop="name">Tetsuro Matsumura</span>
       </span>
       が更新
     </small></p>
@@ -231,8 +231,11 @@ <h2>概要</h2>
 </ul>
 <p>元のRangeから条件を満たす要素を探す処理は遅延評価される。</p>
 <ul>
-<li>初めてメンバ関数<code><span href="https://cpprefjp.github.io/reference/ranges/filter_view/begin.md.nolink">begin</span></code>が呼び出されたときに先頭の要素を決定し、残りはイテレータが進むときに求める。</li>
-<li><code><span href="https://cpprefjp.github.io/reference/ranges/filter_view/begin.md.nolink">begin</span></code>は償却定数時間で実行できなければならないため、<code><span href="https://cpprefjp.github.io/reference/ranges/filter_view/begin.md.nolink">begin</span></code>の値はキャッシュされる。</li>
+<li>初めてメンバ関数<code><a href="filter_view/begin.html">begin</a></code>が呼び出されたときに先頭の要素を決定し、残りはイテレータが進むときに求める。<ul>
+<li>探索は <code><a href="../algorithm/ranges_find_if.html">ranges::find_if</a></code> と同様に行われる。</li>
+</ul>
+</li>
+<li><code><a href="filter_view/begin.html">begin</a></code>は償却定数時間で実行できなければならないため、<code><a href="filter_view/begin.html">begin</a></code>の値はキャッシュされる。</li>
 </ul>
 <p><code>filter_view</code>の要素を書き換えてもよいが、書き換えた後の要素が<code>Pred</code>を満たさない場合は<a class="cpprefjp-defined-word" data-desc="未定義の動作。処理系は予期せぬ動作をする可能性がある。要するに動作保証対象外" href="../../implementation-compliance.html#dfn-undefined-behavior">未定義動作</a>となる。</p>
 <h3>Rangeコンセプト</h3>
@@ -282,8 +285,35 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数であればオーバー
 </ul>
 <h2>効果</h2>
 <ul>
-<li>(2): 式<code>views::filter(E, P)</code>の効果は<code>filter_view(E, P)</code>と等しい</li>
+<li>(2): 式<code>views::filter(E, P)</code>の効果は<code><a href="filter_view/op_constructor.html">filter_view</a>(E, P)</code>と等しい</li>
 </ul>
+<h2>メンバ変数</h2>
+<table border="1" bordercolor="#888" style="border-collapse:collapse">
+<thead>
+<tr>
+<th>名前</th>
+<th>説明</th>
+<th>対応バージョン</th>
+</tr>
+</thead>
+<tbody>
+<tr>
+<td><code>V base_ = V()</code></td>
+<td>元の<code><a href="view.html">view</a></code> (説明専用)</td>
+<td>C++20</td>
+</tr>
+<tr>
+<td><code><a href="copyable_box.html">copyable-box</a>&lt;Pred&gt; pred_</code></td>
+<td>述語 (説明専用)</td>
+<td>C++20<br />C++23で削除</td>
+</tr>
+<tr>
+<td><code><a href="movable_box.html">movable-box</a>&lt;Pred&gt; pred_</code></td>
+<td>述語 (説明専用)</td>
+<td>C++23</td>
+</tr>
+</tbody>
+</table>
 <h2>メンバ関数</h2>
 <table border="1" bordercolor="#888" style="border-collapse:collapse">
 <thead>
@@ -295,27 +325,27 @@ <h2>メンバ関数</h2>
 </thead>
 <tbody>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/ranges/filter_view/op_constructor.md.nolink">(constructor)</span></code></td>
+<td><code><a href="filter_view/op_constructor.html">(constructor)</a></code></td>
 <td>コンストラクタ</td>
 <td>C++20</td>
 </tr>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/ranges/filter_view/base.md.nolink">base</span></code></td>
+<td><code><a href="filter_view/base.html">base</a></code></td>
 <td><code>V</code>の参照を取得する</td>
 <td>C++20</td>
 </tr>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/ranges/filter_view/pred.md.nolink">pred</span></code></td>
+<td><code><a href="filter_view/pred.html">pred</a></code></td>
 <td>述語を取得する</td>
 <td>C++20</td>
 </tr>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/ranges/filter_view/begin.md.nolink">begin</span></code></td>
+<td><code><a href="filter_view/begin.html">begin</a></code></td>
 <td>先頭を指すイテレータを取得する</td>
 <td>C++20</td>
 </tr>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/ranges/filter_view/end.md.nolink">end</span></code></td>
+<td><code><a href="filter_view/end.html">end</a></code></td>
 <td>番兵を取得する</td>
 <td>C++20</td>
 </tr>
@@ -358,6 +388,28 @@ <h2>継承しているメンバ関数</h2>
 </tr>
 </tbody>
 </table>
+<h2>メンバ型</h2>
+<table border="1" bordercolor="#888" style="border-collapse:collapse">
+<thead>
+<tr>
+<th>名前</th>
+<th>説明</th>
+<th>対応バージョン</th>
+</tr>
+</thead>
+<tbody>
+<tr>
+<td><code><a href="filter_view/iterator.html">iterator</a></code></td>
+<td>イテレータ型(説明専用)</td>
+<td>C++20</td>
+</tr>
+<tr>
+<td><code><a href="filter_view/sentinel.html">sentinel</a></code></td>
+<td>番兵型(説明専用)</td>
+<td>C++20</td>
+</tr>
+</tbody>
+</table>
 <h2>推論補助</h2>
 <table border="1" bordercolor="#888" style="border-collapse:collapse">
 <thead>
@@ -369,7 +421,7 @@ <h2>推論補助</h2>
 </thead>
 <tbody>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/ranges/filter_view/op_deduction_guide.md.nolink">(deduction_guide)</span></code></td>
+<td><code><a href="filter_view/op_deduction_guide.html">(deduction_guide)</a></code></td>
 <td>クラステンプレートの推論補助</td>
 <td>C++20</td>
 </tr>
@@ -412,7 +464,7 @@ <h3>処理系</h3>
 </ul>
 <h2>参照</h2>
 <ul>
-<li><a href="https://timsong-cpp.github.io/cppwp/n4861/ranges" target="_blank">N4861 24 Ranges library</a></li>
+<li><a href="https://timsong-cpp.github.io/cppwp/n4861/range.filter" target="_blank">N4861 24.7.4 Filter view</a></li>
 <li><a href="https://techbookfest.org/product/5134506308665344" target="_blank">C++20 ranges</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2367r0.html" target="_blank">P2367R0 Remove misuses of list-initialization from Clause 24</a> (本提案文書はC++20に遡って適用されている)</li>
 </ul></div>