在C++17中，lambda是否可以作为模板参数传递

Can a lambda be passed a as a template parameter in C++17?

本文关键字：参数传递 C++17 lambda 是否      更新时间：2023-10-16

我已经阅读了关于SO的多个答案，其中lambda被传递到类模板，但由于某种原因，我无法实现……我使用的是g++版本9，使用的是C++17。

#include <string>
struct Type {
Type();
Type(int);
int theVal();
};
template<typename Key, typename Value, Key(*KeyFunc)(Type t) = nullptr>
struct MyClass {
MyClass(){}
~MyClass(){}
void add(const Key key, const Value value){
//do stuff
}
void add(const Value value){
this->add(KeyFunc(value), value);
}
};
int main(){
MyClass<
int,
std::string,
+[](Type t){
return t.theVal();
}
> instance;
Type value(100);
instance.add(value);
return 0;
}

错误消息告诉我不能在模板中使用lambda。

是的，但它需要首先在模板参数之外声明，并且lambda必须是无捕获的：

auto lambda = [](Type t) {
return t.theVal();
};
// Works, C++17 allows constexpr conversion for nttp
MyClass<int, Type, lambda> instance;

在C++20中，您可以使用C++17的auto模板参数和直接在模板参数中的lambda：

constexpr auto noop = [](auto&& v) -> decltype(auto) {
return static_cast<decltype(v)&&>(v);
};
template<typename Key, typename Value, auto KeyFunc = noop>
class MyClass {
// ...
};
MyClass<
int,
Type,
[](Type t) {
return t.theVal();
}
> instance;

C++20实时示例

C++17实时示例

相关文章：