5

我已经从 boost::variant 迁移到 std::variant，但遇到了障碍。

我在 boost 'type()' 中使用了一个很好的函数，它可以让你获得当前持有的 typeid。见https://www.boost.org/doc/libs/1_48_0/doc/html/boost/variant.html#id1752388-bb

如何使用 std::variant 实现这一点？

我在“type_index”上有一个无序映射键，它包含一些值“std::function”。我的变体，取决于类型，将决定我从地图中抓取什么功能来做一些操作。（我的代码太大而无法发布）。

除了为特定的 std::variant 编写特定的访问者之外，还有什么实现想法吗？也许使用 std::variant 上的 'index()' 函数，然后索引到变体的类型列表中？有点像这样：如何从元组中获取第 N 个类型？

4

2 回答 2

9 
template<class V>
std::type_info const& var_type(V const& v){
  return std::visit( [](auto&&x)->decltype(auto){ return typeid(x); }, v );
}

或者

template<class...Ts>
std::type_info const& var_type(std::variant<Ts...> const& v, std::optional<std::size_t> idx={}){
  if (!idx) idx=v.index();
  if(*idx==std::variant_npos) return typeid(void);
  const std::array<std::type_info const*, sizeof...(Ts)> infos[]={ &typeid(Ts)... };
  return *(infos[*idx]);
}

这使您可以询问其他不活动的索引。

于 2018-12-09T23:05:15.280 回答
4

问题是当前选择的类型仅在运行时已知，而“获取”类型必须在编译时完成。这正是我们有访问者的原因——隐藏实现if背后不可避免的语句链variant。

最好从这样的访问者内部执行地图调度，而不是重新发明该实现。

如果做不到这一点，您将不得不编写自己的if语句链，生成类似于使用访问者的代码，但可能更慢且不易维护！

确实，您不能通过阅读index()然后要求变体给您等价物来实现这样的事情typeid，就像使用 Boost 实现一样。但我很确定这是故意的，因为（正如我上面所建议的）任何使用它的代码都是不明智的。当然，如果你真的想，你可以写一个访问者来制作这样一个typeid！但是，您仍然必须编写条件逻辑来处理该值，因为您可以首先将逻辑放入访问者中。

于 2018-12-09T21:33:21.120 回答