访问函数变体时出现“无效转换”错误

Question

我正在尝试std::visit std::function类型的std::variant 。

为什么以下代码无法编译：

#include <functional>
#include <variant>

int main()
{
  std::variant<
      std::function< int () >,
      std::function< float () >
  > func_variant {std::in_place_index<0>, [] () { return 42; }};

  auto object = std::visit( [] (auto& func) { return func(); }, func_variant);

  return 0;
}

错误发生在std::visit的调用中，它说：

error: invalid conversion from ‘std::__success_type<float>::type (*)(main()::<lambda(auto:1&)>&&, std::variant<std::function<int()>, std::function<float()> >&)’ {aka ‘float (*)(main()::<lambda(auto:1&)>&&, std::variant<std::function<int()>, std::function<float()> >&)’} to ‘int (*)(main()::<lambda(auto:1&)>&&, std::variant<std::function<int()>, std::function<float()> >&)’ [-fpermissive]
       { return _Array_type{&__visit_invoke}; }
                                           ^

Answer 1

您的每个std::function类型都返回不同的类型，因此您传递给std::visit的 lambda 的返回类型取决于 lambda 的选定元素的类型。 这意味着自动类型推导无法工作，因为对std::visit的调用必须有一个单一的返回类型，它独立于变量的哪个元素是活动的。

您可以制作一个返回类型变体： using returns=std::variant<int,float>然后将您的 lambda 中的返回值转换为：

using returns=std::variant<int,float>;
auto object = std::visit( [] (auto& func) { return returns(func()); }, func_variant);

这样你的 lambda 的返回类型在所有情况下都是相同的，但是你需要查询结果以查看你得到了什么。