我有一个包含variant.
我想为该结构编写一个成员函数，该函数应该根据当前持有的类型变体运行代码。
但是，我在编译时遇到了问题。我不想使用更多的“模板恶作剧”，比如使用单独的结构来定义，operator(T&)因为它会更多地污染语法。下面是一个例子：
struct Data {
std::variant<int, double> var;
//Into this function,multiple lambdas should be passed for cases that the user wants to handle
template<typename ... Funcs>
void apply(Funcs&&... funcs) {
std::visit(std::forward<Funcs>(funcs)...,var);
}
};
int main() {
Data d;
d.var = 4;
//variant holds int and lambda provided that takes int&, execute it:
d.apply([](int& i){
std::cout << "I am Int Poggers" << std::endl;
});
d.var = 0.0;
//variant holds double but no lambda passed that takes a double, hence nothing happens:
d.apply([](int& i){
std::cout << "I am Int Poggers" << std::endl;
});
}
我什至不知道编译器想从我这里得到什么：https : //godbolt.org/z/oM4584anf
您的问题是std::visit()需要一个必须处理每种类型的std::variant.
但是，我在编译时遇到了问题。我不想使用更多的“模板恶作剧”，比如使用单独的结构来定义 operator(T&)，因为它会更多地污染语法。
没有什么复杂的。
您可以简单地添加一个简单的结构（带有推导指南）如下（以及在cppreferencestd::visit()页面中提出的）
template<class... Ts> struct overloaded : Ts...
{ using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;
然后，考虑到您想要std::visit()return void，您可以在您的apply()方法中添加一个通用的 lambda
template<typename ... Funcs>
void apply(Funcs&&... funcs) {
std::visit(overloaded{ // <-- pass through overloaded
[](auto const &){}, // <-- and add this generic lambda
std::forward<Funcs>(funcs)...},var);
}
现在第一个apply()电话
d.apply([](int& i){
std::cout << "I am Int Poggers" << std::endl;
});
应该编译调用提供的 lambda，因为它是一个更好的匹配（假设d包含int），第二个调用 compile 调用什么都不做的泛型 lambda，因为泛型 lambda 是double.
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句