Re: Simplester MetaLoop

Now that I'm rewriting all applicable nested loops as template
versions, I asked myself: why do I need to separate the base and
inductive cases into two lexically separate template constructs? The
"Hello World" that I'm building on looks something like this:

template<int i>
struct Loop1 {
  static inline void foo() {
    std::cout << "i is " << i << ", ";
    Loop1<i-1>::foo();
  }
};

template<>
struct Loop1<0> {
  static inline void foo() {
    std::cout << "i is " << 0 << std::endl;
  }
};

So then I tried the following minimal example code, but it fails with
"error: template instantiation depth exceeds maximum of 500"; even
when the depth I test appears to me to be only 2. Can anyone please
shed light on my grave misunderstanding of template instantiation?
Must we have the two distinct templates?

template<int i>
struct Loop2 {
  static inline void foo() {
    if (i>0) {
      std::cout << "i is " << i << ", ";
      Loop2<i-1>::foo();
    }
    else {
      std::cout << "i is " << i << std::endl;
    }
  }
};

int main(int argc, char *argv[])
{
  Loop2<1>::foo();
  return 0;
}