Tip bir işaretçi değilse, şablon işlevinin çağrılması nasıl engellenir?

Question

Sadece şablon tipi bir işaretçi olduğunda aşağıdaki işlevin çağrılmasını istiyorum. Aşağıdaki kod, t türünde bir şablon olan bağlantılı bir listenin (standart olmayan bir şey değil) bir fonksiyonudur. İşlev hiç çağrılmadığında bile şablon tipi bir işaretçi olmadığında bir derleme hatası atılıyor. Bir işlev, yalnızca işaretçi olmayan şablon türünden çağrılırsa ve bir işaretçi olan bir şablon türünden çağrıldığında oluşmaması durumunda bir hata atmak için bir yönteme ihtiyacım var. bir gösterici değildir silemezsiniz nesneler:

virtual void ClearAndDelete() 
    { 
     ListNode<t> * ptr = this->FirstNode; 
     for (; ptr != nullptr;) 
     { 
      ListNode<t> * nextptr = ptr->Next; 
      delete ptr->Item;//ERROR C2541 
      delete ptr; 
      ptr = nextptr; 
     } 

     this->TotalNodes = 0; 
     this->FirstNode = nullptr; 
     this->LastNode = nullptr; 
    } 

Visual Studio 2015 belirli hata kodu Hata C2541 'delete' dir. Bu, bu şablon türü için kodumun hiçbiri bu işlevi çağırmasa bile, 'imzasız kısa' olan bir şablon türünde gerçekleşiyor. Öneriler takdir edilecektir.

olarak, sadece öğrenmek istiyorsanız bu ListNode

template<typename t> struct ListNode 
    { 
    public: 
     t Item; 
     ListNode<t> * Next; 
     ListNode(t what) : Item(what) 
     { 
      this->Next = nullptr; 
     } 
     ListNode(t what, ListNode<t> * nextnode) : Item(what) 
     { 
      this->Next = nextnode; 
     } 
    }; 

Answer 1

tanımıdır talep sınıf yanlışlıkla karışmış işaretçi şablon parametresi türü ile kullanıldığı durumlarda kullanabileceğiniz static_assert:

template<class t> 
class List { 
    static_assert(!std::is_pointer<t>::value, "Template parameter must be of pointer type"); 

    //other stuff 
}; 

ClearAndDelete() işlevinin işaretçi ve işaretçi olmayan tiplerde kullanılabilmesini istiyorsanız, örneğin; Böyle bir şey kullanın:

template<class T> 
void deleteIfPointer(const T& element) {} 

template<class T> 
void deleteIfPointer(T* ptr) { 
    delete ptr; 
} 

kullanımı:

Yan not

deleteIfPointer(ptr->Item); //instead of delete ptr->Item 

: Bu davranış gerekiyorsa Genellikle kaplar onların elemanları işaret nesneleri silmemelisiniz (sen std::unique_ptr kullanmak isteyebilirsiniz yerine).