使用传递的 lambda 调用 std::visit

Question

我有一个包含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

Answer 1

您的问题是std::visit()需要一个必须处理每种类型的“访问者” std::variant。

但是，我在编译时遇到问题。我不想使用更多的“模板恶作剧”，例如使用单独的结构来定义运算符（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），第二次调用编译调用不执行任何操作的泛型 lambda，因为泛型 lambda 更匹配double。