Lambda捕获作为const参考吗？

是否可以通过const引用在Lambda表达式中捕获？

我希望下面标记的作业失败，例如：

#include <cstdlib>
#include <vector>
#include <string>
#include <algorithm>
using namespace std;

int main()
{
    string strings[] = 
    {
        "hello",
        "world"
    };
    static const size_t num_strings = sizeof(strings)/sizeof(strings[0]);

    string best_string = "foo";

    for_each( &strings[0], &strings[num_strings], [&best_string](const string& s)
      {
        best_string = s; // this should fail
      }
    );
    return 0;
}

更新：因为这是一个古老的问题，所以如果C ++ 14中有工具可以对此进行更新，则最好对其进行更新。C ++ 14中的扩展是否允许我们通过const引用捕获非const对象？（2015年8月）

const 截至n3092为止，它不在捕获语法中：

capture:
  identifier
  & identifier
  this

文本仅提及按拷贝捕获和按引用捕获，没有提及任何类型的常量性。

对我来说，这似乎是一个疏忽，但我并没有非常严格地遵循标准化过程。

在 C ++ 14使用static_cast/ const_cast：

[&best_string = static_cast<const std::string&>(best_string)](const string& s)
{
    best_string = s; // fails
};

演示

在 C ++ 17使用std::as_const：

[&best_string = std::as_const(best_string)](const string& s)
{
    best_string = s; // fails
};

演示2

我认为捕获部分不应指定const，作为捕获手段，它仅需要一种访问外部作用域变量的方法。

该说明符最好在外部范围中指定。

const string better_string = "XXX";
[&better_string](string s) {
    better_string = s;    // error: read-only area.
}

lambda函数是const（无法在其范围内更改值），因此，当您按值捕获变量时，该变量无法更改，但引用不在lambda范围内。

我想如果您没有将变量用作函子的参数，则应该使用当前函数的访问级别。如果您认为不应该这样做，则可以将lambda与该函数分开，这不属于其中。

无论如何，您可以使用另一个const引用轻松实现所需的相同操作：

#include <cstdlib>
#include <vector>
#include <string>
#include <algorithm>
using namespace std;

int main()
{
    string strings[] = 
    {
        "hello",
        "world"
    };
    static const size_t num_strings = sizeof(strings)/sizeof(strings[0]);

    string best_string = "foo";
    const string& string_processed = best_string;

    for_each( &strings[0], &strings[num_strings], [&string_processed]  (const string& s)  -> void 
    {
        string_processed = s;    // this should fail
    }
    );
    return 0;
}

但这与假设您的lambda必须与当前函数隔离，从而使其成为非lambda相同。

我认为您有三种不同的选择：

• 不要使用const引用，而要使用副本捕获
• 忽略它是可修改的事实
• 使用std :: bind绑定具有const引用的二进制函数的一个参数。

使用副本

关于带有捕获副本的lambda的有趣部分是，它们实际上是只读的，因此可以完全按照您希望的方式执行。

int main() {
  int a = 5;
  [a](){ a = 7; }(); // Compiler error!
}

使用std :: bind

std::bind减少功能的复杂性。但是请注意，这可能/将导致通过函数指针进行间接函数调用。

int main() {
  int a = 5;
  std::function<int ()> f2 = std::bind( [](const int &a){return a;}, a);
}

有一个较短的方法。

请注意，“ best_string”之前没有“＆”号。

它将是“ const std :: reference_wrapper << T >>”类型。

[best_string = cref(best_string)](const string& s)
{
    best_string = s; // fails
};

http://coliru.stacked-crooked.com/a/0e54d6f9441e6867

使用clang或等待直到此gcc错误被修复：错误70385：通过const引用引用进行Lambda捕获失败[ https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70385 ]

使用const只会使算法使用＆符并将字符串设置为其原始值，换句话说，lambda不会真正将自身定义为该函数的参数，尽管周围的范围将具有一个额外的变量...如果不定义它但是，它不会将字符串定义为典型的 [＆，＆best_string]（string const s）。 因此，如果仅保留它，尝试捕获引用，则可能会更好。