C++ lamba使用

Moderm Effective C++ 条款31 第206提到了按引用捕获局部变量和函数形参时，如果lambda式的生命期依赖于局部变量和函数形参的生命期，需注意空悬引用的问题。

原书的例子不够直观，把它改写后进行说明。

 #include "pch.h"
 #include <iostream>
 #include <vector>
 #include <functional>

 using FilterContainer = std::vector<std::function<bool(int)>>;
 FilterContainer filter;

 void addDivisorFilter() {

     auto divisor = ;
     filter.emplace_back([&](int value) {
         return value % divisor == ;
     });
     std::cout << divisor << std::endl;
 }

 int main()
 {
     addDivisorFilter();
     addDivisorFilter();
     std::cout << &filter[] << std::endl;
     std::cout << filter[]() < <std::endl;  //Unexpected function calls
     std::cout << &filter[] << std::endl;
     std::cout << filter[]() << std::endl; //Unexpected function calls
 }

filter是一个筛选器函数(筛选5的倍数)集合，line23，预期输出0，因为4不是5的倍数。line23，预期输出1.
实际结果则是

箭头1指向的结果看起来正确，箭头2指向的结果不正确，但这两个结果其实都是未定义行为的结果，不符合预期。

跟踪代码如下：

红框部分显示divisor是个很大的负数，不是预期的数字5。所以两次lambda调用结果输出都是0。

问题就出在lambda引用了divisor这个局部变量，addDivisorFilter函数出了代码块后，divisor消亡，lambda指向了一个空悬的divisor引用，当调用lambda时，它里面的divisor是一个未知值。

用这个未知值来进行模计算，当然会出错了。

未完待续...