参数类型自动推导和匿名 lambda 函数

Question

假设我有这些代码行；

std::vector<int> ints;
std::for_each(ints.begin(), ints.end(), [](int& val){ val = 7; });

但是，我不想在我的 lambda 函数中指定参数类型，即我想写这样的东西；

std::for_each(ints.begin(), ints.end(), [](auto& val){ val = 7; });

有没有办法做到这一点？

（boost::lambda 不需要指定类型...）

---

更新：

现在我使用宏：#define _A(container) decltype(*std::begin(container))，所以我可以这样做：

std::for_each(ints.begin(), ints.end(), [](_A(ints)& val){ val = 7; });

Answer 1

没有。 “多态 lambdas”是 C++ 委员会讨论期间提到的这个特性，它没有标准化。必须指定 lambda 的参数类型。

您可以使用decltype：

std::for_each(ints.begin(), ints.end(), [](decltype(*ints.begin())& val){ val = 7; });

Answer 2

您的首选语法自 C++14 起是合法的，称为泛型 lambda 或多态 lambda。

http://isocpp.org/blog/2013/04/n3649-generic-polymorphic-lambda-expressions-r3

auto lambda = [](auto x) { return x; };
lambda(5);
lambda("hello");
lambda(std::vector<int>({5, 4, 3}));

从 C++20 开始，我们也可以将这种语法用于常规函数：

auto f(auto x) { return x; }

Answer 3

如果你有一个容器，你可以试试这样的东西

template<typename Container>
void reset(Container c)
{
   for_each(c.begin(),c.end(),[](typename Container::reference val) { val=7; });
}

Answer 4

试试这个：

#include <functional>
#include <algorithm>
#include <iostream>

template <typename ValTy>
std::function<void(ValTy&)> polymorphicLambda ()
{
    return std::function<void(ValTy&)> ([](ValTy& val) -> void { val = 7; } );
}

int main()
{
    std::vector<int> ints(5);

    std::generate_n(ints.begin(), 5, []() { return 0; });
    std::for_each(ints.begin(), ints.end(), [](int& val) { std::cout << val << "\t"; });
    std::cout << std::endl;

    std::for_each(ints.begin(), ints.end(), polymorphicLambda<int>());
    std::for_each(ints.begin(), ints.end(), [](int& val) { std::cout << val << "\t"; });
    std::cout << std::endl;


    std::vector<double> doubles(5);

    std::generate_n(doubles.begin(), 5, []() { return 0; });
    std::for_each(doubles.begin(), doubles.end(), [](double& val) { std::cout << val << "\t"; });
    std::cout << std::endl;

    std::for_each(doubles.begin(), doubles.end(), polymorphicLambda<double>());
    std::for_each(doubles.begin(), doubles.end(), [](double& val) { std::cout.precision(2); std::cout << std::fixed << val << "\t"; });
    std::cout << std::endl;

    return 0;
}

您还可以使用不返回 void 的 lambda 以及可变参数模板来做一些时髦的事情，以将多个参数传递给 lambda。