cpprefjp.github.io/lang/cpp11/lambda_expressions.html at master · cpprefjp/cpprefjp.github.io

759 lines (663 loc) · 81.8 KB
<!doctype html>
<html class="cpprefjp" lang="ja" itemscope="" itemtype="http://schema.org/WebPage">
<!-- Google tag (gtag.js) -->
<script async src="https://www.googletagmanager.com/gtag/js?id=G-NXNBNVBTJS"></script>
  window.dataLayer = window.dataLayer || [];
  function gtag(){dataLayer.push(arguments);}
  gtag('js', new Date());
  gtag('config', 'G-NXNBNVBTJS');
        <meta charset="UTF-8">
        <title>ラムダ式 [N2927] - cpprefjp C++日本語リファレンス</title>
        <meta name="viewport" content="width=device-width,initial-scale=1">
        <meta name="keywords" content="
  C++,標準ライブラリ,リファレンス,ドキュメント,STL,std,cpp11
        <meta name="title" content="ラムダ式 [N2927] - cpprefjp C++日本語リファレンス" />
        <meta itemprop="name" content="ラムダ式 [N2927] - cpprefjp C++日本語リファレンス" />
        <meta property="og:title" content="ラムダ式 [N2927] - cpprefjp C++日本語リファレンス" />
        <meta property="og:url" content="https://cpprefjp.github.io/lang/cpp11/lambda_expressions.html" />
        <meta property="og:site_name" content="cpprefjp - C++日本語リファレンス" />
        <meta property="og:type" content="article" />
        <meta property="og:description" content="「ラムダ式(lambda expressions)」は、簡易的な関数オブジェクトをその場で定義するための機能である。" />
        <meta name="twitter:card" content="summary" />
        <meta name="twitter:title" content="ラムダ式 [N2927] - cpprefjp C++日本語リファレンス" />
        <meta name="twitter:url" content="https://cpprefjp.github.io/lang/cpp11/lambda_expressions.html" />
        <meta name="twitter:description" content="「ラムダ式(lambda expressions)」は、簡易的な関数オブジェクトをその場で定義するための機能である。" />
  <link rel="alternate" type="application/atom+xml" title="Atom" href="https://cpprefjp.github.io/rss.xml" />
<link rel="apple-touch-icon" sizes="180x180" href="../../static/favicons/apple-touch-icon.png?cachebust=3c9d8a5b6818eaf6389bd7377cb65a183a2563fe">
<link rel="icon" type="image/png" sizes="32x32" href="../../static/favicons/favicon-32x32.png?cachebust=3c9d8a5b6818eaf6389bd7377cb65a183a2563fe">
<link rel="icon" type="image/png" sizes="16x16" href="../../static/favicons/favicon-16x16.png?cachebust=3c9d8a5b6818eaf6389bd7377cb65a183a2563fe">
<link rel="manifest" href="../../manifest.json?cachebust=3c9d8a5b6818eaf6389bd7377cb65a183a2563fe">
<meta name="theme-color" content="#f5f8fc">
<link rel="stylesheet" href="../../static/pygments/default.css?cachebust=3c9d8a5b6818eaf6389bd7377cb65a183a2563fe">
<!-- <link rel="stylesheet" href="../../static/css/root.css"> -->
<link href="../../static/kunai/css/kunai-stage-0.css?cachebust=3c9d8a5b6818eaf6389bd7377cb65a183a2563fe" rel="stylesheet">
<link href="../../static/kunai/css/kunai-stage-1.css?cachebust=3c9d8a5b6818eaf6389bd7377cb65a183a2563fe" rel="stylesheet">
<link href="../../static/kunai/css/kunai-stage-2.css?cachebust=3c9d8a5b6818eaf6389bd7377cb65a183a2563fe" rel="stylesheet">
<link href="../../static/kunai/css/kunai-stage-3.css?cachebust=3c9d8a5b6818eaf6389bd7377cb65a183a2563fe" rel="stylesheet">
<script type="text/javascript" src="../../static/kunai/js/kunai-vendor.js?cachebust=3c9d8a5b6818eaf6389bd7377cb65a183a2563fe"></script>
<script type="text/javascript" src="../../static/kunai/js/kunai.js?cachebust=3c9d8a5b6818eaf6389bd7377cb65a183a2563fe"></script>
<script type="text/javascript">
  document.addEventListener('DOMContentLoaded', function() {
    var kn = new Kunai;
    kn.cpprefjp();
    </head>
<header data-kunai-mdinfo="{&#34;meta&#34;: {&#34;cpp&#34;: [&#34;cpp11&#34;]}, &#34;sources&#34;: [{&#34;id&#34;: &#34;e502721d95a3ff09efb894361e33c8819f240bb1&#34;, &#34;source&#34;: &#34;#include &lt;iostream&gt;\n\n// \u30b3\u30d4\u30fc\u30ad\u30e3\u30d7\u30c1\u30e3\u306e\u4f8b\nvoid copy_capture_example()\n{\n  int a = 0;\n  auto f = [a] { return a; }; // \u5909\u6570a\u3092\u30b3\u30d4\u30fc\u30ad\u30e3\u30d7\u30c1\u30e3\u3059\u308b\n\n  a = 1;\n\n  // \u30e9\u30e0\u30c0\u5f0f\u3092\u5b9a\u7fa9\u3057\u305f\u6642\u70b9\u3067\u306e\u5909\u6570a\u304c\u30b3\u30d4\u30fc\u3055\u308c\u3001\u4f7f\u7528\u3055\u308c\u308b\u306e\u3067\u3001\n  // \u30e9\u30e0\u30c0\u5f0f\u306e\u306a\u304b\u3067\u306f\u3001\u5909\u6570a\u306e\u5024\u306f0\u3068\u306a\u308b\n  int result = f(); // result == 0\n  std::cout &lt;&lt; result &lt;&lt; std::endl;\n}\n\n// \u53c2\u7167\u30ad\u30e3\u30d7\u30c1\u30e3\u306e\u4f8b\nvoid reference_capture_example()\n{\n  int a = 0;\n  auto f = [&amp;a] { return a; }; // \u5909\u6570a\u3092\u53c2\u7167\u30ad\u30e3\u30d7\u30c1\u30e3\u3059\u308b\n\n  a = 1;\n\n  // \u53c2\u7167\u30ad\u30e3\u30d7\u30c1\u30e3\u3057\u305f\u5909\u6570\u306f\u3001\u30e9\u30e0\u30c0\u5f0f\u3092\u5b9f\u884c\u3059\u308b\u6642\u70b9\u3067\u306e\u5024\u3068\u306a\u308b\u306e\u3067\u3001\n  // \u30e9\u30e0\u30c0\u5f0f\u306e\u306a\u304b\u3067\u306f\u3001\u5909\u6570a\u306e\u5024\u306f1\u3068\u306a\u308b\n  int result = f(); // result == 1\n  std::cout &lt;&lt; result &lt;&lt; std::endl;\n}\n\nint main()\n{\n  copy_capture_example();\n  reference_capture_example();\n}\n&#34;}, {&#34;id&#34;: &#34;4dba0a9aa666538be8d3570891ac5f5937a37421&#34;, &#34;source&#34;: &#34;#include &lt;iostream&gt;\n\nclass X {\n  int member_value_ = 3;\npublic:\n  void foo()\n  {\n    int copy_value = 4;\n\n    auto f = [this, copy_value] {\n      member_value_ = 5; // \u30e1\u30f3\u30d0\u5909\u6570\u3092\u53c2\u7167\u3059\u308b\n      bar(); // \u30e1\u30f3\u30d0\u95a2\u6570\u3092\u547c\u3073\u51fa\u3059\n\n      return copy_value * 2; // \u30b3\u30d4\u30fc\u30ad\u30e3\u30d7\u30c1\u30e3\u3057\u305f\u30ed\u30fc\u30ab\u30eb\u5909\u6570\u3092\u4f7f\u7528\u3059\u308b\n    };\n\n    int result = f();\n    std::cout &lt;&lt; \&#34;member_value_ : \&#34; &lt;&lt; member_value_ &lt;&lt; std::endl;\n    std::cout &lt;&lt; \&#34;result : \&#34; &lt;&lt; result &lt;&lt; std::endl;\n  }\n\nprivate:\n  void bar()\n  {\n    std::cout &lt;&lt; \&#34;bar\&#34; &lt;&lt; std::endl;\n  }\n};\n\nint main()\n{\n  X().foo();\n}\n&#34;}, {&#34;id&#34;: &#34;1f5bd8c565b7376411f4684829256e2e1e48b1d1&#34;, &#34;source&#34;: &#34;#include &lt;functional&gt;\n\nstd::function&lt;int(int)&gt; foo()\n{\n  int n = 3;\n  return [&amp;n](int i) -&gt; int { return n + i; };\n}\n\nint main()\n{\n  foo()(2); // \u672a\u5b9a\u7fa9\u52d5\u4f5c\n}\n&#34;}, {&#34;id&#34;: &#34;1305e61c8ea3ad606e34557a19c7363728573aa5&#34;, &#34;source&#34;: &#34;#include &lt;iostream&gt;\n\nvoid foo(int(*fp)(int, int))\n{\n  int result = fp(2, 3);\n  std::cout &lt;&lt; result &lt;&lt; std::endl;\n}\n\nint main()\n{\n  foo([](int a, int b) { return a + b; });\n}\n&#34;}, {&#34;id&#34;: &#34;157b1ce6ec7dc233c5c3285b3fa11e4ab81f33b7&#34;, &#34;source&#34;: &#34;#include &lt;iostream&gt;\n#include &lt;vector&gt;\n#include &lt;algorithm&gt;\n\nint main()\n{\n  std::vector&lt;int&gt; v = {1, 2, 3, 4, 5};\n\n  // \u6761\u4ef6\u4e00\u81f4\u3059\u308b\u6700\u521d\u306e\u8981\u7d20\u3092\u691c\u7d22\u3059\u308b\n  decltype(v)::iterator it = std::find_if(\n                               v.begin(),\n                               v.end(),\n                               [](int x) { return x % 2 == 0; }\n                             );\n\n  // \u898b\u3064\u304b\u3063\u305f\n  if (it != v.end()) {\n    int found_value = *it;\n    std::cout &lt;&lt; found_value &lt;&lt; std::endl;\n  }\n}\n&#34;}, {&#34;id&#34;: &#34;3ef45eeb7735a98eff4e342e394d3dac1059aaec&#34;, &#34;source&#34;: &#34;#include &lt;iostream&gt;\n#include &lt;functional&gt;\n\nvoid proc(std::function&lt;void()&gt; on_complete)\n{\n  // \u2026\u6642\u9593\u306e\u304b\u304b\u308b\u51e6\u7406\u2026\n  for (int i = 0; i &lt; 10; ++i) {\n    std::cout &lt;&lt; i &lt;&lt; std::endl;\n  }\n\n  // \u5b8c\u4e86\u30cf\u30f3\u30c9\u30e9\u3092\u547c\u3073\u51fa\u3059\n  on_complete();\n}\n\nint main()\n{\n  // \u51e6\u7406\u304c\u5b8c\u4e86\u3057\u305f\u3068\u304d\u306b\u547c\u3070\u308c\u308b\u95a2\u6570\u3092\u6307\u5b9a\u3059\u308b\n  proc([] {\n    std::cout &lt;&lt; \&#34;complete\&#34; &lt;&lt; std::endl;\n  });\n}\n&#34;}], &#34;page_id&#34;: [&#34;lang&#34;, &#34;cpp11&#34;, &#34;lambda_expressions&#34;]}">
  <nav class="navbar navbar-default" role="navigation">
    <div class="container-fluid">
      <div class="navbar-header">
        <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar-collapse">
          <span class="sr-only">Toggle navigation</span>
          <span class="icon-bar"></span>
          <span class="icon-bar"></span>
          <span class="icon-bar"></span>
        </button>
        <a class="navbar-brand" href="../../index.html">
          <div class="title-wrapper clearfix">
            <div class="title">cpprefjp - C++日本語リファレンス</div>
          </div>
        </a>
      </div>
      <div class="collapse navbar-collapse" id="navbar-collapse">
        <ul class="nav navbar-nav navbar-right">
          <li>
            <div class="google-search">
  (function() {
    var cx = '013316413321391058734:ji_u66hl7hq';
    var gcse = document.createElement('script');
    gcse.type = 'text/javascript';
    gcse.async = true;
    gcse.src = (document.location.protocol == 'https:' ? 'https:' : 'http:') +
        '//www.google.com/cse/cse.js?cx=' + cx;
    var s = document.getElementsByTagName('script')[0];
    s.parentNode.insertBefore(gcse, s);
<div class="gcse-search"></div>
            </div>
          </li>
          <li>
  <a href="https://github.com/cpprefjp/site">GitHub Project</a>
        </ul>
      </div>
        <main id="main" role="main">
            <div class="container-fluid">
<div class="row">
  <div class="col-sm-9 col-sm-push-3" itemscope itemtype="http://schema.org/Article">
    <div class="row">
      <div class="col-sm-12 google-search-result">
        <gcse:searchresults></gcse:searchresults>
      </div>
    <div class="row">
      <div class="col-sm-12 content-header">
  <ol class="breadcrumb">
      <li  itemscope itemtype="http://www.schema.org/SiteNavigationElement">
        <span>
            <a href="../../index.html" itemprop="url">
                <i class="fa fa-fw fa-home"></i>
            </a>
        </span>
      </li>
      <li  itemscope itemtype="http://www.schema.org/SiteNavigationElement">
        <span>
            <a href="../../lang.html" itemprop="url">
                <span itemprop="name">言語機能</span>
            </a>
        </span>
      </li>
      <li  itemscope itemtype="http://www.schema.org/SiteNavigationElement">
        <span>
            <a href="../../lang/cpp11.html" itemprop="url">
                <span itemprop="name">C++11</span>
            </a>
        </span>
      </li>
      <li class="active" itemscope itemtype="http://www.schema.org/SiteNavigationElement">
        <span>
              <span itemprop="name">ラムダ式 [N2927]</span>
        </span>
      </li>
  <div class="crsearch"></div>
      </div>
    <div class="row">
      <div class="col-sm-12 edit-button">
    <p class="text-right"><small>
      最終更新日時:
      <time itemprop="datePublished" class="js-local-time"
            datetime="2025-07-12T16:05:25+09:00">
        2025年07月12日 16時05分25秒 (JST)
      </time>
      <br/>
      <span itemprop="author" itemscope itemtype="http://schema.org/Person">
        <span itemprop="name">Raclamusi</span>
      </span>
    </small></p>
    <script>
    (function () {
      // 最終更新日時を閲覧者のローカルタイムゾーンで表示し直す (issue #53 の正規化)。
      // JS が無効な環境ではサーバ生成の JST 表記がそのまま残る。
      function pad(n) { return (n < 10 ? '0' : '') + n; }
      var els = document.querySelectorAll('time.js-local-time[datetime]');
      for (var i = 0; i < els.length; i++) {
        var el = els[i];
        var d = new Date(el.getAttribute('datetime'));
        if (isNaN(d.getTime())) { continue; }
        var tz = '';
        try {
          var parts = new Intl.DateTimeFormat(undefined, { timeZoneName: 'short' }).formatToParts(d);
          for (var j = 0; j < parts.length; j++) {
            if (parts[j].type === 'timeZoneName') { tz = parts[j].value; break; }
        } catch (e) {}
        el.textContent = d.getFullYear() + '年' + pad(d.getMonth() + 1) + '月' + pad(d.getDate()) + '日 '
          + pad(d.getHours()) + '時' + pad(d.getMinutes()) + '分' + pad(d.getSeconds()) + '秒'
          + (tz ? ' (' + tz + ')' : '');
    </script>
        <p class="text-right">
          <a class="history" target="_blank" href="https://github.com/cpprefjp/site/commits/master/lang/cpp11/lambda_expressions.md">
            <span class="fa fa-fw fa-clock-o fa-flip-horizontal"></span>履歴
          </a>
          <a class="edit" target="_blank" href="https://github.com/cpprefjp/site/edit/master/lang/cpp11/lambda_expressions.md">
            <span class="fa fa-fw fa-pencil"></span>編集
          </a>
        </p>
      </div>
    <div class="row">
      <div class="col-sm-12 content-body">
  <h1 itemprop="name"><span class="token">ラムダ式 [N2927]</span><span class="cpp cpp11" title="C++11で追加">(C++11)</span></h1>
<div itemprop="articleBody"><p>
<p>このページはC++11に採用された言語機能の変更を解説しています。</p>
<p>のちのC++規格でさらに変更される場合があるため<a href="#relative-page">関連項目</a>を参照してください。</p>
<h2>概要</h2>
<p>「ラムダ式(lambda expressions)」は、簡易的な関数オブジェクトをその場で定義するための機能である。</p>
<p>この機能によって、「高階関数(関数を引数もしくは<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>とする関数)」をより使いやすくできる。</p>
<p><div class="codehilite"><pre><span></span><code><span class="k">auto</span><span class="w"> </span><span class="n">plus</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">[](</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">,</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="n">b</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="n">b</span><span class="p">;</span><span class="w"> </span><span class="p">};</span>
<span class="kt">int</span><span class="w"> </span><span class="n">result</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">plus</span><span class="p">(</span><span class="mi">2</span><span class="p">,</span><span class="w"> </span><span class="mi">3</span><span class="p">);</span><span class="w"> </span><span class="c1">// result == 5</span>
</code></pre></div>
<p>ここでは、<code>[](int a, int b) { return a + b; }</code>というコードがラムダ式に当たる。このラムダ式は、「<code>int</code>型のパラメータを2つとり、それらを足し合わせた<code>int</code>型オブジェクトを返す関数オブジェクト」を定義している。ここでは<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型を明記していないが、その場合はラムダ式のreturn文から、<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型が推論される。</p>
<p>このラムダ式によって、その場に以下のような関数オブジェクトが定義される：</p>
<p><div class="codehilite"><pre><span></span><code><span class="k">struct</span><span class="w"> </span><span class="nc">F</span><span class="w"> </span><span class="p">{</span>
<span class="w">  </span><span class="k">auto</span><span class="w"> </span><span class="k">operator</span><span class="p">()(</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">,</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="n">b</span><span class="p">)</span><span class="w"> </span><span class="k">const</span><span class="w"> </span><span class="o">-&gt;</span><span class="w"> </span><span class="k">decltype</span><span class="p">(</span><span class="n">a</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="n">b</span><span class="p">)</span>
<span class="w">  </span><span class="p">{</span>
<span class="w">     </span><span class="k">return</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="n">b</span><span class="p">;</span>
<span class="w">  </span><span class="p">}</span>
<span class="p">};</span>
</code></pre></div>
<p>ラムダ式によって自動的に定義される関数オブジェクトは、それぞれが一意な型名を持ち、その型名をユーザーが知る方法はない。そのため、ラムダ式によって定義された関数オブジェクトを変数に持つためには、<code>auto</code>を使用して型推論するか、<code><a href="../../reference/functional/function.html">std::function</a></code>クラスの変数に保持するかの、いずれかの方法をとることになる。</p>
<p>ラムダ式からその外側の変数を使用するには、「キャプチャ(capture)」という機能を使用する。ラムダ式の先頭にある<code>[ ]</code>は「ラムダ導入子(lambda-introducer)」と呼ばれ、どの変数をどのようにキャプチャするかを、このラムダ導入子のなかで指定する。キャプチャの方式としては、参照かコピーのいずれかを選択できる。</p>
<p><div class="codehilite"><pre><span></span><code><span class="kt">void</span><span class="w"> </span><span class="nf">f</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="kt">int</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">3</span><span class="p">;</span>
<span class="w">  </span><span class="c1">// この時点で見える自動変数を参照でキャプチャし、</span>
<span class="w">  </span><span class="c1">// 参照した変数xを書き換える</span>
<span class="w">  </span><span class="k">auto</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">]</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">1</span><span class="p">;</span><span class="w"> </span><span class="p">};</span>
<span class="w">  </span><span class="c1">// 個別にキャプチャ方法を指定する場合は、</span>
<span class="w">  </span><span class="c1">// 以下のように、&amp;の次に変数名を指定する</span>
<span class="w">  </span><span class="c1">// auto f = [&amp;x] { x = 1; };</span>
<span class="w">  </span><span class="n">f</span><span class="p">();</span><span class="w"> </span><span class="c1">// x == 1</span>
<span class="p">}</span>
<span class="kt">void</span><span class="w"> </span><span class="nf">g</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="kt">int</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">3</span><span class="p">;</span>
<span class="w">  </span><span class="c1">// この時点で見える自動変数をコピーでキャプチャし、</span>
<span class="w">  </span><span class="c1">// コピーした変数xをラムダ式内で使用する</span>
<span class="w">  </span><span class="k">auto</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">[</span><span class="o">=</span><span class="p">]</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="mi">1</span><span class="p">;</span><span class="w"> </span><span class="p">};</span>
<span class="w">  </span><span class="c1">// 個別にキャプチャ方法を指定する場合は、</span>
<span class="w">  </span><span class="c1">// 以下のように、変数名を指定する</span>
<span class="w">  </span><span class="c1">// auto f = [x] { return x + 1; };</span>
<span class="w">  </span><span class="kt">int</span><span class="w"> </span><span class="n">result</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">f</span><span class="p">();</span><span class="w"> </span><span class="c1">// result == 4</span>
<span class="p">}</span>
</code></pre></div>
<h2>仕様</h2>
<h3><a href="#syntax" id="syntax">構文</a></h3>
<p><pre><code>[キャプチャリスト](パラメータリスト) mutable 例外仕様 属性 -&gt; 戻り値の型 { 関数の本体 }
</code></pre></p>
<p>このうち、以下は省略可能である：</p>
<li>パラメータ、<code>mutable</code>、<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>仕様、属性、<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型のいずれも明示的に指定しない場合は、パラメータリストの丸カッコを省略できる</li>
<li>コピーキャプチャした変数を書き換える必要がない場合、<code>mutable</code>を省略できる</li>
<li><a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>仕様を指定しない場合、それを省略できる</li>
<li>属性を指定しない場合、それを省略できる</li>
<li><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型を推論に任せる場合、<code>-&gt;</code>記号および<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型を省略できる</li>
<p>もっとも短いラムダ式は、以下のようになる：</p>
<p><div class="codehilite"><pre><span></span><code><span class="p">[]{}</span>
</code></pre></div>
<p>このラムダ式は、なにもキャプチャせず、パラメータを受け取らず、なにも処理せず、<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型が<code>void</code>である関数オブジェクトを定義する。</p>
<p>ラムダ式の記述に関する制限として、「ラムダ式は、評価されないオペランドに現れてはならない」というものがある。そのため、<code>decltype</code>、<code>sizeof</code>、<code>noexcept</code>、<code><a href="alignas.html">alignas</a></code>のオペランドにはラムダ式を指定できない。</p>
<h3><a href="#closure-object" id="closure-object">クロージャオブジェクト</a></h3>
<p>ラムダ式は、その場に関数オブジェクトのクラスを定義し、その一時オブジェクトを生成する。関数オブジェクトのクラスを「クロージャ型(closure type)」、その一時オブジェクトを「クロージャオブジェクト(closure object)」という。これらには、以下の特徴がある：</p>
<li>ラムダ式ごとに、一意な名前の関数オブジェクトが定義される</li>
<li><code>public</code>なコピーコンストラクタを持つ</li>
<li><code>public</code>なムーブコンストラクタを持つ</li>
<li>デフォルトコンストラクタを持たない</li>
<li>コピー代入演算子は<code>delete</code>定義される</li>
<li>関数呼び出し演算子は、以下の特徴を持つ：<ul>
<li>ラムダ式を<code>mutable</code>修飾しない限り、デフォルトで<code>const</code>メンバ関数として定義される</li>
<li>非<code>virtual</code></li>
<li>非<code>volatile</code></li>
<li>インライン関数</li>
<li>ラムダ式と同じパラメータリストの型、および<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型を持つ</li>
<li>キャプチャをしないラムダ式の場合、ラムダ式と同じシグニチャを持つ関数ポインタへの変換演算子を持つ</li>
<li>クロージャオブジェクトのサイズは<a class="cpprefjp-defined-word" data-desc="未規定の動作。事前の断りなく処理系によって異なる動作をする" href="../../implementation-compliance.html#dfn-unspecified-behavior">未規定</a></li>
<h3><a href="#capture" id="capture">キャプチャ</a></h3>
<p>ラムダ式には、ラムダ式の外にある自動変数を、ラムダ式内で参照できるようにする「キャプチャ(capture)」という機能がある。キャプチャは、ラムダ導入子(lambda-introducer)と呼ばれる、ラムダ式の先頭にある<code>[ ]</code>ブロックのなかで指定する。</p>
<p>キャプチャには、コピーキャプチャと参照キャプチャがあり、デフォルトでどの方式でキャプチャし、個別の変数をどの方式でキャプチャするかを指定できる。</p>
<table border="1" bordercolor="#888" style="border-collapse:collapse">
<th>キャプチャ記法</th>
<th>説明</th>
<td><code>[&amp;]</code></td>
<td>デフォルトで環境にある変数を参照して、ラムダ式のなかで使用する</td>
<td><code>[=]</code></td>
<td>デフォルトで環境にある変数をコピーして、ラムダ式のなかで使用する</td>
<td><code>[&amp;x]</code></td>
<td>変数<code>x</code>を参照して、ラムダ式のなかで使用する</td>
<td><code>[x]</code></td>
<td>変数<code>x</code>をコピーして、ラムダ式のなかで使用する</td>
<td><code>[&amp;, x]</code></td>
<td>デフォルトで参照キャプチャ、変数<code>x</code>のみコピーして、ラムダ式のなかで使用する</td>
<td><code>[=, &amp;x]</code></td>
<td>デフォルトでコピーキャプチャ、変数<code>x</code>のみ参照して、ラムダ式のなかで使用する</td>
<td><code>[this]</code></td>
<td><code>*this</code>のメンバを参照して、ラムダ式のなかで使用する</td>
<td><code>[this, x]</code></td>
<td><code>*this</code>のメンバを参照し、変数<code>x</code>のみコピーして、ラムダ式のなかで使用する</td>
<p><div class="yata" id="e502721d95a3ff09efb894361e33c8819f240bb1"><div class="codehilite"><pre><span></span><code><span class="cp">#include <a href="../../reference/iostream.html">&lt;iostream&gt;</a></span>
<span class="c1">// コピーキャプチャの例</span>
<span class="kt">void</span><span class="w"> </span><span class="nf">copy_capture_example</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span>
<span class="w">  </span><span class="k">auto</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">[</span><span class="n">a</span><span class="p">]</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">a</span><span class="p">;</span><span class="w"> </span><span class="p">};</span><span class="w"> </span><span class="c1">// 変数aをコピーキャプチャする</span>
<span class="w">  </span><span class="n">a</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">1</span><span class="p">;</span>
<span class="w">  </span><span class="c1">// ラムダ式を定義した時点での変数aがコピーされ、使用されるので、</span>
<span class="w">  </span><span class="c1">// ラムダ式のなかでは、変数aの値は0となる</span>
<span class="w">  </span><span class="kt">int</span><span class="w"> </span><span class="n">result</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">f</span><span class="p">();</span><span class="w"> </span><span class="c1">// result == 0</span>
<span class="w">  </span><span class="n"><a href="../../reference/iostream/cout.html">std::cout</a></span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">result</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n"><a href="../../reference/ostream/endl.html">std::endl</a></span><span class="p">;</span>
<span class="p">}</span>
<span class="c1">// 参照キャプチャの例</span>
<span class="kt">void</span><span class="w"> </span><span class="nf">reference_capture_example</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span>
<span class="w">  </span><span class="k">auto</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="n">a</span><span class="p">]</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">a</span><span class="p">;</span><span class="w"> </span><span class="p">};</span><span class="w"> </span><span class="c1">// 変数aを参照キャプチャする</span>
<span class="w">  </span><span class="n">a</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">1</span><span class="p">;</span>
<span class="w">  </span><span class="c1">// 参照キャプチャした変数は、ラムダ式を実行する時点での値となるので、</span>
<span class="w">  </span><span class="c1">// ラムダ式のなかでは、変数aの値は1となる</span>
<span class="w">  </span><span class="kt">int</span><span class="w"> </span><span class="n">result</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">f</span><span class="p">();</span><span class="w"> </span><span class="c1">// result == 1</span>
<span class="w">  </span><span class="n"><a href="../../reference/iostream/cout.html">std::cout</a></span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">result</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n"><a href="../../reference/ostream/endl.html">std::endl</a></span><span class="p">;</span>
<span class="p">}</span>
<span class="kt">int</span><span class="w"> </span><span class="nf">main</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="n">copy_capture_example</span><span class="p">();</span>
<span class="w">  </span><span class="n">reference_capture_example</span><span class="p">();</span>
<span class="p">}</span>
</code></pre></div>
<p>デフォルトのキャプチャ方法はひとつしか指定できない。変数個別のキャプチャ方法は、カンマ区切りで複数指定できる。</p>
<p>コピーキャプチャによる変数のコピーは、ラムダ式によって関数オブジェクトを定義した時点で行われる。</p>
<p><code>this</code>をキャプチャした場合、ラムダ式によって定義された関数オブジェクトは<code>this</code>のクラスの<code>friend</code>という扱いとなり、<code>private</code>メンバにもアクセスできる。</p>
<p><div class="yata" id="4dba0a9aa666538be8d3570891ac5f5937a37421"><div class="codehilite"><pre><span></span><code><span class="cp">#include <a href="../../reference/iostream.html">&lt;iostream&gt;</a></span>
<span class="k">class</span><span class="w"> </span><span class="nc">X</span><span class="w"> </span><span class="p">{</span>
<span class="w">  </span><span class="kt">int</span><span class="w"> </span><span class="n">member_value_</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">3</span><span class="p">;</span>
<span class="k">public</span><span class="o">:</span>
<span class="w">  </span><span class="kt">void</span><span class="w"> </span><span class="n">foo</span><span class="p">()</span>
<span class="w">  </span><span class="p">{</span>
<span class="w">    </span><span class="kt">int</span><span class="w"> </span><span class="n">copy_value</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">4</span><span class="p">;</span>
<span class="w">    </span><span class="k">auto</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">[</span><span class="k">this</span><span class="p">,</span><span class="w"> </span><span class="n">copy_value</span><span class="p">]</span><span class="w"> </span><span class="p">{</span>
<span class="w">      </span><span class="n">member_value_</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">5</span><span class="p">;</span><span class="w"> </span><span class="c1">// メンバ変数を参照する</span>
<span class="w">      </span><span class="n">bar</span><span class="p">();</span><span class="w"> </span><span class="c1">// メンバ関数を呼び出す</span>
<span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="n">copy_value</span><span class="w"> </span><span class="o">*</span><span class="w"> </span><span class="mi">2</span><span class="p">;</span><span class="w"> </span><span class="c1">// コピーキャプチャしたローカル変数を使用する</span>
<span class="w">    </span><span class="p">};</span>
<span class="w">    </span><span class="kt">int</span><span class="w"> </span><span class="n">result</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">f</span><span class="p">();</span>
<span class="w">    </span><span class="n"><a href="../../reference/iostream/cout.html">std::cout</a></span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">"member_value_ : "</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">member_value_</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n"><a href="../../reference/ostream/endl.html">std::endl</a></span><span class="p">;</span>
<span class="w">    </span><span class="n"><a href="../../reference/iostream/cout.html">std::cout</a></span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">"result : "</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">result</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n"><a href="../../reference/ostream/endl.html">std::endl</a></span><span class="p">;</span>
<span class="w">  </span><span class="p">}</span>
<span class="k">private</span><span class="o">:</span>
<span class="w">  </span><span class="kt">void</span><span class="w"> </span><span class="n">bar</span><span class="p">()</span>
<span class="w">  </span><span class="p">{</span>
<span class="w">    </span><span class="n"><a href="../../reference/iostream/cout.html">std::cout</a></span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">"bar"</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n"><a href="../../reference/ostream/endl.html">std::endl</a></span><span class="p">;</span>
<span class="w">  </span><span class="p">}</span>
<span class="p">};</span>
<span class="kt">int</span><span class="w"> </span><span class="nf">main</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="n">X</span><span class="p">().</span><span class="n">foo</span><span class="p">();</span>
<span class="p">}</span>
</code></pre></div>
<p>出力 :</p>
<p><pre><code>bar
member_value_ : 5
</code></pre></p>
<p>ラムダ式がひとつ以上の変数を参照キャプチャしている場合、参照している変数の寿命が切れたあとの、ラムダ式のコピーと呼び出しは<a class="cpprefjp-defined-word" data-desc="未定義の動作。処理系は予期せぬ動作をする可能性がある。要するに動作保証対象外。undefined behavior (UB)。" href="../../implementation-compliance.html#dfn-undefined-behavior">未定義動作</a>を引き起こす。</p>
<p><div class="yata" id="1f5bd8c565b7376411f4684829256e2e1e48b1d1"><div class="codehilite"><pre><span></span><code><span class="cp">#include <a href="../../reference/functional.html">&lt;functional&gt;</a></span>
<span class="n"><a href="../../reference/functional/function.html">std::function</a></span><span class="o">&lt;</span><span class="kt">int</span><span class="p">(</span><span class="kt">int</span><span class="p">)</span><span class="o">&gt;</span><span class="w"> </span><span class="n">foo</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="kt">int</span><span class="w"> </span><span class="n">n</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">3</span><span class="p">;</span>
<span class="w">  </span><span class="k">return</span><span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="n">n</span><span class="p">](</span><span class="kt">int</span><span class="w"> </span><span class="n">i</span><span class="p">)</span><span class="w"> </span><span class="o">-&gt;</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">n</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="n">i</span><span class="p">;</span><span class="w"> </span><span class="p">};</span>
<span class="p">}</span>
<span class="kt">int</span><span class="w"> </span><span class="n">main</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="n">foo</span><span class="p">()(</span><span class="mi">2</span><span class="p">);</span><span class="w"> </span><span class="c1">// 未定義動作</span>
<span class="p">}</span>
</code></pre></div>
<p>ラムダ式がデフォルト引数に現れる場合、いかなるキャプチャもしてはならない。</p>
<p><div class="codehilite"><pre><span></span><code><span class="kt">void</span><span class="w"> </span><span class="nf">foo</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="kt">int</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">3</span><span class="p">;</span>
<span class="w">  </span><span class="c1">// ローカル関数の宣言</span>
<span class="w">  </span><span class="kt">void</span><span class="w"> </span><span class="n">f1</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">([</span><span class="n">x</span><span class="p">]{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">x</span><span class="p">;</span><span class="w"> </span><span class="p">})());</span><span class="w"> </span><span class="c1">// コンパイルエラー</span>
<span class="w">  </span><span class="kt">void</span><span class="w"> </span><span class="n">f2</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">([</span><span class="n">x</span><span class="p">]{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">})());</span><span class="w"> </span><span class="c1">// コンパイルエラー</span>
<span class="w">  </span><span class="kt">void</span><span class="w"> </span><span class="n">f3</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">([</span><span class="o">=</span><span class="p">]{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">x</span><span class="p">;</span><span class="w"> </span><span class="p">})());</span><span class="w"> </span><span class="c1">// コンパイルエラー</span>
<span class="w">  </span><span class="kt">void</span><span class="w"> </span><span class="n">f4</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">([</span><span class="o">=</span><span class="p">]{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">})());</span><span class="w"> </span><span class="c1">// OK : デフォルトキャプチャしたが、使用していない</span>
<span class="w">  </span><span class="kt">void</span><span class="w"> </span><span class="n">f5</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">([]{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="k">sizeof</span><span class="p">(</span><span class="n">x</span><span class="p">);</span><span class="w"> </span><span class="p">})());</span><span class="w"> </span><span class="c1">// OK : キャプチャなし</span>
<span class="p">}</span>
</code></pre></div>
<p>パラメータパックを個別キャプチャする際は、<code>...</code>で展開する。</p>
<p><div class="codehilite"><pre><span></span><code><span class="k">template</span><span class="w"> </span><span class="o">&lt;</span><span class="k">class</span><span class="p">...</span><span class="w"> </span><span class="n">Args</span><span class="o">&gt;</span>
<span class="kt">void</span><span class="w"> </span><span class="n">bar</span><span class="p">(</span><span class="n">Args</span><span class="p">...)</span><span class="w"> </span><span class="p">{}</span>
<span class="k">template</span><span class="w"> </span><span class="o">&lt;</span><span class="k">class</span><span class="p">...</span><span class="w"> </span><span class="n">Args</span><span class="o">&gt;</span>
<span class="kt">void</span><span class="w"> </span><span class="n">foo</span><span class="p">(</span><span class="n">Args</span><span class="p">...</span><span class="w"> </span><span class="n">args</span><span class="p">)</span>
<span class="p">{</span>
<span class="w">  </span><span class="k">auto</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">[</span><span class="n">args</span><span class="p">...]</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="n">bar</span><span class="p">(</span><span class="n">args</span><span class="p">...);</span><span class="w"> </span><span class="p">};</span>
<span class="w">  </span><span class="n">f</span><span class="p">();</span>
<span class="p">}</span>
</code></pre></div>
<h3><a href="#parameter-constraints" id="parameter-constraints">パラメータリストの制限</a></h3>
<p>ラムダ式のパラメータには、テンプレートは使用できない。そのため、具体的な型を指定する必要がある。</p>
<h3><a href="#mutable" id="mutable">mutable</a></h3>
<p>キャプチャした変数はクロージャオブジェクトのメンバ変数と見なされ、クロージャオブジェクトの関数呼び出し演算子は、デフォルトで<code>const</code>修飾される。そのため、コピーキャプチャした変数をラムダ式のなかで書き換えることはできない。</p>
<p><div class="codehilite"><pre><span></span><code><span class="kt">int</span><span class="w"> </span><span class="n">rate</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">2</span><span class="p">;</span>
<span class="p">[</span><span class="n">rate</span><span class="p">](</span><span class="kt">int</span><span class="w"> </span><span class="n">x</span><span class="p">)</span><span class="w"> </span><span class="o">-&gt;</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="o">*</span><span class="w"> </span><span class="o">++</span><span class="n">rate</span><span class="p">;</span><span class="w"> </span><span class="p">}</span><span class="w"> </span><span class="c1">// エラー！rate変数を書き換えることはできない</span>
</code></pre></div>
<p>コピーキャプチャした変数を書き換えたい場合は、ラムダ式のパラメータリストの後ろに<code>mutable</code>と記述する。</p>
<p><div class="codehilite"><pre><span></span><code><span class="kt">int</span><span class="w"> </span><span class="n">rate</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">2</span><span class="p">;</span>
<span class="p">[</span><span class="n">rate</span><span class="p">](</span><span class="kt">int</span><span class="w"> </span><span class="n">x</span><span class="p">)</span><span class="w"> </span><span class="k">mutable</span><span class="w"> </span><span class="o">-&gt;</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="o">*</span><span class="w"> </span><span class="o">++</span><span class="n">rate</span><span class="p">;</span><span class="w"> </span><span class="p">}</span><span class="w"> </span><span class="c1">// OK</span>
</code></pre></div>
<h3><a href="#return-type-deduction" id="return-type-deduction">戻り値型の推論</a></h3>
<p><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型を省略した場合、その<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>型は、関数本体の<code>return</code>文から推論される。</p>
<p><code>return</code>文がない場合、および、<code>return</code>文にオペランドが無い場合は、<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型は<code>void</code>になる。</p>
<p><code>return</code>文にオペランドがある場合は、<code>return</code>文に指定した式の型に対して、<code><a href="../../reference/type_traits/decay.html">decay</a></code>を適用した型が<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型となる。</p>
<p>複数の<code>return</code>文がある場合には、すべての<code>return</code>文に対して前述の方法で<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型を推論し、それらが全て同じ型の場合にはその型が<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型となるが、そうでない場合プログラムは<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる。</p>
<p><code>return</code>文に初期化子リストが指定された場合、プログラムは<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる。</p>
<p><div class="codehilite"><pre><span></span><code><span class="kt">int</span><span class="w"> </span><span class="nf">main</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="k">auto</span><span class="w"> </span><span class="n">f1</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">[]{};</span><span class="w">            </span><span class="c1">// 戻り値の型はvoid</span>
<span class="w">  </span><span class="k">auto</span><span class="w"> </span><span class="n">f2</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">[]{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="mi">1</span><span class="p">;</span><span class="w"> </span><span class="p">};</span><span class="w"> </span><span class="c1">// 戻り値の型はint</span>
<span class="w">  </span><span class="k">auto</span><span class="w"> </span><span class="n">f3</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">[]</span><span class="w"> </span><span class="p">{</span>
<span class="w">    </span><span class="k">static</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="n">ar</span><span class="p">[</span><span class="mi">3</span><span class="p">]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">{</span><span class="mi">1</span><span class="p">,</span><span class="w"> </span><span class="mi">2</span><span class="p">,</span><span class="w"> </span><span class="mi">3</span><span class="p">};</span>
<span class="w">    </span><span class="k">return</span><span class="w"> </span><span class="n">ar</span><span class="p">;</span>
<span class="w">  </span><span class="p">};</span><span class="w"> </span><span class="c1">// 戻り値の型はint*</span>
<span class="w">  </span><span class="k">auto</span><span class="w"> </span><span class="n">f4</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">[]</span><span class="w"> </span><span class="p">{</span>
<span class="w">    </span><span class="kt">int</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">3</span><span class="p">;</span>
<span class="w">    </span><span class="k">const</span><span class="w"> </span><span class="kt">int</span><span class="o">&amp;</span><span class="w"> </span><span class="n">cx</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">x</span><span class="p">;</span>
<span class="w">    </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="nb">true</span><span class="p">)</span>
<span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="n">x</span><span class="p">;</span>
<span class="w">    </span><span class="k">else</span>
<span class="w">      </span><span class="k">return</span><span class="w"> </span><span class="n">cx</span><span class="p">;</span>
<span class="w">  </span><span class="p">};</span><span class="w"> </span><span class="c1">// 戻り値の型は、intとconst int&amp;の共通の型であるint</span>
<span class="w">  </span><span class="c1">// コンパイルエラー： {1, 2}は式ではない(<a href="../../reference/initializer_list/initializer_list.html">std::initializer_list</a>には推論されない)</span>
<span class="w">  </span><span class="c1">// auto f5 = [] { return {1, 2}; };</span>
<span class="p">}</span>
</code></pre></div>
<h3><a href="#convert-to-function-pointers" id="convert-to-function-pointers">関数ポインタへの変換</a></h3>
<p>キャプチャを含まない(つまり状態を持たない)ラムダ式によって生成されたクロージャオブジェクトは、同じパラメータ型と<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>型のシグニチャを持つ関数ポインタに変換できる。</p>
<p><div class="yata" id="1305e61c8ea3ad606e34557a19c7363728573aa5"><div class="codehilite"><pre><span></span><code><span class="cp">#include <a href="../../reference/iostream.html">&lt;iostream&gt;</a></span>
<span class="kt">void</span><span class="w"> </span><span class="nf">foo</span><span class="p">(</span><span class="kt">int</span><span class="p">(</span><span class="o">*</span><span class="n">fp</span><span class="p">)(</span><span class="kt">int</span><span class="p">,</span><span class="w"> </span><span class="kt">int</span><span class="p">))</span>
<span class="p">{</span>
<span class="w">  </span><span class="kt">int</span><span class="w"> </span><span class="n">result</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">fp</span><span class="p">(</span><span class="mi">2</span><span class="p">,</span><span class="w"> </span><span class="mi">3</span><span class="p">);</span>
<span class="w">  </span><span class="n"><a href="../../reference/iostream/cout.html">std::cout</a></span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">result</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n"><a href="../../reference/ostream/endl.html">std::endl</a></span><span class="p">;</span>
<span class="p">}</span>
<span class="kt">int</span><span class="w"> </span><span class="nf">main</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="n">foo</span><span class="p">([](</span><span class="kt">int</span><span class="w"> </span><span class="n">a</span><span class="p">,</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="n">b</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">a</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="n">b</span><span class="p">;</span><span class="w"> </span><span class="p">});</span>
<span class="p">}</span>
</code></pre></div>
<p>出力 :</p>
<p><pre><code>5
</code></pre></p>
<h3>アルゴリズムの引数として関数を渡す</h3>
<p><div class="yata" id="157b1ce6ec7dc233c5c3285b3fa11e4ab81f33b7"><div class="codehilite"><pre><span></span><code><span class="cp">#include <a href="../../reference/iostream.html">&lt;iostream&gt;</a></span>
<span class="cp">#include <a href="../../reference/vector.html">&lt;vector&gt;</a></span>
<span class="cp">#include <a href="../../reference/algorithm.html">&lt;algorithm&gt;</a></span>
<span class="kt">int</span><span class="w"> </span><span class="nf">main</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="n"><a href="../../reference/vector/vector.html">std::vector</a></span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;</span><span class="w"> </span><span class="n">v</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">{</span><span class="mi">1</span><span class="p">,</span><span class="w"> </span><span class="mi">2</span><span class="p">,</span><span class="w"> </span><span class="mi">3</span><span class="p">,</span><span class="w"> </span><span class="mi">4</span><span class="p">,</span><span class="w"> </span><span class="mi">5</span><span class="p">};</span>
<span class="w">  </span><span class="c1">// 条件一致する最初の要素を検索する</span>
<span class="w">  </span><span class="k">decltype</span><span class="p">(</span><span class="n">v</span><span class="p">)</span><span class="o">::</span><span class="n">iterator</span><span class="w"> </span><span class="n">it</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n"><a href="../../reference/algorithm/find_if.html">std::find_if</a></span><span class="p">(</span>
<span class="w">                               </span><span class="n"><a href="../../reference/vector/vector/begin.html">v.begin()</a></span><span class="p">,</span>
<span class="w">                               </span><span class="n"><a href="../../reference/vector/vector/end.html">v.end()</a></span><span class="p">,</span>
<span class="w">                               </span><span class="p">[](</span><span class="kt">int</span><span class="w"> </span><span class="n">x</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="o">%</span><span class="w"> </span><span class="mi">2</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">}</span>
<span class="w">                             </span><span class="p">);</span>
<span class="w">  </span><span class="c1">// 見つかった</span>
<span class="w">  </span><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n">it</span><span class="w"> </span><span class="o">!=</span><span class="w"> </span><span class="n"><a href="../../reference/vector/vector/end.html">v.end()</a></span><span class="p">)</span><span class="w"> </span><span class="p">{</span>
<span class="w">    </span><span class="kt">int</span><span class="w"> </span><span class="n">found_value</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="o">*</span><span class="n">it</span><span class="p">;</span>
<span class="w">    </span><span class="n"><a href="../../reference/iostream/cout.html">std::cout</a></span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">found_value</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n"><a href="../../reference/ostream/endl.html">std::endl</a></span><span class="p">;</span>
<span class="w">  </span><span class="p">}</span>
<span class="p">}</span>
</code></pre></div>
<h4>出力</h4>
<p><pre><code>2
</code></pre></p>
<h3>処理が完了したことが通知されるハンドラを引数として渡す</h3>
<p><div class="yata" id="3ef45eeb7735a98eff4e342e394d3dac1059aaec"><div class="codehilite"><pre><span></span><code><span class="cp">#include <a href="../../reference/iostream.html">&lt;iostream&gt;</a></span>
<span class="cp">#include <a href="../../reference/functional.html">&lt;functional&gt;</a></span>
<span class="kt">void</span><span class="w"> </span><span class="nf">proc</span><span class="p">(</span><span class="n"><a href="../../reference/functional/function.html">std::function</a></span><span class="o">&lt;</span><span class="kt">void</span><span class="p">()</span><span class="o">&gt;</span><span class="w"> </span><span class="n">on_complete</span><span class="p">)</span>
<span class="p">{</span>
<span class="w">  </span><span class="c1">// …時間のかかる処理…</span>
<span class="w">  </span><span class="k">for</span><span class="w"> </span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">i</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="n">i</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">10</span><span class="p">;</span><span class="w"> </span><span class="o">++</span><span class="n">i</span><span class="p">)</span><span class="w"> </span><span class="p">{</span>
<span class="w">    </span><span class="n"><a href="../../reference/iostream/cout.html">std::cout</a></span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">i</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n"><a href="../../reference/ostream/endl.html">std::endl</a></span><span class="p">;</span>
<span class="w">  </span><span class="p">}</span>
<span class="w">  </span><span class="c1">// 完了ハンドラを呼び出す</span>
<span class="w">  </span><span class="n">on_complete</span><span class="p">();</span>
<span class="p">}</span>
<span class="kt">int</span><span class="w"> </span><span class="nf">main</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="c1">// 処理が完了したときに呼ばれる関数を指定する</span>
<span class="w">  </span><span class="n">proc</span><span class="p">([]</span><span class="w"> </span><span class="p">{</span>
<span class="w">    </span><span class="n"><a href="../../reference/iostream/cout.html">std::cout</a></span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">"complete"</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n"><a href="../../reference/ostream/endl.html">std::endl</a></span><span class="p">;</span>
<span class="w">  </span><span class="p">});</span>
<span class="p">}</span>
</code></pre></div>
<h4>出力</h4>
<p><pre><code>0
</code></pre></p>
<h2>この機能が必要になった背景・経緯</h2>
<p>ラムダ式が標準C++に最初に提案された2006年当時、多くのプログラミング言語が、コードブロックを引数として関数に渡す機能を用意していた。たとえば、Algol 68はdownward funargsという機能を持っていたし、Lispはクロージャ(closure)、Smalltalkはパラメータとして渡してあとで実行する「コードブロック」と呼ばれる機能を、C# 2.0 (クロージャ)やJava (匿名クラス)も同様の機能を持っていた。これらの概念は、C++においてもBoost.LambdaやBoost.Bindといったライブラリ実装で導入が試みられてきた。</p>
<p>C++には、関数を第一級オブジェクトとして扱う「関数オブジェクト(function objects)」という機能があり、これによって関数を引数または<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>として使用できた。関数オブジェクトをさらに扱いやすくするために、Boost C++ Librariesから提案された<code><a href="../../reference/functional/bind.html">bind()</a></code>関数や<code><a href="../../reference/functional/function.html">function</a></code>クラスを、標準ライブラリに導入した。</p>
<p>標準C++の<a href="../../reference/algorithm.html">アルゴリズムライブラリ</a>には、関数を引数とするものが多くある。それらは各問題を解くために非常に有用ではあったが、アルゴリズムを使用するたびに関数オブジェクトを定義することは非常に冗長で使いにくかった。アルゴリズムをより使いやすくするための言語サポートとして、ラムダ式が導入されることとなった。</p>
<p>なお、Boost.LambdaやCLAMP(C++ Lambda Preprocessor)のように、ライブラリ実装でラムダ式を標準C++に導入することも検討されたが、以下の理由から、言語サポートすることとなった：</p>
<li>ライブラリ実装の場合は、演算子<a class="cpprefjp-defined-word" data-desc="同名の関数を異なる引数・テンプレート・制約などで複数定義すること。または同名の関数の集合">オーバーロード</a>で実現することになるが、それには多くの制限がある<ul>
<li>変数宣言、条件分岐、ループなどをライブラリで定義するのは難しい</li>
<li>ライブラリ実装は、言語サポートする場合に比べて、コンパイル時間が長くなる。</li>
<li>ライブラリ実装は、コンパイルエラーのメッセージが複雑になる</li>
<li>最も重要なことは、ラムダライブラリは、一般的な状況でもユーザーが理解して使用するのが難しい</li>
<h2>検討されたほかの選択肢</h2>
<p>ラムダ式の構文は、段階的にいくつかのバリエーションが考えられた。</p>
<h3>第1案</h3>
<p>第1案は、以下のような構文。</p>
<p><pre><code>ret_type(type1 value1, type2 value2, ...) { statements }
</code></pre></p>
<p>このときの構文では、コピーキャプチャと参照キャプチャといった使い分けはできず、全ての変数が参照キャプチャされるようになっていた。</p>
<p><div class="codehilite"><pre><span></span><code><span class="kt">void</span><span class="w"> </span><span class="nf">f</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">x</span><span class="p">)</span>
<span class="p">{</span>
<span class="w">  </span><span class="n"><a href="../../reference/vector/vector.html">std::vector</a></span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;</span><span class="w"> </span><span class="n">v</span><span class="p">;</span>
<span class="w">  </span><span class="c1">// ...</span>
<span class="w">  </span><span class="n"><a href="../../reference/algorithm/remove_if.html">std::remove_if</a></span><span class="p">(</span><span class="n"><a href="../../reference/vector/vector/begin.html">v.begin()</a></span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../../reference/vector/vector/end.html">v.end()</a></span><span class="p">,</span><span class="w"> </span><span class="kt">void</span><span class="w"> </span><span class="p">(</span><span class="kt">int</span><span class="o">&amp;</span><span class="w"> </span><span class="n">n</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="n">n</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="n">x</span><span class="p">;</span><span class="w"> </span><span class="p">});</span>
<span class="p">}</span>
</code></pre></div>
<p>この構文の問題点は、先に述べたコピーキャプチャと参照キャプチャの使い分けができない、といったもののほか、構文解析が難しいというのもある。</p>
<h3>第2案</h3>
<p>第2案は、以下のような構文。</p>
<p><pre><code>&lt;&gt;(type1 value1, type2 value2, ...) -&gt; ret_type extern(local-val-list) { statements }
</code></pre></p>
<p><code>&lt;&gt;</code>記号を、構文解析のためのマーキングとし、ラムダ式の開始と見なすようになった。そのほか、<code>extern</code>キーワード後の丸カッコに変数を指定することで、その変数を参照キャプチャする機能が追加された。<code>extern</code>に指定しない変数はコピーとしてキャプチャされるが、<code>extern</code>に指定した変数は参照キャプチャされる。</p>
<p><div class="codehilite"><pre><span></span><code><span class="kt">void</span><span class="w"> </span><span class="nf">f</span><span class="p">()</span>
<span class="p">{</span>
<span class="w">  </span><span class="kt">int</span><span class="w"> </span><span class="n">sum</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span>
<span class="w">  </span><span class="n">for_each</span><span class="p">(</span><span class="n">a</span><span class="p">.</span><span class="n">begin</span><span class="p">(),</span><span class="w"> </span><span class="n">a</span><span class="p">.</span><span class="n">end</span><span class="p">(),</span><span class="w"> </span><span class="o">&lt;&gt;</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">x</span><span class="p">)</span><span class="w"> </span><span class="o">-&gt;</span><span class="w"> </span><span class="kt">void</span><span class="w"> </span><span class="k">extern</span><span class="p">(</span><span class="n">sum</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="n">sum</span><span class="w"> </span><span class="o">+=</span><span class="w"> </span><span class="n">x</span><span class="p">;</span><span class="w"> </span><span class="p">});</span>
<span class="p">}</span>
</code></pre></div>
<p><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型<code>-&gt; ret_type</code>を省略した場合は、ラムダ式の<code>return</code>文から<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の型が推論される。</p>
<h3>第3案</h3>
<p>第3案は、以下のような構文。</p>
<p><pre><code>&lt;&gt;(parameter-list ; capture-list) -&gt; ret_type ( single-expression )
&lt;&amp;&gt;(parameter-list ; capture-list) -&gt; ret_type ( single-expression )
&lt;&gt;(parameter-list ; capture-list) -&gt; ret_type { statements }
&lt;&amp;&gt;(parameter-list ; capture-list) -&gt; ret_type { statements }
</code></pre></p>
<p>まず、<code>extern</code>による参照キャプチャが廃止され、パラメータリストの丸カッコのなかに、パラメータとキャプチャをセミコロン(<code>;</code>)区切りで指定することになった。</p>
<p><div class="codehilite"><pre><span></span><code><span class="kt">double</span><span class="w"> </span><span class="n">array</span><span class="p">[]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="mf">1.0</span><span class="p">,</span><span class="w"> </span><span class="mf">2.1</span><span class="p">,</span><span class="w"> </span><span class="mf">3.3</span><span class="p">,</span><span class="w"> </span><span class="mf">4.4</span><span class="w"> </span><span class="p">};</span>
<span class="kt">double</span><span class="w"> </span><span class="n">sum</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="n">factor</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">2</span><span class="p">;</span>
<span class="n">for_each</span><span class="p">(</span><span class="n">array</span><span class="p">,</span><span class="w"> </span><span class="n">array</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="mi">4</span><span class="p">,</span><span class="w"> </span><span class="o">&lt;&gt;</span><span class="p">(</span><span class="kt">double</span><span class="w"> </span><span class="n">d</span><span class="w"> </span><span class="p">;</span><span class="w"> </span><span class="o">&amp;</span><span class="n">sum</span><span class="p">,</span><span class="w"> </span><span class="n">factor</span><span class="p">)</span><span class="w"> </span><span class="p">(</span><span class="w"> </span><span class="n">sum</span><span class="w"> </span><span class="o">+=</span><span class="w"> </span><span class="n">factor</span><span class="w"> </span><span class="o">*</span><span class="w"> </span><span class="n">d</span><span class="w"> </span><span class="p">));</span>
</code></pre></div>
<p>参照キャプチャする場合は、変数名の先頭に<code>&amp;</code>を付け、コピーキャプチャする場合は変数名のみを指定する。</p>
<p>変数を個別にキャプチャする方法のほかに、デフォルトで参照キャプチャする機能も追加された。これには、ラムダ式の先頭を<code>&lt;&gt;</code>の代わりに<code>&lt;&amp;&gt;</code>にする。</p>
<p><div class="codehilite"><pre><span></span><code><span class="kt">double</span><span class="w"> </span><span class="n">array</span><span class="p">[]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="mf">1.0</span><span class="p">,</span><span class="w"> </span><span class="mf">2.1</span><span class="p">,</span><span class="w"> </span><span class="mf">3.3</span><span class="p">,</span><span class="w"> </span><span class="mf">4.4</span><span class="w"> </span><span class="p">};</span>
<span class="kt">double</span><span class="w"> </span><span class="n">sum</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="n">factor</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">2</span><span class="p">;</span>
<span class="n">for_each</span><span class="p">(</span><span class="n">array</span><span class="p">,</span><span class="w"> </span><span class="n">array</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="mi">4</span><span class="p">,</span><span class="w"> </span><span class="o">&lt;&amp;&gt;</span><span class="p">(</span><span class="kt">double</span><span class="w"> </span><span class="n">d</span><span class="p">)</span><span class="w"> </span><span class="p">(</span><span class="w"> </span><span class="n">sum</span><span class="w"> </span><span class="o">+=</span><span class="w"> </span><span class="n">factor</span><span class="w"> </span><span class="o">*</span><span class="w"> </span><span class="n">d</span><span class="w"> </span><span class="p">));</span>
</code></pre></div>
<p>ここでは、関数の本体に丸カッコを使用している。これは、関数の本体がひとつの式だけで成り立つ場合に使用する。2つ以上の式や文がある場合は、波カッコを使用する。</p>
<h3>第4案</h3>
<p>第3案では<code>&lt;&amp;&gt;</code>という、デフォルトで参照キャプチャする方法が考えられたが、第4案では以下のデフォルトキャプチャが考えられた。</p>
<li><code>&lt;.&gt;</code> : デフォルトキャプチャを持たない</li>
<li><code>&lt;&amp;&gt;</code> : デフォルトで参照キャプチャ</li>
<li><code>&lt;+&gt;</code> : デフォルトでコピーキャプチャ</li>
<h3>最終版</h3>
<p>ここまで出た案をさらに改良して、現在のラムダ式の形に収束した。</p>
<p>キャプチャ方法の指定は、山カッコ<code>&lt; &gt;</code>の代わりに、角カッコ<code>[ ]</code>が採用された。これは、山カッコが<code>operator&lt;()</code>、<code>operator&gt;()</code>、テンプレートといった機能があるために構文解析が難しい、という理由からだ。</p>
<p>そして、デフォルト以外のキャプチャもまた、デフォルトキャプチャと同じ場所に列挙することになった。</p>
<p>なお、C++11時点のラムダ式はテンプレートを扱えないが、これはコンパイラの実装が難しい、という理由での見送りである。</p>
<h2><a href="#relative-page" id="relative-page">関連項目</a></h2>
<li><a href="local_and_unnamed_type_as_template_arguments.html">C++11 ローカル型と無名型を、テンプレート引数として使用することを許可</a></li>
<li><a href="../cpp14/generic_lambdas.html">C++14 ジェネリックラムダ</a></li>
<li><a href="../cpp14/initialize_capture.html">C++14 ラムダ式の初期化キャプチャ</a></li>
<li><a href="../cpp17/lambda_capture_of_this_by_value.html">C++17 ラムダ式での<code>*this</code>のコピーキャプチャ</a></li>
<li><a href="../cpp20/allow_lambda_capture_equal_this.html">C++20 ラムダ式のキャプチャとして<code>[=, this]</code>を許可する</a></li>
<li><a href="../cpp20/familiar_template_syntax_for_generic_lambdas.html">C++20 ジェネリックラムダのテンプレート構文</a></li>
<li><a href="../cpp23/down_with_lambda_parens.html">C++23 ラムダ式で()を省略できる条件を緩和</a></li>
<li><a href="../cpp23/attributes_on_lambda_expressions.html">C++23 ラムダ式に対する属性</a></li>
<li><a href="../cpp23/static_operator.html">C++23 <code>this</code>ポインタをもつ必要のない演算子を<code>static</code>として宣言できるようにする</a></li>
<h2>参照</h2>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n1958.pdf" target="_blank">N1958 A proposal to add lambda functions to the C++ standard</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n1968.pdf" target="_blank">N1968 Lambda expressions and closures for C++</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2329.pdf" target="_blank">N2329 Lambda expressions and closures for C++ (Revision 1)</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2413.pdf" target="_blank">N2413 Lambda Expressions and Closures: Wording for Monomorphic Lambdas</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2487.pdf" target="_blank">N2487 Lambda Expressions and Closures: Wording for Monomorphic Lambdas (Revision 2)</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2510.pdf" target="_blank">N2510 BSI Position on Lambda Functions</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2511.html" target="_blank">N2511 Named Lambdas and Local Functions</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2529.pdf" target="_blank">N2529 Lambda Expressions and Closures: Wording for Monomorphic Lambdas (Revision 3)</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2550.pdf" target="_blank">N2550 Lambda Expressions and Closures: Wording for Monomorphic Lambdas (Revision 4)</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2651.pdf" target="_blank">N2651 Constness of Lambda Functions</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2658.pdf" target="_blank">N2658 Constness of Lambda Functions (Revision 1)</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2859.pdf" target="_blank">N2859 New wording for C++0x Lambdas</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2903.pdf" target="_blank">N2903 New wording for C++0x Lambdas</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2927.pdf" target="_blank">N2927 New wording for C++0x Lambdas (rev. 2)</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2957.html" target="_blank">N2957 Reaching Scope of Lambda Expressions</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3043.html" target="_blank">N3043 Converting Lambdas to Function Pointers</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3052.html" target="_blank">N3052 Converting Lambdas to Function Pointers</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#975" target="_blank">CWG Issue 975. Restrictions on return type deduction for lambdas</a></li>
</ul></div>
      </div>
    <div id="sidebar" class="col-sm-3 col-sm-pull-9">
            </div>
        </main>
<footer class="footer navbar navbar-default">
  <div class="container-fluid">
    <p><small>
      本サイトの情報は、
        <a href="https://creativecommons.org/licenses/by/4.0/deed.ja" rel="nofollow">クリエイティブ・コモンズ 表示 4.0 非移植 ライセンス(CC BY)</a>
      の下に提供されています。
    </small></p>
    </body>
Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Uh oh!

FilesExpand file tree

lambda_expressions.html

Latest commit

History

lambda_expressions.html

File metadata and controls
