klarkxy/hustoj
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
master
hustoj/web/cppreference-zh/chmhelp/cpp-utility-functional-not_fn.html
klarkxy 196e706fe4 上传cppreference
2025-08-01 12:57:54 +08:00

318 lines
37 KiB
HTML
Raw Permalink Blame History

<!DOCTYPE html>
<html lang="zh" dir="ltr" class="client-nojs" xmlns="http://www.w3.org/1999/xhtml" xml:lang="zh">
<head><meta http-equiv="x-ua-compatible" content="ie=edge">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>std::not_fn</title>
<link rel="stylesheet" href="ext.css" />
<link rel="stylesheet" href="site_modules.css" />
</head>
<body class="mediawiki ltr sitedir-ltr ns-0 ns-subject page-cpp_utility_functional_not_fn skin-cppreference2 action-view cpp-navbar">
<div id="cpp-content-base">
<div id="content"><a id="top"></a>
<h1 id="firstHeading" class="firstHeading"><span style="font-size:0.7em; line-height:130%">std::</span>not_fn</h1>
<div id="bodyContent">
<div id="contentSub"><span class="subpages">&lt; <a href="cpp.html">cpp</a>&lrm; | <a href="cpp-utility.html">utility</a>&lrm; | <a href="cpp-utility-functional.html">functional</a></span></div>
<div id="mw-content-text" lang="zh" dir="ltr" class="mw-content-ltr" xml:lang="zh">
<table class="t-dcl-begin">
<tbody>
<tr class="t-dsc-header">
<td>
<div>&#23450;&#20041;&#20110;&#22836;&#25991;&#20214; <code><a href="cpp-header-functional.html">&lt;functional&gt;</a></code></div>
</td>
<td></td>
<td></td>
</tr>
</tbody>
<tbody class="t-dcl-rev">
<tr class="t-dcl t-since-cxx17 t-until-cxx20">
<td>
<div><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span><span class="sy1">&lt;</span> <span class="kw1">class</span> F<span class="sy1">&gt;</span><br />
<span class="coMULTI">/*unspecified*/</span> not_fn<span class="br0">(</span> F<span class="sy3">&amp;&amp;</span> f <span class="br0">)</span><span class="sy4">;</span></span></div>
</td>
<td class="t-dcl-nopad"></td>
<td><span class="t-mark-rev t-since-cxx17">(C++17 &#36215;)</span><br />
<span class="t-mark-rev t-until-cxx20">(C++20 &#21069;)</span></td>
</tr>
<tr class="t-dcl t-since-cxx20">
<td>
<div><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span><span class="sy1">&lt;</span> <span class="kw1">class</span> F<span class="sy1">&gt;</span><br />
<span class="kw4">constexpr</span> <span class="coMULTI">/*unspecified*/</span> not_fn<span class="br0">(</span> F<span class="sy3">&amp;&amp;</span> f <span class="br0">)</span><span class="sy4">;</span></span></div>
</td>
<td class="t-dcl-nopad"></td>
<td><span class="t-mark-rev t-since-cxx20">(C++20 &#36215;)</span></td>
</tr>
</tbody>
<tbody>
<tr class="t-dcl-sep">
<td></td>
<td></td>
<td></td>
</tr>
</tbody>
</table>
<p>&#26500;&#36896;&#19968;&#20010;&#36716;&#21457;&#35843;&#29992;&#21253;&#35013;&#22120;&#65292;&#36820;&#22238;&#20854;&#25152;&#20445;&#26377;&#30340;&#21487;&#35843;&#29992;&#23545;&#35937;&#30340;&#36923;&#36753;&#38750;&#12290;</p>
<h3><span class="mw-headline" id=".E5.8F.82.E6.95.B0">&#21442;&#25968;</span></h3>
<table class="t-par-begin">
<tr class="t-par">
<td>f</td>
<td>-</td>
<td>&#26500;&#36896;&#21253;&#35013;&#22120;&#25152;&#20445;&#26377;&#30340;<a href="cpp-named_req-Callable.html"><span style="font-style:italic">&#21487;&#35843;&#29992;</span> <span style="font-family: Georgia, &#39;DejaVu Serif&#39;, serif; font-style:italic">(Callable)</span></a> &#23545;&#35937;&#30340;&#26469;&#28304;&#23545;&#35937;</td>
</tr>
<tr class="t-par-hitem">
<td colspan="3">&#31867;&#22411;&#35201;&#27714;</td>
</tr>
<tr class="t-par-req">
<td colspan="3">-
<div class="spacer"></div>
<code><span class="t-c"><span class="mw-geshi cpp source-cpp"><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span></span></span></code> &#24517;&#39035;&#28385;&#36275;<a href="cpp-named_req-Callable.html"><span style="font-style:italic">&#21487;&#35843;&#29992;</span> <span style="font-family: Georgia, &#39;DejaVu Serif&#39;, serif; font-style:italic">(Callable)</span></a> &#21644; <a href="cpp-named_req-MoveConstructible.html"><span style="font-style:italic">&#21487;&#31227;&#21160;&#26500;&#36896;</span> <span style="font-family: Georgia, &#39;DejaVu Serif&#39;, serif; font-style:italic">(MoveConstructible)</span></a> &#30340;&#35201;&#27714;&#12290;</td>
</tr>
<tr class="t-par-req">
<td colspan="3">-
<div class="spacer"></div>
&#35201;&#27714; <span class="t-c"><span class="mw-geshi cpp source-cpp"><a href="cpp-types-is_constructible.html"><span class="kw521">std::<span class="me2">is_constructible_v</span></span></a><span class="sy1">&lt;</span><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span>, F<span class="sy1">&gt;</span></span></span> &#20026; true</td>
</tr>
</table>
<h3><span class="mw-headline" id=".E8.BF.94.E5.9B.9E.E5.80.BC">&#36820;&#22238;&#20540;</span></h3>
<p>&#26410;&#25351;&#23450;&#31867;&#22411; T &#30340;&#20989;&#25968;&#23545;&#35937;&#12290;&#23427;&#25317;&#26377;&#19979;&#21015;&#25104;&#21592;&#65306;</p>
<div class="t-member">
<h2><span class="mw-headline" id="std::not_fn_.E8.BF.94.E5.9B.9E.E7.B1.BB.E5.9E.8B"><span style="font-size:0.7em; line-height:130%">std::not_fn</span> <i>&#36820;&#22238;&#31867;&#22411;</i></span></h2>
<h4><span class="mw-headline" id=".E6.88.90.E5.91.98.E5.AF.B9.E8.B1.A1">&#25104;&#21592;&#23545;&#35937;</span></h4>
<p><code>std::not_fn</code> &#30340;&#36820;&#22238;&#31867;&#22411;&#20445;&#26377;&#19968;&#20010; <span class="t-c"><span class="mw-geshi cpp source-cpp"><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span></span></span> &#31867;&#22411;&#30340;&#25104;&#21592;&#23545;&#35937;&#12290;</p>
<h4><span class="mw-headline" id=".E6.9E.84.E9.80.A0.E5.87.BD.E6.95.B0">&#26500;&#36896;&#20989;&#25968;</span></h4>
<table class="t-dcl-begin">
<tbody></tbody>
<tbody class="t-dcl-rev t-dcl-rev-num">
<tr class="t-dcl-rev-aux">
<td></td>
<td rowspan="142">(1)</td>
<td></td>
</tr>
<tr class="t-dcl t-since-cxx17 t-until-cxx20">
<td>
<div><span class="mw-geshi cpp source-cpp"><span class="kw1">explicit</span> T<span class="br0">(</span>F<span class="sy3">&amp;&amp;</span> f<span class="br0">)</span><span class="sy4">;</span> <span class="co1">// &#20165;&#29992;&#20110;&#38416;&#37322;</span></span></div>
</td>
<td class="t-dcl-nopad"></td>
<td><span class="t-mark-rev t-since-cxx17">(C++17 &#36215;)</span><br />
<span class="t-mark-rev t-until-cxx20">(C++20 &#21069;)</span></td>
</tr>
<tr class="t-dcl t-since-cxx20">
<td>
<div><span class="mw-geshi cpp source-cpp"><span class="kw1">explicit</span> <span class="kw4">constexpr</span> T<span class="br0">(</span>F<span class="sy3">&amp;&amp;</span> f<span class="br0">)</span><span class="sy4">;</span> <span class="co1">// &#20165;&#29992;&#20110;&#38416;&#37322;</span></span></div>
</td>
<td class="t-dcl-nopad"></td>
<td><span class="t-mark-rev t-since-cxx20">(C++20 &#36215;)</span></td>
</tr>
</tbody>
<tbody>
<tr class="t-dcl">
<td>
<div><span class="mw-geshi cpp source-cpp">T<span class="br0">(</span>T<span class="sy3">&amp;&amp;</span> f<span class="br0">)</span> <span class="sy1">=</span> <span class="kw1">default</span><span class="sy4">;</span><br />
T<span class="br0">(</span><span class="kw4">const</span> T<span class="sy3">&amp;</span> f<span class="br0">)</span> <span class="sy1">=</span> <span class="kw1">default</span><span class="sy4">;</span></span></div>
</td>
<td>(2)</td>
<td class="t-dcl-nopad"></td>
</tr>
<tr class="t-dcl-sep">
<td></td>
<td></td>
<td></td>
</tr>
</tbody>
</table>
<div class="t-li1"><span class="t-li">1)</span> &#26500;&#36896;&#20989;&#25968;&#20174; <span class="t-c"><span class="mw-geshi cpp source-cpp"><a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span><span class="br0">(</span>f<span class="br0">)</span></span></span> &#30452;&#25509;&#38750;&#21015;&#34920;&#21021;&#22987;&#21270;&#25104;&#21592;&#23545;&#35937;&#65288;&#31867;&#22411;&#20026; <span class="t-c"><span class="mw-geshi cpp source-cpp"><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span></span></span> &#65289;&#12290;&#25243;&#20986;&#20219;&#20309;&#25152;&#36873;&#26500;&#36896;&#20989;&#25968;&#25152;&#25243;&#30340;&#24322;&#24120;</div>
<div class="t-li1"><span class="t-li">2)</span> &#22240;&#20026;&#35201;&#27714; <span class="t-c"><span class="mw-geshi cpp source-cpp"><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span></span></span> <a href="cpp-named_req-MoveConstructible.html"><span style="font-style:italic">&#21487;&#31227;&#21160;&#26500;&#36896;</span> <span style="font-family: Georgia, &#39;DejaVu Serif&#39;, serif; font-style:italic">(MoveConstructible)</span></a> &#65292;&#25925;&#36820;&#22238;&#30340;&#35843;&#29992;&#21253;&#35013;&#22120;&#22987;&#32456;&#20026;<a href="cpp-named_req-MoveConstructible.html"><span style="font-style:italic">&#21487;&#31227;&#21160;&#26500;&#36896;</span> <span style="font-family: Georgia, &#39;DejaVu Serif&#39;, serif; font-style:italic">(MoveConstructible)</span></a> &#65292;&#24182;&#19988;&#33509; <span class="t-c"><span class="mw-geshi cpp source-cpp"><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span></span></span> &#20026;<a href="cpp-named_req-CopyConstructible.html"><span style="font-style:italic">&#21487;&#22797;&#21046;&#26500;&#36896;</span> <span style="font-family: Georgia, &#39;DejaVu Serif&#39;, serif; font-style:italic">(CopyConstructible)</span></a> &#65292;&#21017;&#20026;<a href="cpp-named_req-CopyConstructible.html"><span style="font-style:italic">&#21487;&#22797;&#21046;&#26500;&#36896;</span> <span style="font-family: Georgia, &#39;DejaVu Serif&#39;, serif; font-style:italic">(CopyConstructible)</span></a> &#12290;</div>
<h4><span class="mw-headline" id=".E6.88.90.E5.91.98.E5.87.BD.E6.95.B0_operator.28.29">&#25104;&#21592;&#20989;&#25968; <code>operator()</code></span></h4>
<table class="t-dcl-begin">
<tbody></tbody>
<tbody class="t-dcl-rev t-dcl-rev-num">
<tr class="t-dcl-rev-aux">
<td></td>
<td rowspan="142">(1)</td>
<td></td>
</tr>
<tr class="t-dcl t-since-cxx17 t-until-cxx20">
<td>
<div><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span> <span class="sy3">&amp;</span><br /></span>
<p><span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><br />
&nbsp; &nbsp; <span class="sy3">!</span><a href="cpp-utility-declval.html"><span class="kw1119">std::<span class="me2">declval</span></span></a><span class="sy1">&lt;</span>std<span class="sy4">::</span><span class="me2">invoke_result_t</span><span class="sy1">&lt;</span><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span><span class="sy3">&amp;</span>, Args...<span class="sy1">&gt;&gt;</span><span class="br0">(</span><span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span><br />
<span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span> <span class="kw4">const</span><span class="sy3">&amp;</span><br />
<span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><br /></p>
&nbsp; &nbsp; <span class="sy3">!</span><a href="cpp-utility-declval.html"><span class="kw1119">std::<span class="me2">declval</span></span></a><span class="sy1">&lt;</span>std<span class="sy4">::</span><span class="me2">invoke_result_t</span><span class="sy1">&lt;</span><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span> <span class="kw4">const</span><span class="sy3">&amp;</span>, Args...<span class="sy1">&gt;&gt;</span><span class="br0">(</span><span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span></div>
</td>
<td class="t-dcl-nopad"></td>
<td><span class="t-mark-rev t-since-cxx17">(C++17 &#36215;)</span><br />
<span class="t-mark-rev t-until-cxx20">(C++20 &#21069;)</span></td>
</tr>
<tr class="t-dcl t-since-cxx20">
<td>
<div><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span> <span class="sy3">&amp;</span><br /></span>
<p>&nbsp; &nbsp;<span class="kw1">noexcept</span><span class="br0">(</span><span class="coMULTI">/*see below*/</span><span class="br0">)</span><br />
<span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><br />
&nbsp; &nbsp; <span class="sy3">!</span><a href="cpp-utility-declval.html"><span class="kw1119">std::<span class="me2">declval</span></span></a><span class="sy1">&lt;</span>std<span class="sy4">::</span><span class="me2">invoke_result_t</span><span class="sy1">&lt;</span><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span><span class="sy3">&amp;</span>, Args...<span class="sy1">&gt;&gt;</span><span class="br0">(</span><span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span><br />
<span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span> <span class="kw4">const</span><span class="sy3">&amp;</span><br />
&nbsp; &nbsp;<span class="kw1">noexcept</span><span class="br0">(</span><span class="coMULTI">/*see below*/</span><span class="br0">)</span><br />
<span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><br /></p>
&nbsp; &nbsp; <span class="sy3">!</span><a href="cpp-utility-declval.html"><span class="kw1119">std::<span class="me2">declval</span></span></a><span class="sy1">&lt;</span>std<span class="sy4">::</span><span class="me2">invoke_result_t</span><span class="sy1">&lt;</span><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span> <span class="kw4">const</span><span class="sy3">&amp;</span>, Args...<span class="sy1">&gt;&gt;</span><span class="br0">(</span><span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span></div>
</td>
<td class="t-dcl-nopad"></td>
<td><span class="t-mark-rev t-since-cxx20">(C++20 &#36215;)</span></td>
</tr>
</tbody>
<tbody></tbody>
<tbody class="t-dcl-rev t-dcl-rev-num">
<tr class="t-dcl-rev-aux">
<td></td>
<td rowspan="142">(2)</td>
<td></td>
</tr>
<tr class="t-dcl t-since-cxx17 t-until-cxx20">
<td>
<div><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span> <span class="sy3">&amp;&amp;</span><br /></span>
<p><span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><br />
&nbsp; &nbsp; <span class="sy3">!</span><a href="cpp-utility-declval.html"><span class="kw1119">std::<span class="me2">declval</span></span></a><span class="sy1">&lt;</span>std<span class="sy4">::</span><span class="me2">invoke_result_t</span><span class="sy1">&lt;</span><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span>, Args...<span class="sy1">&gt;&gt;</span><span class="br0">(</span><span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span><br />
<span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span> <span class="kw4">const</span><span class="sy3">&amp;&amp;</span><br />
<span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><br /></p>
&nbsp; &nbsp; <span class="sy3">!</span><a href="cpp-utility-declval.html"><span class="kw1119">std::<span class="me2">declval</span></span></a><span class="sy1">&lt;</span>std<span class="sy4">::</span><span class="me2">invoke_result_t</span><span class="sy1">&lt;</span><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span> <span class="kw4">const</span>, Args...<span class="sy1">&gt;&gt;</span><span class="br0">(</span><span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span></div>
</td>
<td class="t-dcl-nopad"></td>
<td><span class="t-mark-rev t-since-cxx17">(C++17 &#36215;)</span><br />
<span class="t-mark-rev t-until-cxx20">(C++20 &#21069;)</span></td>
</tr>
<tr class="t-dcl t-since-cxx20">
<td>
<div><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span> <span class="sy3">&amp;&amp;</span><br /></span>
<p>&nbsp; &nbsp;<span class="kw1">noexcept</span><span class="br0">(</span><span class="coMULTI">/*see below*/</span><span class="br0">)</span><br />
<span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><br />
&nbsp; &nbsp; <span class="sy3">!</span><a href="cpp-utility-declval.html"><span class="kw1119">std::<span class="me2">declval</span></span></a><span class="sy1">&lt;</span>std<span class="sy4">::</span><span class="me2">invoke_result_t</span><span class="sy1">&lt;</span><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span>, Args...<span class="sy1">&gt;&gt;</span><span class="br0">(</span><span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span><br />
<span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span> <span class="kw4">const</span><span class="sy3">&amp;&amp;</span><br />
&nbsp; &nbsp;<span class="kw1">noexcept</span><span class="br0">(</span><span class="coMULTI">/*see below*/</span><span class="br0">)</span><br />
<span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><br /></p>
&nbsp; &nbsp; <span class="sy3">!</span><a href="cpp-utility-declval.html"><span class="kw1119">std::<span class="me2">declval</span></span></a><span class="sy1">&lt;</span>std<span class="sy4">::</span><span class="me2">invoke_result_t</span><span class="sy1">&lt;</span><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span> <span class="kw4">const</span>, Args...<span class="sy1">&gt;&gt;</span><span class="br0">(</span><span class="br0">)</span><span class="br0">)</span><span class="sy4">;</span></div>
</td>
<td class="t-dcl-nopad"></td>
<td><span class="t-mark-rev t-since-cxx20">(C++20 &#36215;)</span></td>
</tr>
</tbody>
<tbody>
<tr class="t-dcl-sep">
<td></td>
<td></td>
<td></td>
</tr>
</tbody>
</table>
<table class="t-rev-begin">
<tr class="t-rev t-since-cxx17 t-until-cxx20">
<td>
<div class="t-li1"><span class="t-li">1)</span> &#31561;&#20215;&#20110; <span class="t-c"><span class="mw-geshi cpp source-cpp"><span class="kw1">return</span> <span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>fd, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span></span></span></div>
<div class="t-li1"><span class="t-li">2)</span> &#31561;&#20215;&#20110; <span class="t-c"><span class="mw-geshi cpp source-cpp"><span class="kw1">return</span> <span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>std<span class="sy4">::</span><span class="me2">move</span><span class="br0">(</span>fd<span class="br0">)</span>, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span></span></span></div>
</td>
<td><span class="t-mark-rev t-since-cxx17">(C++17 &#36215;)</span><br />
<span class="t-mark-rev t-until-cxx20">(C++20 &#21069;)</span></td>
</tr>
<tr class="t-rev t-since-cxx20">
<td>
<div class="t-li1"><span class="t-li">1)</span> &#34920;&#36798;&#24335;&#31561;&#20215;&#20110; <span class="t-c"><span class="mw-geshi cpp source-cpp"><span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>fd, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span></span></span></div>
<div class="t-li1"><span class="t-li">2)</span> &#34920;&#36798;&#24335;&#31561;&#20215;&#20110; <span class="t-c"><span class="mw-geshi cpp source-cpp"><span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>std<span class="sy4">::</span><span class="me2">move</span><span class="br0">(</span>fd<span class="br0">)</span>, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span></span></span></div>
</td>
<td><span class="t-mark-rev t-since-cxx20">(C++20 &#36215;)</span></td>
</tr>
</table>
<p>&#20854;&#20013; <code>fd</code> &#26159; std::decay_t&lt;F&gt; &#31867;&#22411;&#30340;&#25104;&#21592;&#23545;&#35937;</p>
</div>
<h3><span class="mw-headline" id=".E5.BC.82.E5.B8.B8">&#24322;&#24120;</span></h3>
<p>&#19981;&#25243;&#20986;&#24322;&#24120;&#65292;&#38500;&#38750; <code>fd</code> &#30340;&#26500;&#36896;&#25243;&#20986;&#24322;&#24120;&#12290;</p>
<h3><span class="mw-headline" id=".E5.8F.AF.E8.83.BD.E7.9A.84.E5.AE.9E.E7.8E.B0">&#21487;&#33021;&#30340;&#23454;&#29616;</span></h3>
<table class="eq-fun-cpp-table">
<tr>
<td>
<div dir="ltr" class="mw-geshi" style="text-align: left;">
<div class="cpp source-cpp">
<pre class="de1"><span class="kw1">namespace</span> detail <span class="br0">{</span>
<span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> F<span class="sy1">&gt;</span>
<span class="kw1">struct</span> not_fn_t <span class="br0">{</span>
F f<span class="sy4">;</span>
<span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span>
<span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span> <span class="sy3">&amp;</span>
<span class="kw1">noexcept</span><span class="br0">(</span><span class="kw1">noexcept</span><span class="br0">(</span><span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>f, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span><span class="br0">)</span><span class="br0">)</span>
<span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>f, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span><span class="br0">)</span>
<span class="br0">{</span>
<span class="kw1">return</span> <span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>f, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span><span class="sy4">;</span>
<span class="br0">}</span>
<span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span>
<span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span> <span class="kw4">const</span><span class="sy3">&amp;</span>
<span class="kw1">noexcept</span><span class="br0">(</span><span class="kw1">noexcept</span><span class="br0">(</span><span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>f, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span><span class="br0">)</span><span class="br0">)</span>
<span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>f, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span><span class="br0">)</span>
<span class="br0">{</span>
<span class="kw1">return</span> <span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>f, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span><span class="sy4">;</span>
<span class="br0">}</span>
<span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span>
<span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span> <span class="sy3">&amp;&amp;</span>
<span class="kw1">noexcept</span><span class="br0">(</span><span class="kw1">noexcept</span><span class="br0">(</span><span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>std<span class="sy4">::</span><span class="me2">move</span><span class="br0">(</span>f<span class="br0">)</span>, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span><span class="br0">)</span><span class="br0">)</span>
<span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>std<span class="sy4">::</span><span class="me2">move</span><span class="br0">(</span>f<span class="br0">)</span>, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span><span class="br0">)</span>
<span class="br0">{</span>
<span class="kw1">return</span> <span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>std<span class="sy4">::</span><span class="me2">move</span><span class="br0">(</span>f<span class="br0">)</span>, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span><span class="sy4">;</span>
<span class="br0">}</span>
<span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span>
<span class="kw4">constexpr</span> <span class="kw4">auto</span> operator<span class="br0">(</span><span class="br0">)</span><span class="br0">(</span>Args<span class="sy3">&amp;&amp;</span>... <span class="me1">args</span><span class="br0">)</span> <span class="kw4">const</span><span class="sy3">&amp;&amp;</span>
<span class="kw1">noexcept</span><span class="br0">(</span><span class="kw1">noexcept</span><span class="br0">(</span><span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>std<span class="sy4">::</span><span class="me2">move</span><span class="br0">(</span>f<span class="br0">)</span>, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span><span class="br0">)</span><span class="br0">)</span>
<span class="sy2">-</span><span class="sy1">&gt;</span> decltype<span class="br0">(</span><span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>std<span class="sy4">::</span><span class="me2">move</span><span class="br0">(</span>f<span class="br0">)</span>, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span><span class="br0">)</span>
<span class="br0">{</span>
<span class="kw1">return</span> <span class="sy3">!</span><a href="cpp-utility-functional-invoke.html"><span class="kw1057">std::<span class="me2">invoke</span></span></a><span class="br0">(</span>std<span class="sy4">::</span><span class="me2">move</span><span class="br0">(</span>f<span class="br0">)</span>, <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>Args<span class="sy1">&gt;</span><span class="br0">(</span>args<span class="br0">)</span>...<span class="br0">)</span><span class="sy4">;</span>
<span class="br0">}</span>
<span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span>
<span class="kw1">template</span><span class="sy1">&lt;</span><span class="kw1">class</span> F<span class="sy1">&gt;</span>
<span class="kw4">constexpr</span> detail<span class="sy4">::</span><span class="me2">not_fn_t</span><span class="sy1">&lt;</span><a href="cpp-types-decay.html"><span class="kw629">std::<span class="me2">decay_t</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;&gt;</span> not_fn<span class="br0">(</span>F<span class="sy3">&amp;&amp;</span> f<span class="br0">)</span>
<span class="br0">{</span>
<span class="kw1">return</span> <span class="br0">{</span> <a href="cpp-utility-forward.html"><span class="kw1116">std::<span class="me2">forward</span></span></a><span class="sy1">&lt;</span>F<span class="sy1">&gt;</span><span class="br0">(</span>f<span class="br0">)</span> <span class="br0">}</span><span class="sy4">;</span>
<span class="br0">}</span></pre></div>
</div>
</td>
</tr>
</table>
<h3><span class="mw-headline" id=".E6.B3.A8.E8.A7.A3">&#27880;&#35299;</span></h3>
<p><code>not_fn</code> &#30340;&#30446;&#30340;&#26159;&#21462;&#20195; C++03 &#26102;&#20195;&#30340;&#21462;&#21453;&#22120; <span class="t-lc"><a href="cpp-utility-functional-not1.html">std::not1</a></span> &#21450; <span class="t-lc"><a href="cpp-utility-functional-not2.html">std::not2</a></span> &#12290;</p>
<h3><span class="mw-headline" id=".E7.A4.BA.E4.BE.8B">&#31034;&#20363;</span></h3>
<table class="metadata plainlinks ambox mbox-small-left ambox-notice" style="">
<tr>
<td class="mbox-empty-cell"></td>
<td class="mbox-text" style="">&#26412;&#33410;&#26410;&#23436;&#25104;<br />
&#21407;&#22240;&#65306;&#26242;&#26080;&#31034;&#20363;</td>
</tr>
</table>
<h3><span class="mw-headline" id=".E5.8F.82.E9.98.85">&#21442;&#38405;</span></h3>
<table class="t-dsc-begin">
<tr class="t-dsc">
<td>
<div class="t-dsc-member-div">
<div><a href="cpp-utility-functional-not1.html"><span class="t-lines"><span>not1</span></span></a></div>
<div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx17">(C++17 &#20013;&#24323;&#29992;)</span><span class="t-mark-rev t-until-cxx20">(C++20 &#20013;&#31227;&#38500;)</span></span></span></div>
</div>
</td>
<td>&#26500;&#36896;&#23450;&#21046;&#30340; <span class="t-lc"><a href="cpp-utility-functional-unary_negate.html">std::unary_negate</a></span> &#23545;&#35937;<br />
<span class="t-mark">(&#20989;&#25968;&#27169;&#26495;)</span></td>
</tr>
<tr class="t-dsc">
<td>
<div class="t-dsc-member-div">
<div><a href="cpp-utility-functional-not2.html"><span class="t-lines"><span>not2</span></span></a></div>
<div><span class="t-lines"><span><span class="t-mark-rev t-deprecated-cxx17">(C++17 &#20013;&#24323;&#29992;)</span><span class="t-mark-rev t-until-cxx20">(C++20 &#20013;&#31227;&#38500;)</span></span></span></div>
</div>
</td>
<td>&#26500;&#36896;&#23450;&#21046;&#30340; <span class="t-lc"><a href="cpp-utility-functional-binary_negate.html">std::binary_negate</a></span> &#23545;&#35937;<br />
<span class="t-mark">(&#20989;&#25968;&#27169;&#26495;)</span></td>
</tr>
</table>
</div>
<div class="visualClear"></div>
</div>
</div>
</div>
</body>
</html>
Reference in New Issue View Git Blame Copy Permalink