c++ - std::variant 使用整数数组中的元素作为 std::variant 中的目标类型从 std::variant 获取内容

Question

我有一个整数数组来检索 std::variant 中的内容。但是编译失败，报错No matching function to call 'get' .您能否解释原因，并提出实现相同目的的可行解决方案？

using my_type = std::variant<int, float, bool>;
constexpr int[] expected_types = {2,2,2,2};
 

bool validate(std::vector<my_type> input) {
  bool rst;
  if (input.size() != 4) {
    return false;
  }
  for (int i = 0; i < 4; i++) {
    rst = rst || std::get<my_type[i]>(input[i]);
  }
  return rst;
}

这里有更多的上下文。 A、B、C类都实现了接口(interface)bool foo(std::vector<my_type> input) .但是A类的输入是{int, int, bool}的格式，B类的输入是{int, int, float}的格式，C类的输入是{bool,bool}的格式。每个类中的 expected_types 在输入 vector 中保存自己的类型。然后 std::get 用于访问输入 vector 中的元素。你能建议一个清晰优雅的模式来满足我的情况吗？

非常感谢!

Answer 1

如果我理解你的validate正常运行，它应该验证 vector<variant<int, float, bool>> ...

1. 对于类型 A 具有正确的长度, B或 C .
2. 包含 variant variant 指示的类型A::expected_types[] 中的索引, B::expected_types[]或 C::expected_types[] .

然后它可以采用正在测试的类型 vector for ( A , B 或 C ) 作为模板参数并使用 variant::index()检查个人的类型variant s 持有 vector .

将它与折叠结合 && (因为你希望所有的都是 true )你会得到:

template<class T>
bool validate(const std::vector<my_type>& input) {
    if (input.size() != std::size(T::expected_types))  return false;

    return [&]<std::size_t... Is>(std::index_sequence<Is...>) {
        // fold over && :
        return (... && (input[Is].index() == T::expected_types[Is]));
    }(std::make_index_sequence<std::size(T::expected_types)>());
}

如果你真的想要std::get expected_types来自 vector并使用逻辑 OR , 这可以用类似的方式完成，但折叠 || :

template <class T>
bool get_bool(const std::vector<my_type>& input) {
    if (not validate<T>(input)) return false; // use the validation function above

    return [&]<std::size_t... Is>(std::index_sequence<Is...>) {
        // fold over ||
        return (... || (std::get<T::expected_types[Is]>(input[Is])));
    }(std::make_index_sequence<std::size(T::expected_types)>());
}

Demo