我可以在类定义中的非类型模板参数包上使用“enable_if”吗？

问：

我想在可能固定数量的布尔值上模板化一个类，对它们进行计数，并将该数字用作基类的模板参数。像这样的东西

template <int Dimensionality> struct Foo {}; // I want to inherit from this

// helpers to compile-time count the true values among bools
template <bool B, bool... Args>
struct count_true {
  static constexpr int value = count_true<B>::value + count_true<Args...>::value;
};

template <>
struct count_true<true> {
  static constexpr int value = 1;
};
template <>
struct count_true<false> {
  static constexpr int value = 0;
};

// I want something like this, pseudocode
template <bool... Args>
struct Bar : public Foo<count_true<Args...>::value> {
  Bar(bool... args) {
    // do something with the parameters
    static_assert(sizeof...(args) <= 1337);
  }
};

但我找不到办法做到这一点。 似乎有很多与函数的参数包相关的问题，例如enable_if

• 在参数中强制执行单一类型的 C++ 参数包
• 使用 enable_if 检查参数包的类型

或者使用模板类型不用于继承，例如

• 如何enable_if具有可变参数模板参数的类？

但这些在这种特殊情况下都无济于事。 “伪代码”不编译，因为不是未扩展的参数包。bool... args

我在想这样的东西可能会起作用，但它没有，因为参数包必须是最后一个模板参数：

template <class... Ts>
struct Bar : public Foo<count_true<Ts..., std::enable_if_t<(std::is_same<Ts, bool>::value && ...), bool>>::value> {
…
}

有没有办法做到这一点？这个问题可能有点困惑，因为我真的不知道我在做什么 w.r.t. 模板元编程。