Возможно ли создание объекта шаблонного класса в функции этого класса?

#include <iostream>
 
using namespace std;
 
template <class T> 
class Set
{
    int size;
    T* data;
public:
    Set();                  //Конструктор пустого множества
    Set(int n,T a);         //Конструктор с параметром
    Set(const Set<T>& s);   //Копирования
    ~Set();                 //Деструктор
 
    Set<T>& operator =(const Set<T>& a);    //Присваивания
    T& operator [](int index);                  //Доступ по индексу
    int operator ()();                      //Возврат длины
    Set<T> operator -(const Set<T>& a);     //Разность множеств (Не реализовано)
 
    void GetD(const Set<T>& a,const Set<T>& b); //Замена предыдущего
 
    void Add(T a);  //Добавляет элемент
 
    friend ostream& operator << <>(ostream& out, const Set<T>& a);
    friend istream& operator >> <>(istream& in, Set<T>& a);
};
 
 
template <class T>
Set<T>::Set()
{
    size=0;
    data=0;
}
 
template <class T>
Set<T>::Set(int n,T a)
{
    size=n;
    data=new T[size];
    for(int i=0;i<size;i++)
        data[i]=a;
}
 
template <class T>
Set<T>::Set(const Set<T>& a)
{
    size=a.size;
    data=new T[size];
    for(int i=0;i<size;i++)
        data[i]=a.data[i];
}
 
template <class T>
Set<T>::~Set()
{
    delete[] data;
    data=0;
}
 
template <class T>
Set<T>& Set<T>::operator=(const Set<T>& a)  //Оператор присваивания
{
    if(this==&a) return *this;
    size=a.size;
    if(data!=0) delete[] data;
    data=new T[size];
    for(int i=0;i<size;i++)
        data[i]=a.data[i];
    return *this;
}
 
template <class T>  
T& Set<T>::operator[](int index) //операция доступа по индексу 
{ 
    if (index<size) return data[index]; 
    else  cout<<"\nError! Index>size"; 
}
 
template <class T>  
int Set<T>::operator ()() //операция для получения длины вектора 
{ 
    return size; 
} 
 
template <class T>  
void Set<T>::Add(T a)
{
    T* newdata=new T[size+1];
    for(int i=0;i<size;i++)
        newdata[i]=data[i];
    newdata[size]=a;
    size=size+1;
    delete[] data;
    data=newdata;
}
 
 
template<class T>
Set<T> Set<T>::operator -(const Set<T>& a)
{
    Set<T> temp();                    //Вот здесь компилятор не может "опознать" класс
    for(int i=0;i<size;i++)
        for(int j=0;j<a.size;j++)
        {
            if(data[i]!=a.data[j])
                temp.Add(data[i]);       //И здесь требует, чтобы выражение слева от точки было классом
        }
    return temp;
}
*/
 
/* В связи с невозможностью выполнения предыдущей задачи
произведена замена оператора на функцию.
*/
 
template <class T>  
void Set<T>::GetD(const Set<T> &a, const Set<T> &b)
{
    T* dummy;       //Указатель на объект класса
    dummy=0;
    if(data!=0) return; //Кидать только в пустой
    for(int i=0;i<a.size;i++)       //Проверим все элементы множества А
        for(int j=0;j<b.size;j++)   //На наличие таких же в множестве В
        {
            if(a.data[i]!=b.data[j]&&dummy!=a.data+i*sizeof(T)) //И выберем только те, которых нет в В
            {
                this->Add(a.data[i]);       //Добавим их в множество С(результат)
                dummy=a.data+i*sizeof(T);   //И пометим адрес, чтобы не создавать дубликатов
            }
        }
}
 
template <class T>  
ostream& operator <<(ostream& out,const Set<T>& a) //Вывод
{
    if(a.data==0)
    {
        out<<"Empty Set"<<endl;
        return out;
    }
    for(int i=0;i<a.size;i++) 
        out<<a.data[i]<<" "; 
    return out; 
} 
 
template <class T>  
istream& operator >>(istream& in,Set <T>& a) 
{ 
    int n;
    T t;
    cout<<"N-? ";cin>>n;
    for(int i=0;i<n;++i) 
    {
        in>>t;
        a.Add(t);
    }   
    return in; 
}