1<html> 2<head> 3<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> 4<title>execution::execute</title> 5<link rel="stylesheet" href="../../../../doc/src/boostbook.css" type="text/css"> 6<meta name="generator" content="DocBook XSL Stylesheets V1.79.1"> 7<link rel="home" href="../../boost_asio.html" title="Boost.Asio"> 8<link rel="up" href="../reference.html" title="Reference"> 9<link rel="prev" href="execution__context_t/polymorphic_query_result_type.html" title="execution::context_t::polymorphic_query_result_type"> 10<link rel="next" href="execution__executor_index.html" title="execution::executor_index"> 11</head> 12<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"> 13<table cellpadding="2" width="100%"><tr> 14<td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../boost.png"></td> 15<td align="center"><a href="../../../../index.html">Home</a></td> 16<td align="center"><a href="../../../../libs/libraries.htm">Libraries</a></td> 17<td align="center"><a href="http://www.boost.org/users/people.html">People</a></td> 18<td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td> 19<td align="center"><a href="../../../../more/index.htm">More</a></td> 20</tr></table> 21<hr> 22<div class="spirit-nav"> 23<a accesskey="p" href="execution__context_t/polymorphic_query_result_type.html"><img src="../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../reference.html"><img src="../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../../boost_asio.html"><img src="../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="execution__executor_index.html"><img src="../../../../doc/src/images/next.png" alt="Next"></a> 24</div> 25<div class="section"> 26<div class="titlepage"><div><div><h3 class="title"> 27<a name="boost_asio.reference.execution__execute"></a><a class="link" href="execution__execute.html" title="execution::execute">execution::execute</a> 28</h3></div></div></div> 29<p> 30 <a class="indexterm" name="boost_asio.indexterm.execution__execute"></a> 31A customisation 32 point that executes a function on an executor. 33 </p> 34<pre class="programlisting">constexpr unspecified execute = unspecified; 35</pre> 36<p> 37 The name <code class="computeroutput">execution::execute</code> denotes a customisation point object. 38 </p> 39<p> 40 For some subexpressions <code class="computeroutput">e</code> and <code class="computeroutput">f</code>, let <code class="computeroutput">E</code> 41 be a type such that <code class="computeroutput">decltype((e))</code> is <code class="computeroutput">E</code> and let 42 <code class="computeroutput">F</code> be a type such that <code class="computeroutput">decltype((f))</code> is <code class="computeroutput">F</code>. 43 The expression <code class="computeroutput">execution::execute(e, f)</code> is ill-formed if <code class="computeroutput">F</code> 44 does not model <code class="computeroutput">invocable</code>, or if <code class="computeroutput">E</code> does not model 45 either <code class="computeroutput">executor</code> or <code class="computeroutput">sender</code>. Otherwise, it is expression-equivalent 46 to: 47 </p> 48<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "> 49<li class="listitem"> 50 <code class="computeroutput">e.execute(f)</code>, if that expression is valid. If the function 51 selected does not execute the function object <code class="computeroutput">f</code> on the executor 52 <code class="computeroutput">e</code>, the program is ill-formed with no diagnostic required. 53 </li> 54<li class="listitem"> 55 Otherwise, <code class="computeroutput">execute(e, f)</code>, if that expression is valid, with 56 overload resolution performed in a context that includes the declaration 57 <code class="computeroutput">void execute();</code> and that does not include a declaration 58 of <code class="computeroutput">execution::execute</code>. If the function selected by overload 59 resolution does not execute the function object <code class="computeroutput">f</code> on the 60 executor <code class="computeroutput">e</code>, the program is ill-formed with no diagnostic 61 required. 62 </li> 63</ul></div> 64<h5> 65<a name="boost_asio.reference.execution__execute.h0"></a> 66 <span class="phrase"><a name="boost_asio.reference.execution__execute.requirements"></a></span><a class="link" href="execution__execute.html#boost_asio.reference.execution__execute.requirements">Requirements</a> 67 </h5> 68<p> 69 <span class="emphasis"><em>Header: </em></span><code class="literal">boost/asio/execution/execute.hpp</code> 70 </p> 71<p> 72 <span class="emphasis"><em>Convenience header: </em></span><code class="literal">boost/asio/execution.hpp</code> 73 </p> 74</div> 75<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr> 76<td align="left"></td> 77<td align="right"><div class="copyright-footer">Copyright © 2003-2020 Christopher M. 78 Kohlhoff<p> 79 Distributed under the Boost Software License, Version 1.0. (See accompanying 80 file LICENSE_1_0.txt or copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>) 81 </p> 82</div></td> 83</tr></table> 84<hr> 85<div class="spirit-nav"> 86<a accesskey="p" href="execution__context_t/polymorphic_query_result_type.html"><img src="../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../reference.html"><img src="../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../../boost_asio.html"><img src="../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="execution__executor_index.html"><img src="../../../../doc/src/images/next.png" alt="Next"></a> 87</div> 88</body> 89</html> 90
