Bu "dizi boyut" şablon işlevi nasıl çalışır?

Question

Olası çoğaltmaları: Bu kodunun nasıl
Can someone explain this template code that gives me the size of an array?
Magic arguments in function templates…

Birisi açıklayabilir misiniz? Bu kodun amacı bir dizi uzunluğunu elde etmek olduğunu biliyoruz, ama bu kod nasıl çalıştığını bilmiyorum:

template<typename T, int size> 
int GetArrLength(T(&)[size]){return size;} 

teşekkür ederiz.

Answer 1

İlk önce, T(&)[size] parametreyi teşrih edelim. İçten dışa, sağdan sola, parantez grubu ilk bildirimlerini okuyun: Bu,türünde T türünde bir dizi referansı olan adlandırılmamış bir parametredir. olduğu

, bu dizi tipi ve boyutu şablon parametrelerdir bir dizi, bir referans kabul eder.

biz de buna çağırırsanız:

int a[10]; 
GetArrLength(a); 

derleyici şablon parametrelerini anlamak çalışacaktır. Parametre türü geçirerek şeyi eşleşmesi için, Tint olmalı ve size 10 (parametre 10 int s bir dizi için bir referans yapma) olması gerekir.

Sonra size bir dizideki öğe sayısını veren bu boyutu dönmek

.

---

Bu kodla ilgili iki "sorun" var. Öncelikle, boyutlar negatif olamaz, bu nedenle şablon parametresi ve dönüş türü olarak işaretli bir tür kullanmak mantıklı değildir. Daha ziyade, imzasız bir tür kullanılmalıdır; En iyi std::size_t olacaktır:

template<typename T, std::size_t Size> 
std::size_t GetArrLength(T(&)[Size]) { return size; } 

ikinci Bu fonksiyonun sonucu, dizinin büyüklüğü olsa da, sabit bir ifade olmadığıdır. Bu çoğu durumda iyi olsa da, ondan sabit bir ifade elde edersek daha iyi olurdu.

template <std::size_t N> 
struct type_of_size 
{ 
    typedef char type[N]; 
}; 

template <typename T, std::size_t Size> 
typename type_of_size<Size>::type& sizeof_array_helper(T(&)[Size]); 

#define sizeof_array(pArray) sizeof(sizeof_array_helper(pArray)) 

Bu gibi kullanılır:

Bu üç şey çalışır

int a[10]; 
const std::size_t n = sizeof_array(a); // constant-expression! 

: öncelikle yukarıda belirtilen fikir, o şablon parametreleri dolu olacak Yani bu çözüm ile sona nerede dizinin büyüklüğünü vermek.

ikinci parça

belirli bir boyutu olan bir tipi, bu nedenle type_of_size yardımcı olmak için bu bilgileri kullanmaktadır. Bu bölüm kesinlikle gerekli değil, ama kodun okunmasını daha kolay hale getirdiğini düşünüyorum. Bir char[N] bir N eşit büyüklüğü, her zaman, dolayısıyla biz tip kendisinin boyutu dizinin ... boyutuna "store" o kötüye kullanabilirler var!

üçüncü kısım sizeof ile bu boyutu oluyor. Aslında hiçbir şeyi değerlendirmiyor, bu yüzden fonksiyon için bir tanımlamaya ihtiyacımız yok. Basitçe "Eğer bunu yapsaydın ..." derboyutu ... ". Ve boyutu char dizisi içinde" depolanan "boyutudur.