update automatically

Author: cpprefjp-autoupdate

reference/concepts/Invoke.html

@@ -188,12 +188,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-07-18T16:39:47">
-        2024年07月18日 16時39分47秒
+      <span itemprop="datePublished" content="2024-11-04T15:48:02">
+        2024年11月04日 15時48分02秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">Akira Takahashi</span>
+        <span itemprop="name">biobios</span>
       </span>
       が更新
     </small></p>
@@ -250,10 +250,10 @@ <h2>要件（C++14まで）</h2>
 <h2>要件（C++17）</h2>
 <ol>
 <li>仮想操作 <em>INVOKE</em><code>(f, t1, t2, ..., tN)</code> を次のように定義する。<ul>
-<li><code>f</code> が型 <code>T</code> のメンバ関数へのポインタであり、<code><a href="../type_traits/is_base_of.html">is_baseof_v</a>&lt;T,<a href="../type_traits/decay.html">decay_t</a>&lt;decltype(t1)&gt;&gt; == true</code>（<code>t1</code> が <code>T</code> または <code>T</code> を継承した型のオブジェクト/参照）であるとき、 <code>(t1.*f)(t2, ..., tN)</code> と同じ効果を持つ。</li>
+<li><code>f</code> が型 <code>T</code> のメンバ関数へのポインタであり、<code><a href="../type_traits/is_base_of.html">is_base_of_v</a>&lt;T,<a href="../type_traits/decay.html">decay_t</a>&lt;decltype(t1)&gt;&gt; == true</code>（<code>t1</code> が <code>T</code> または <code>T</code> を継承した型のオブジェクト/参照）であるとき、 <code>(t1.*f)(t2, ..., tN)</code> と同じ効果を持つ。</li>
 <li><code>f</code> が型 <code>T</code> のメンバ関数へのポインタであり、<code><a href="../type_traits/decay.html">decay_t</a>&lt;decltype(t1)&gt;</code>が<code><a href="../functional/reference_wrapper.html">reference_wrapper&lt;T&gt;</a></code>（<code>t1</code>が<code><a href="../functional/reference_wrapper.html">reference_wrapper</a></code>の特殊化）であるとき、 <code>(t1.get().*f)(t2, ..., tN)</code> と同じ効果を持つ。</li>
 <li><code>f</code> が型 <code>T</code> のメンバ関数へのポインタであり、 <code>t1</code> が上記の条件に当てはまらない場合（例えば、t1が<code>T</code>のポインタ）、<code>((*t1).*f)(t2, ..., tN)</code> と同じ効果を持つ。</li>
-<li><code>N == 1</code> で、<code>f</code> が型 <code>T</code> のメンバオブジェクトへのポインタであり、<code><a href="../type_traits/is_base_of.html">is_baseof_v</a>&lt;T,<a href="../type_traits/decay.html">decay_t</a>&lt;decltype(t1)&gt;&gt; == true</code>（<code>t1</code> が <code>T</code> または <code>T</code> を継承した型のオブジェクト/参照）であるとき、 <code>t1.*f</code> と同じ効果を持つ。</li>
+<li><code>N == 1</code> で、<code>f</code> が型 <code>T</code> のメンバオブジェクトへのポインタであり、<code><a href="../type_traits/is_base_of.html">is_base_of_v</a>&lt;T,<a href="../type_traits/decay.html">decay_t</a>&lt;decltype(t1)&gt;&gt; == true</code>（<code>t1</code> が <code>T</code> または <code>T</code> を継承した型のオブジェクト/参照）であるとき、 <code>t1.*f</code> と同じ効果を持つ。</li>
 <li><code>N == 1</code> で、<code>f</code> が型 <code>T</code> のメンバオブジェクトへのポインタであり、<code><a href="../type_traits/decay.html">decay_t</a>&lt;decltype(t1)&gt;</code>が<code><a href="../functional/reference_wrapper.html">reference_wrapper&lt;T&gt;</a></code>（<code>t1</code>が<code><a href="../functional/reference_wrapper.html">reference_wrapper</a></code>の特殊化）であるとき、 <code>t1.get().*f</code> と同じ効果を持つ。</li>
 <li><code>N == 1</code> で、<code>f</code> が型 <code>T</code> のメンバオブジェクトへのポインタであり、<code>t1</code> が上記の条件に当てはまらない場合（例えば、t1が<code>T</code>のポインタ）、 <code>(*t1).*f</code> と同じ効果を持つ。</li>
 <li>上記の条件のどれにも当てはまらない場合、 <code>f(t1, t2, ..., tN)</code> と同じ効果を持つ。</li>
@@ -269,10 +269,10 @@ <h2>要件（C++17）</h2>
 <h2>要件（C++20）</h2>
 <ol>
 <li>仮想操作 <em>INVOKE</em><code>(f, t1, t2, ..., tN)</code> を次のように定義する。<ul>
-<li><code>f</code> が型 <code>T</code> のメンバ関数へのポインタであり、<code><a href="../type_traits/is_base_of.html">is_baseof_v</a>&lt;T,<a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;&gt; == true</code>（<code>t1</code> が <code>T</code> または <code>T</code> を継承した型のオブジェクト/参照）であるとき、 <code>(t1.*f)(t2, ..., tN)</code> と同じ効果を持つ。</li>
+<li><code>f</code> が型 <code>T</code> のメンバ関数へのポインタであり、<code><a href="../type_traits/is_base_of.html">is_base_of_v</a>&lt;T,<a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;&gt; == true</code>（<code>t1</code> が <code>T</code> または <code>T</code> を継承した型のオブジェクト/参照）であるとき、 <code>(t1.*f)(t2, ..., tN)</code> と同じ効果を持つ。</li>
 <li><code>f</code> が型 <code>T</code> のメンバ関数へのポインタであり、<code><a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;</code>が<code><a href="../functional/reference_wrapper.html">reference_wrapper&lt;T&gt;</a></code>（<code>t1</code>が<code><a href="../functional/reference_wrapper.html">reference_wrapper</a></code>の特殊化）であるとき、 <code>(t1.get().*f)(t2, ..., tN)</code> と同じ効果を持つ。</li>
 <li><code>f</code> が型 <code>T</code> のメンバ関数へのポインタであり、 <code>t1</code> が上記の条件に当てはまらない場合（例えば、t1が<code>T</code>のポインタ）、<code>((*t1).*f)(t2, ..., tN)</code> と同じ効果を持つ。</li>
-<li><code>N == 1</code> で、<code>f</code> が型 <code>T</code> のメンバオブジェクトへのポインタであり、<code><a href="../type_traits/is_base_of.html">is_baseof_v</a>&lt;T,<a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;&gt; == true</code>（<code>t1</code> が <code>T</code> または <code>T</code> を継承した型のオブジェクト/参照）であるとき、 <code>t1.*f</code> と同じ効果を持つ。</li>
+<li><code>N == 1</code> で、<code>f</code> が型 <code>T</code> のメンバオブジェクトへのポインタであり、<code><a href="../type_traits/is_base_of.html">is_base_of_v</a>&lt;T,<a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;&gt; == true</code>（<code>t1</code> が <code>T</code> または <code>T</code> を継承した型のオブジェクト/参照）であるとき、 <code>t1.*f</code> と同じ効果を持つ。</li>
 <li><code>N == 1</code> で、<code>f</code> が型 <code>T</code> のメンバオブジェクトへのポインタであり、<code><a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;</code>が<code><a href="../functional/reference_wrapper.html">reference_wrapper&lt;T&gt;</a></code>（<code>t1</code>が<code><a href="../functional/reference_wrapper.html">reference_wrapper</a></code>の特殊化）であるとき、 <code>t1.get().*f</code> と同じ効果を持つ。</li>
 <li><code>N == 1</code> で、<code>f</code> が型 <code>T</code> のメンバオブジェクトへのポインタであり、<code>t1</code> が上記の条件に当てはまらない場合（例えば、t1が<code>T</code>のポインタ）、 <code>(*t1).*f</code> と同じ効果を持つ。</li>
 <li>上記の条件のどれにも当てはまらない場合、 <code>f(t1, t2, ..., tN)</code> と同じ効果を持つ。</li>