lambda函数可以模板化吗？

Question

在C++ 11中,有没有办法模板化lambda函数？或者它本身太具体而无法模板化？

我理解我可以定义一个经典的模板类/仿函数,但问题更像是:语言是否允许模板化lambda函数？

Answer 1

更新2018年:C++ 20将带有模板化和概念化的lambda.该功能已经集成到标准草案中.

更新2014:C++ 14已于今年发布,现在提供的Polymorphic lambdas语法与此示例相同.一些主要的编译器已经实现了它.

在它的立场(在C++ 11中),遗憾的是没有.多态lambda在灵活性和功率方面都很出色.

他们最终变成单态的原因是因为概念.概念使这种代码情况变得困难:

template <Constraint T>
void foo(T x)
{
    auto bar = [](auto x){}; // imaginary syntax
}

在受约束的模板中,您只能调用其他受约束的模板.(否则无法检查约束.)可以foo调用bar(x)吗？lambda有什么约束(毕竟它的参数只是一个模板)？

概念还没有准备好解决这类问题; 它需要更多的东西late_check(如果概念在被调用之前没有被检查过)和东西.更简单的只是放弃所有并坚持单形lambda.

但是,随着从C++ 0x中删除概念,多态lambda再次成为一个简单的命题.但是,我找不到任何建议.:(

Answer 2

C++ 11 lambdas不能像其他答案中所述那样进行模板化,但decltype()在模板化类或函数中使用lambda时似乎有所帮助.

#include <iostream>
#include <string>

using namespace std;

template<typename T>
void boring_template_fn(T t){
    auto identity = [](decltype(t) t){ return t;};
    std::cout << identity(t) << std::endl;
}

int main(int argc, char *argv[]) {
    std::string s("My string");
    boring_template_fn(s);
    boring_template_fn(1024);
    boring_template_fn(true);
}

打印:

My string
1024
1

我发现这种技术在使用模板化代码时很有帮助,但实现它仍然意味着lambdas本身不能被模板化.

Answer 3

在C++ 11中,lambda函数不能模板化,但在下一版本的ISO C++标准(通常称为C++ 14)中,将引入此功能.[资源]

用法示例:

auto get_container_size = [] (auto container) { return container.size(); };

请注意,尽管语法使用关键字auto,但类型推导不会使用auto类型推导的规则,而是使用模板参数推导的规则.另请参阅有关通用lambda表达式的提议(以及对此的更新).

Answer 4

在 C++20 中，这可以使用以下语法：

auto lambda = []<typename T>(T t){
    // do something
};

Answer 5

我知道这个问题是关于C++ 11的.但是,对于那些使用Google搜索并登陆此页面的人,现在在C++ 14中支持模板化lambda,并使用名称Generic Lambdas.

[info]大多数流行的编译器现在都支持这个功能.Microsoft Visual Studio 2015支持.Clang支持.GCC支持.

Answer 6

我想知道这是怎么回事:

template <class something>
inline std::function<void()> templateLamda() {
  return [](){ std::cout << something.memberfunc() };
}

我使用类似这样的代码来生成模板,并想知道编译器是否会优化"包装"功能.

Answer 7

有一个gcc 扩展允许lambda 模板：

// create the widgets and set the label
base::for_each(_widgets, [] <typename Key_T, typename Widget_T>
                         (boost::fusion::pair<Key_T, Widget_T*>& pair) -> void {
                             pair.second = new Widget_T();
                             pair.second->set_label_str(Key_T::label);
                          }
              );

哪里_widgets是std::tuple< fusion::pair<Key_T, Widget_T>... >