0

我创建了以下代码来创建从 0 到 N 的数字序列。我知道有像这里这样具有 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)) ;
  
}

链接到 cppinsights 中的代码

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

4

0 回答 0