变量模板值的递归计算

Question

这就是我想要完成的工作（但失败了）。这个想法是count<N> 必须等于N。这是一个更复杂计算的简化案例，不要介意这段代码明显的愚蠢。

template <>
constexpr size_t count<0> = 0;

template <auto N>
constexpr size_t count = 1 + count<static_cast<size_t>(N) - 1>;

int main()
{
    return count<1>;
}

无法编译：

<source>:5:23: error: expected initializer before '<' token

 constexpr size_t count<0> = 0;
                       ^

如果我用专业化交换一般情况，它也不会编译。它甚至可以使用可变模板吗？

Try it online

Answer 1

这是正确版本的代码：

template <auto N>
constexpr size_t count = 1 + count<static_cast<size_t>(N) - 1>;

template <>
constexpr size_t count<static_cast<size_t>(0)> = 0;

注意以下几点：

1. 必须在任何特化之前声明主模板。没有例外。
2. 特化count<0> 和count<static_cast<size_t>(0)> 是不同的，因为它们的参数有不同的类型。在您提供显式特化 count<0> 的原始代码中，主模板定义中指定的 count<1> 中发生的递归不会使用此特化，这就是发生无限递归的原因。