c++ - 是否可以在没有 lambdas 的情况下使用 std::visit (只是一个简单的类)？

Question

关闭。这个问题是not reproducible or was caused by typos .它目前不接受答案。












想改善这个问题吗？更新问题，使其成为 on-topic对于堆栈溢出。

去年关闭。




Improve this question




我正在尝试尝试使用一个简单的类来创建访问者，并为变体中的每种类型重载 operator()。
我预计这会起作用(因为我认为它适用于 lamdba 函数):

#include <variant>
#include <iostream>

using Example = std::variant<int, float, bool>;

class ExampleVisitor {
  void operator()(int& i) {
    std::cout << "Integer: " << i << '\n';
  }

  void operator()(float& f) {
    std::cout << "Float: " << f << '\n';
  }

  void operator()(bool& b) {
    std::cout << "Boolean: " << b << '\n';
  }
};

int main() {
  Example example = 1234;
  ExampleVisitor visitor;
  std::visit(visitor, example);
}

然而，编译此代码(在 gcc 9.3.0 版上)会导致一个相当神秘的错误 error: no type named ‘type’ ，我真的无法理解。我认为这与 std::visit有关推断访问者的返回类型，但我不太确定修复方法。
完整错误:

In file included from visit.cpp:1:
/usr/include/c++/9/variant: In instantiation of ‘constexpr decltype(auto) std::__do_visit(_Visitor&&, _Variants&& ...) [with bool __use_index = false; bool __same_return_types = true; _Visitor = ExampleVisitor&; _Variants = {std::variant<int, float, bool>&}]’:
/usr/include/c++/9/variant:1654:24:   required from ‘constexpr decltype(auto) std::visit(_Visitor&&, _Variants&& ...) [with _Visitor = ExampleVisitor&; _Variants = {std::variant<int, float, bool>&}]’
visit.cpp:23:30:   required from here
/usr/include/c++/9/variant:1634:13: error: no type named ‘type’ in ‘std::conditional_t<false, std::__detail::__variant::__variant_idx_cookie, std::invoke_result<ExampleVisitor&, int&> >’ {aka ‘struct std::invoke_result<ExampleVisitor&, int&>’}
 1634 |       using _Result_type = typename std::conditional_t<__use_index,
      |             ^~~~~~~~~~~~
/usr/include/c++/9/variant:1638:23: error: no type named ‘type’ in ‘std::conditional<false, std::__detail::__variant::__variant_idx_cookie, std::invoke_result<ExampleVisitor&, int&> >::type’ {aka ‘struct std::invoke_result<ExampleVisitor&, int&>’}
 1638 |       constexpr auto& __vtable = __detail::__variant::__gen_vtable<
      |  

Answer 1

是的，这当然是可能的。问题是，您的过载设置在 ExampleVisitor 内是 private , 所以 std::visit没有找到合适的 operator()使用(据它所知，根本不存在 operator() )。
您可以通过设置过载来解决此问题 public :

class ExampleVisitor {
    public:
  //  ...  all overloads
};

或者通过制作 class成 struct这会更改默认访问说明符。
这是一个 demo .