c++ - 可以将 lambda 作为 C++17 中的模板参数传递吗?
问题描述
我已经阅读了关于 SO 的多个答案,其中 lambdas 被传递给类模板,但由于某种原因我无法实现它......我正在使用 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 中,可以auto
直接在模板参数中使用 C++17 的模板参数和一个 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;
推荐阅读
- elasticsearch - Elasticsearch 按好恶排序
- email - Magento 2 电子邮件显示模板提示
- java - 重做 Firebase 数据库读取 onCancelled
- swift - Swift: Using optional if statements correctly
- r - Identify repeats in r
- ms-access - 选择复选框指示字段值的访问项
- r - 从 R 中的包中编辑函数?
- prolog - 序言:
:compile(Filename) 用法和解释 - r - 在 R 中使用与一个数据框合并
- scala - Spark Dataframe Union 提供重复项