lambda的原理和简单实现

对我来说，第一次使用Boost.Lambda的时候感觉是非常震撼的。它减少了代码的编写量，增强了信息的局部性，让代码更加紧凑简洁。但是lambda的原理却让人非常的迷惑，考虑下面的一行代码，这行代码打印一个容器内的所有元素的值：
std::for_each(str_con.begin(), str_con.end(), std::cout << _1);

这里的_1到底是什么东西呢？

我按照语法规则来逻辑地分析一下以上这行代码。

首先，std::cout << _1表达式的求值结果必须是一个仿函数或者是一个函数指针，这是std::for_each所要求的。但是从std::cout << _1上来看，这应该是一个重载operator<<符号的函数调用。这个函数的参数形式可能是下面这种形式的：
operator<<(std::ostream& stream,some_wierd_type ignore);

从可能性上来看，这个表达式返回一个仿函数，这个仿函数进行"std::cout << 容器元素值的操作"，我把这个仿函数的大致轮廓描绘一下：

template<typename T>
struct SomeOp
{
  void operator()(T& t)
  {
     ........
  }
};

因此按照我们的分析，std:cout << _1是一个operator<<重载函数的调用，并且返回一个SomeOp的仿函数。

把这些组织一下，在ddj的一篇文章里(http://www.ddj.com/cpp/184401733?pgno=7),<<Beyond the C++ Standard Library: An Introduction to Boost>>的作者Bjorn Karlsson展示了一个simple lambda device, example codes as follows:

namespace sample {
  struct placeholder_1 {};
  placeholder_1 _1;
  template <typename T> struct simple_binder_lshift {
    T& t_;
  public:
    simple_binder_lshift(T& t):t_(t) {}
    template <typename U> T& operator()(U u) {
      t_ << u;
      return t_;
    }
  };
}
template <typename T> sample::simple_binder_lshift<T>
  operator<<(T& t,sample::placeholder_1 ignore) {
    return sample::simple_binder_lshift<T>(t);
}
int main() {
  using sample::_1;
  std::vector<std::string> vec;
  vec.push_back("Simple");
  vec.push_back(" example");
  std::for_each(vec.begin(),vec.end(),std::cout << _1);
}

我的总结：
lambda表达式就是一小段执行代码，有些时候可能只是一行执行代码的语句，如果想让这行执行代码的语句能出现在STL的算法中使用，比如上面的std::cout << _1或者 _1 + 3形式的执行代码，则必须的，这几行或一行简易代码的求值结果是一个仿函数，因此这一行代码则必须是一个操作符的重载函数，如果是操作符的重载函数，则必须都要求至少有一个操作数，因此必须需要一个占位符，按照lambda的代码逻辑，某个操作符的重载函数必须返回一个执行该操作的仿函数，我的意思是说：
对于std::cout << _1, 它的operator<<(std::ofstream& stream, placeholder_1 igonore)重载函数返回了一个仿函数比如叫做simpleOp,而simpleOp的operator()内的代码
应该是执行stream << elem;逻辑的，如果是执行elem + 3这样的逻辑，显然违反了std::cout << _1的lambda表达式的本意。