在 C++11 中,有没有办法模板化 lambda 函数?或者它本质上太具体而无法模板化?
我知道我可以定义一个经典的模板类/仿函数,但问题更像是:该语言是否允许模板化 lambda 函数?
2018 年更新:C++20 将带有模板化和概念化的 lambda。该功能已集成到标准草案中。
2014 年更新:C++14 已于今年发布,现在提供具有与本示例相同语法的多态 lambda。一些主要的编译器已经实现了它。
就目前而言(在 C++11 中),遗憾的是没有。多态 lambda 在灵活性和功能方面将非常出色。
它们最终成为单态的最初原因是因为概念。概念使这种代码情况变得困难:
template <Constraint T> void foo(T x) { auto bar = [](auto x){}; // imaginary syntax }
在受约束的模板中,您只能调用其他受约束的模板。(否则无法检查约束。)可以foo调用bar(x)吗?lambda 有什么限制(毕竟它的参数只是一个模板)?
foo
bar(x)
概念还没有准备好解决这类事情。它需要更多的东西,比如late_check(在调用之前不会检查概念)和东西。更简单的方法就是放弃这一切并坚持使用单态 lambda。
late_check
然而,随着从 C++0x 中删除概念,多态 lambda 再次成为一个简单的命题。但是,我找不到任何建议。:(