如何在变量参数长度C＆＃x2B;＆＃x2B;宏（...和va_args）？

Question

我正在尝试编写一个 C++ 宏，它将取代经常需要的冗长代码，例如

switch (id) {
case 0:
    s << myFloat;
    break;
case 1:
    s << myInt;
    break;
default: break;
}

使用 DESERIALIZE_MEMBERS(myFloat, myInt) 之类的代码。 s 和 id 不会更改用例的名称，因此它们不需要是宏参数。

它应该支持可变参数长度，因此对于另一种情况，DESERIALIZE_MEMBERS(myString, myArrayOfInts, myLong) 也应该可以工作，向 switch 表达式添加第三个 case 语句。

但是，我不清楚如何在宏内为每个参数迭代 case N: 中的 N 值。

在标准 C++ 宏中这可能吗？

Answer 1

在 c++17，这是一个解决方案。

首先是编译时常量类型和值：

template<auto X>
using constant_t = std::integral_constant<decltype(X), X>;
template<auto X>
constexpr constant_t<X> constant_v;

接下来是此类常量的变体：

template<auto...Is>
using enum_t = std::variant<constant_t<Is>...>;

这使您可以在运行时生成编译时枚举值并使用它。

现在有一些代码可以让您将运行时整数转换为编译时枚举值：

template<std::size_t...Is>
constexpr enum_t<Is...> get_enum_v( std::index_sequence<Is...>, std::size_t i ) {
  using generator = enum_t<Is...>(*)();
  constexpr generator generators[] = {
    +[]()->enum_t<Is...> {
      return constant_v<Is>;
    }...
  };
  return generators[i]();
}
template<std::size_t N>
auto get_enum_v( std::size_t i ) {
  return get_enum_v( std::make_index_sequence<N>{}, i );
}

因此，如果您执行 get_enum_v<10>(2)，它会返回一个 enum_t<...> 有 10 个替代项，其中包含索引 2 的替代项，该替代项是 constant_v。

现在我们只得到一个元组和一个索引，然后我们在索引描述的元组元素上调用一个函数：

template<class F, class Tuple>
auto apply_to_nth_element( std::size_t i, F f, Tuple tuple ) {
  constexpr std::size_t N = std::tuple_size<Tuple>{};
  auto Index = get_enum_v<N>( i );
  return std::visit( [&](auto I){
    return f( std::get<I>(tuple) );
  }, Index );
}

您现在可以这样做：

apply_to_nth_element(id, [&](auto& elem) {
  s << elem;
}, std::tie(myFloat, myInt));

而不是

DESERIALIZE_MEMBERS(myFloat, myInt)

实例；可以在早于 的版本中重写代码c++17 但很快就会变得非常丑陋。