parâmetro de modelo sem tipo de modelo

Question

Estou tentando escrever uma constante constexpr de forma concisa usando recursos do C ++ 20.

#include <utility>

template <template <typename T, T ... Ints> std::integer_sequence<T, Ints...> I>
static constexpr long pow10_helper = ((Ints, 10) * ...);

template <std::size_t exp>
static constexpr long pow10 = pow10_helper< std::make_index_sequence<exp> >;

static_assert(pow10<3> == 1000);

mas não está compilando no GCC nem no clang.

É possível especificar parâmetros de modelo sem tipo? Alternativamente, é possível escrever recursivamente, mas seria bom saber se é possível escrever como acima.

Observe que esta pergunta é semelhante ao parâmetro de modelo sem tipo de modelo, mas o parâmetro de modelo sem tipo é colocado na lista de parâmetros de modelo aninhada em vez de na lista de parâmetro principal.

Answer 1

Você não pode fazer referência direta a argumentos para parâmetros de modelo de modelo. Eles não estão no escopo. Mas você poderia fazer algo assim:

#include <utility>

template <class>
class pow10_helper {};

template <template <typename T, T ...> class IntSeq, class T, T ... Ints>
struct pow10_helper<IntSeq<T, Ints...>> {
  static constexpr long value = ((Ints, 10) * ...);
};

template <size_t pow>
static constexpr long pow10 = pow10_helper<std::make_index_sequence<pow>>::value;

#include <iostream>
int main() {
  size_t pow = pow10<3>;
  std::cout << pow << std::endl; // prints 1000
}

Dito isso, existem maneiras mais simples de implementar pow10:

template <size_t pow>
struct pow10 { static constexpr size_t value = 10 * pow10<pow-1>::value; };
template <> struct pow10<0> { static constexpr size_t value = 1; };

int main() {
  size_t pow = pow10<3>::value;
  std::cout << pow << std::endl; //prints 1000
}

Answer 2

Você poderia fazer algo assim:

#include <utility>

template<class T>
static constexpr long pow10_helper;

template<class T, T... Is>
static constexpr long pow10_helper<std::integer_sequence<T, Is...>> = ((Is, 10) * ...);

template <std::size_t exp>
static constexpr long pow10 = pow10_helper<std::make_index_sequence<exp> >;

static_assert(pow10<3> == 1000);