запутался со специализацией шаблонного метода для шаблонного класса

  template<int n>
  class bar {...};

  template<>
  class bar<0> {...};

template<unsigned int> struct foo;

template<>
struct foo<0>
{
  int bar(){ return 0;}
};

template<unsigned int n> 
struct foo : public foo<n-1>
{
   int bar() {return n + this->foo<n-1>::bar();}
};

template<int m=n>
	int bar(std::array<int, m>* unused_null){
		cout<<"call foo<"<<m<<">"<<endl;
                std::array<int, m-1>* fake_arg = nullptr;
		return m+bar(fake_arg);
	};

	int bar(std::array<int, 0>* unused_null){
            cout<<"no recursion"<<endl;
            return 0;
	};

template<int n>
struct foo_t
{
  template<int m, typename std::enable_if<m != 0, int>::type* = nullptr>
  int bar()
  {
    return m + bar<m - 1>();
  }

  template<int m, typename std::enable_if<m == 0, int>::type* = nullptr>
  int bar()
  {
    return 0;
  }
};

template<int m>
int bar_impl([[maybe_unused]] int n)
{
	return m + bar_impl<m-1>(n);
}

template<>
int bar_impl<0>([[maybe_unused]] int n)
{
	return 0;
}

template <int n>
struct Foo {
	template <int m = n>
	int bar()
	{
		return bar_impl<m>(n);
	}
};