在c++ 11中,是否有一种方法来模板lambda函数?还是它本身就太具体了,无法被模板化?
我知道我可以定义一个经典的模板化类/函子,但问题更像是:语言是否允许模板化lambda函数?
在c++ 11中,是否有一种方法来模板lambda函数?还是它本身就太具体了,无法被模板化?
我知道我可以定义一个经典的模板化类/函子,但问题更像是:语言是否允许模板化lambda函数?
当前回答
我知道这个问题是关于c++ 11的。然而,对于那些在谷歌上搜索并登陆这个页面的人来说,c++ 14现在支持模板化lambdas,并被称为泛型lambdas。
现在大多数流行的编译器都支持这个特性。微软Visual Studio 2015支持。叮当声的支持。GCC支持。
其他回答
这里有一个解决方案,涉及到将lamba包裹在一个结构中:
template <typename T>
struct LamT
{
static void Go()
{
auto lam = []()
{
T var;
std::cout << "lam, type = " << typeid(var).name() << std::endl;
};
lam();
}
};
使用do:
LamT<int>::Go();
LamT<char>::Go();
#This prints
lam, type = i
lam, type = c
这样做的主要问题是(除了额外的类型之外)你不能将这个结构定义嵌入到另一个方法中,否则你会得到(gcc 4.9)
error: a template declaration cannot appear at block scope
我也试过这样做:
template <typename T> using LamdaT = decltype(
[](void)
{
std::cout << "LambT type = " << typeid(T).name() << std::endl;
});
我希望我可以这样使用它:
LamdaT<int>();
LamdaT<char>();
但是我得到了编译器错误:
error: lambda-expression in unevaluated context
所以这行不通……但是即使它编译了,它的作用也是有限的 使用,因为我们仍然必须把“使用LamdaT”在文件范围 (因为它是一个模板)这在某种程度上违背了lambdas的目的。
在c++ 20中,可以使用以下语法:
auto lambda = []<typename T>(T t){
// do something
};
我想知道这是怎么回事:
template <class something>
inline std::function<void()> templateLamda() {
return [](){ std::cout << something.memberfunc() };
}
我使用类似的代码,生成一个模板,不知道编译器是否会优化“包装”函数。
我知道这个问题是关于c++ 11的。然而,对于那些在谷歌上搜索并登陆这个页面的人来说,c++ 14现在支持模板化lambdas,并被称为泛型lambdas。
现在大多数流行的编译器都支持这个特性。微软Visual Studio 2015支持。叮当声的支持。GCC支持。
c++ 11 lambda不能像其他答案中所述的那样被模板化,但当在模板化的类或函数中使用lambda时,decltype()似乎有所帮助。
#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本身不能被模板化。