为什么 decltype 不实例化这个递归函数原型？

如何解决为什么 decltype 不实例化这个递归函数原型？

我创建了以下代码来创建从 0 到 N 的数字序列。我知道有像 here 这样的 O(log N) 实例化深度更好的方法，但这不是重点。

#include <cstddef>

template<std::size_t... Ns> struct hasNums;

template<bool> struct hasBool;

template<std::size_t... Ns> 
hasNums<Ns...>* makeNums(hasBool<false>*);

template<std::size_t First,std::size_t... Ns> 
constexpr
decltype(makeNums<(First - 1),First,Ns...>(
static_cast<hasBool<static_cast<bool>(First - 1)>*>(0)
) ) makeNums(hasBool<true>*);

template<std::size_t... Ns>
void method(hasNums<Ns...>*){

}

int main()
{
    method(static_cast<decltype(makeNums<20>(static_cast<hasBool<true>*>(0)))>(0)) ;
  
}

Link to the code in cppinsights

在 cppinsights 上运行代码显示只有 method 被实例化，这只是为了我可以看到数字 0 到 N 确实正在生成。我很惊讶，因为我以为我也会看到 makeNums 的实例化。编译器如何在没有其他实例化的情况下创建这个索引序列？