Sınıfın içinde ve dışında tanımlanmış bir şablon sınıfı için üye işlevleri arasındaki fark

Question

Sınıf bildirimi içindeki bir şablon sınıfının üye işlevleri tanımlanması arasında bir fark var mıdır?

içinde tanımlanan:

template <typename T> 
class A 
{ 
public: 
    void method() 
    { 
     //... 
    } 
}; 

dışında tanımlanan:

şablon olmayan sınıfları için

template <typename T> 
class B 
{ 
public: 
    void method(); 
}; 

template <typename T> 
void B<T>::method() 
{ 
    //... 
} 

bu inlined olmayan satır içi yöntemler arasındaki farktır. Bu şablon sınıfları için de geçerli mi?

Meslektaşlarımın çoğu için varsayılan, sınıf içinde tanımları sağlamaktır, ancak her zaman sınıfın dışındaki tanımları tercih ettim. Tercihim haklı mı?

Düzenleme: Lütfen yukarıdaki kodun sınıf için başlık dosyasında sağlandığını varsayalım.

Answer 1

Evet, aynısı, şablon sınıfları için de geçerlidir.

Şablon sınıfları için yöntem tanımlarının genellikle satır içi olarak tercih edilmesinin nedeni, şablonlarla, şablon tanımlandığında tüm tanımın görünür olması gerektiğidir.

Bazı ayrı .cpp dosyalarında işlev tanımını kullanırsanız, bir bağlayıcı hatası alırsınız. Tek genel çözüm, işlevi sınıf içinde veya dışarıda tanımlayarak inline anahtar sözcüğüyle satır içi yapmaktır. fakat her iki durumda da, işlevin çağrıldığı her yerde görünür olmalı, yani sınıf tanımıyla aynı başlıkta olması gerekir.

Answer 2

Daha fazla yazmanın dışında bir fark yoktur. Bu, template bit, inline ve sınıfa atıfta bulunurken daha "ayrıntılı" adları kullanmak zorundadır. Örneğin

yöntem içine tanımlanır zaman A<T> bahsederken hep şablon parametre listesi <T> ihmal ve sadece A kullanabileceği

template <typename T> class A { 
    A method(A a) { 
    // whatever 
    } 
}; 

template <typename T> inline A<T> A<T>::method(A a) { 
    // whatever 
} 

Not için. Dışarıda tanımlarken, dönüş türünde ve yöntem adında "tam" adını kullanmanız gerekir (ancak parametre listesinde yer almaz).

Answer 3

Bunu biliyorum ... Sanırım tam olarak neye yardım edecek bir şey olmalı?

// This might be in a header file: 
template <typename T> 
class xyz { 
    void foo(); 
    }; 

// ...

// This might be later on in the header file: 
    void xyz<T>::foo() { 
// generic definition of foo() 
    } 

Bu için yanlıştır:

defining a member function outside of its template 

Böyle bir şablon sınıfın üyesi fonksiyonunun tanımını sağlamak için Tamam değil birkaç sebep. Yani şu:

 void xyz<class T>::foo() { 
     // generic definition of foo() 
     } 

doğru tanımı şablonu anahtar kelime ve sınıf şablonun tanımı ile ilan edildi aynı şablon argümanları ihtiyacı var.vb üyesi şablonun yanı şablon direktifleri diğer türleri, olduğu

 template <typename T> 
      void xyz<T>::foo() { 
      // generic definition of foo() 
       } 

Not ve her biri kendi formda alır: Yani verir. Önemli olan, sahip olduğunuz herşeyi nasıl yazacağınızı bilmektir. Bu özellikle, bazı derleyicilerin hata mesajlarının neyin yanlış olduğu konusunda net olmayabilir. Ve tabii ki, iyi ve güncel bir kitap olsun.

bir şablon içinde yuvalanmış bir üye şablonu varsa:

template <typename T> 
     struct xyz { 
     // ... 
     template <typename U> 
     struct abc; 
     // ... 
     }; 

nasıl xyz dışında abc tanımlarım

?

 template <typename U> 
    struct xyz::abc<U> { // Nope 
     // ... 
    }; 

ne de yapar: Bu işe yaramazsa

template <typename T, typename U> 
struct xyz<T>::abc<U> { // Nope 
// ... 
}; 

Bunu yapmak zorunda kalacak: abc bir "birincil" olduğu için ...abc değil ...abc<U> olduğunu

 template <typename T> 
     template <typename U> 
      struct xyz<T>::abc { 
      // ... 
      }; 

Not şablonu. IOWs, bu iyi değil:

// burada izin verilmiyor: template template struct xyz :: abc {};