Переопределение метода класса-шаблона

typedef OS::process<OS::pr0, 90> TProc1;
TProc1 Proc1;
template<> void Proc1::exec()
{
    //тут кот
}

SomeClass a;
a::f(){} // Должен быть тип, а не экземпляр класса

...
//      Process types
//
typedef OS::process<OS::pr0, 120> TProc1;
typedef OS::process<OS::pr1, 160> TProc2;
typedef OS::process<OS::pr2, 120> TProc3;
 
//---------------------------------------------------------------------------
//
//      Process objects
TProc1 Proc1;
TProc2 Proc2;
TProc3 Proc3;
...
template<> void TProc1::exec()
{
    DRIVER(PROC1,OUT);
    DRIVER(TIMER1_TO_PROC1,OUT);
    for(;;)
    {
        OFF(PROC1);
        Timer1_Ovf.Wait();
        ON(PROC1);
        OFF(TIMER1_TO_PROC1);
        SlonQueue.push(&African);
    }
} // TProc1::exec()
 
} // namespace OS

template<> void TProc1::exec()

template<> OS::process<OS::pr0, 120>::exec()

TProc1 Proc1 = new TProc();

template <typename T1, typename T2>
class A
{
public:
    void foo();
};
 
template class A<int, int>; // explicit istantiation

template void A<int, int>::foo();

template <typename T1, typename T2>
void A<T1, T2>::foo()
{
}

template void A<int, int>::foo();
template void A<int, double>::foo();
template void A<int, short>::foo();

template <>
void A<int, int>::foo()
{
}

template <typename T>
class A<T, int>
{
public:
    void foo();
};
 
template <typename T>
void A<T, int>::foo()
{
}

void foo();
 
int main()
{
    foo();
}
 
void foo()
{
}

TProc1* Proc1 = new TProc(); // объект создаётся в динамической памяти (куче), возвращается указатель на эту память.
TProc1 Proc1; // объект создаётся в автоматической памяти (на стеке)

template void A<int, int>::foo();

template void A<int, int>::foo();
template void A<int, short>::foo();
template void A<int, char>::foo();

//---------------------------------------------------------------------------
//
//      Process types
//
typedef OS::process<OS::pr0, 120> TProc1;
typedef OS::process<OS::pr1, 160> TProc2;
typedef OS::process<OS::pr2, 120> TProc3;
 
// Explicit specialization of function must precede its first use. But ...
// avoid GCC bug ( [url]http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15867[/url] )
#if 0
    template<> void TProc1::exec();
    template<> void TProc2::exec();
    template<> void TProc3::exec();
#endif

template <>
void A<int, int>::foo()
{
   //...
}

template<> OS::process<OS::pr0, 120>::exec(); // Здесь происходит явное инстанцирование метода шаблонного класса.