c – 针对通用羊羔的编译器推断类型

std::vector<int> ivec = { 1,2,3,4};
std::vector<std::string> svec = { "red","green","blue" };
auto adder = [](auto op1,auto op2){ return op1 + op2; };
std::cout << "int result : "
          << std::accumulate(ivec.begin(),ivec.end(),adder)
          << "\n";
std::cout << "String result : "
          << std::accumulate(svec.begin(),svec.end(),std::string(""),adder)
          << "\n";

如果我理解正确,编译器会生成一个类似于这样的内部类：

template<class T>
class _lambda
{
  public:
  T operator()(T lhs,T rhs) { return lhs + rhs; }
};

但是我不明白的是,在代码的这一部分中,加法器在同一时间似乎有两种类型：_lambda< int>和_lambda< String&gt ;.这怎么可能？