Bir önişlemci yönergesinde şablon parametresi kullan?

Question

Bir önişlemci yönergesinde tip olmayan bir sabit şablon parametresi kullanmak mümkün mü? İşte aklında ne:

template <int DING> 
struct Foo 
{ 
    enum { DOO = DING }; 
}; 

template <typename T> 
struct Blah 
{ 
    void DoIt() 
    { 
     #if (T::DOO & 0x010) 

     // some code here 

     #endif 
    } 
}; 

Ben Blah<Foo<0xFFFF>> gibi bir şeyle bu çalıştığınızda, VC++ 2010 biz #if kullanmaya çalışıyorlar doğrultusunda eşsiz parantez hakkında bir şeyler şikayet ediyor. Önişlemcinin şablonlar hakkında hiçbir şey bilmediğini ve bu tür bir şeyin sadece kendi alanında bulunmadığını tahmin ediyorum. Ne diyosun

Answer 1

Hayır, bu mümkün değil. Önişlemci oldukça aptal ve programınızın yapısı hakkında hiçbir bilgiye sahip değil. Önişlemcisinde T::Doo tanımlanmamışsa (ve :: yüzünden olamaz), bu ifadeyi değerlendiremez ve başarısız olur.

 if (T::Doo & 0x010) { 
      // some code here 
     } 

Sabit ifadeleri ve ölü dalları daha düşük iyileştirme ayarları uzakta optimize edilmiştir, bu nedenle güvenle herhangi olmadan yapabilirsiniz:

Ancak, sizin için akıllı bir şey yapmak için derleyici güvenebilirsiniz çalışma zamanı yükü. üyeleri T geçerli olacak

Answer 2

hangi bit T::DOO

ayarlanır Bir alt sınıf tanımlayıcı gibi davranıyor T::DOO gibi geldi bağlıdır. Bu yüzden, Foo ve ilgili sınıflarınızın, DOO'un tanımlandığını garanti eden bir sınıfın alt sınıfları olması gerektiğini düşünüyorum.

Anahtar şudur: neden biraz alan kullanmalısınız?

Answer 3

Durumunuz için geçerli olup olmadığından emin değilsiniz, ancak farklı durumları şablon sınıflarıyla ayırmak mümkündür. (Yukarıdan Kodunuzdaki değiştirilmiş bir versiyonunu kullanarak)

template <typename T, int N> 
struct Blah 
{ 
    void DoIt() 
    { 
     // normal DoIt() code 
    } 
}; 

template <typename T> 
struct Blah<T,5> 
{ 
    void DoIt() 
    { 
     // special DoIt() code for only when N==5 
    } 
};