Способы объявления шаблона

#include <iostream>
 
using namespace std;
 
template <typename T>
void Func(T value)
{
  cout << value << "\n";
}
 
int main()
{
  int a = 5;
  Func <int> (5);
  return 0;
}

template <class T>

template <typename T>
template <class T>

Func(5);

template < template <typename> class TT >

#include <iostream>
 
 
template < template <typename> class TT >
    struct foo{};
 
 
int main()
{
    std::cout << "Hello, world!\n";
    
    foo<std::allocator> d;
}

template<template <typename> typename TT>

template <int x>

#include <iostream>
 
using namespace std;
 
template <typename T, typename TT>
class Object1
{
  private:
    T itsVal;
    TT itsVal2;
  public:
    Object1(T value, TT value2): itsVal(value), itsVal2(value2) {}
    void Show() const 
    {cout << "Object1 val:\t" << itsVal << "\n" << "Object1 val2:\t" << itsVal2 << "\n";}
};
 
template <typename T, template <typename, typename> class C>
class Object2
{
  private:
    T itsVal;
    C <int, int> itsObj;
  public:
    // Не уверен в правильности реализации конструктора:
    Object2(T value, C <int, int> object): itsVal(value), itsObj(object) {}
    void Show() const 
    {cout << "Object2 val:\t" << itsVal << "\n" << "Object2 С:\t" << itsObj << "\n";}
};
 
 
 
int main()
{
  Object1 <int, int> theObject1(2, 4);
  theObject1.Show();
  
  //Здесь у меня проблемы:
  //Object2 <int, Object1 <int, int>> theObject2(12, Object1(4,5));
    
  return 0;
}

template <typename T, template <typename, typename> class C>
class Object2
{
  private:
    T itsVal;
    C <int, int> itsObj;
  public:
    // Не уверен в правильности реализации конструктора:
    Object2(T value, C <T, T> object): itsVal(value), itsObj(object) {}
    void Show() const 
    {cout << "Object2 val:\t" << itsVal << "\n" << "Object2 С:\t" << itsObj << "\n";}
};

Object2 <int, Object1> theObject2(12, Object1<int, int>(4,5));