C++元组元素类型可以基于模板参数有条件地添加吗？

Question

我正在尝试根据一些编译时条件，有条件地向元组模板类型添加类型，如下所示：

template <typename T>
class Base { ... }

template <int I>
class Derived : public Base<std::tuple<std::conditional<I % 8 == 0, int,    void>::type,
                                       std::conditional<I % 4 == 0, double, void>::type,
                                       std::conditional<I % 2 == 0, float,  void>::type>>
{ ... }

我知道这不是有效的代码，但从概念上讲，我试图有条件地向元组列表中添加类型。我希望在条件解析为void时跳过该类型。

有办法做这样的事情吗？

Answer 1

你的问题有一小部分无法计算：

std::conditional<I % 1 == 0, float,  void>:

由于任何整数除以1时的余数为0，因此该条件将始终为真。

不管这里的实际意图是什么，我将给出一个包含两个条件的示例，这些条件可以根据需要进行简单的扩展以包括附加的条件：

#include <tuple>
#include <functional>

template <typename T>
class Base {};

template <int I>
class Derived : public Base<
    decltype(std::tuple_cat(
             std::declval<
                std::conditional_t<I % 4 == 0,
                                  std::tuple<int>,
                                  std::tuple<>>>(),
             std::declval<
                std::conditional_t<I % 2 == 0,
                                  std::tuple<float>,
                                  std::tuple<>>>()
             ))>
{
};

Derived<4> a;

Base<std::tuple<int, float>> &b=a;

Derived<2> c;

Base<std::tuple<float>> &d=c;

这是利用了以下事实：std::tuple_cat对std::tuple<>非常满意，我们只需使用它将正确的元组组合粘合在一起。