Hata ayıklama metaprogramları

Question

Neler olduğunu adım adım kontrol etmenin bir yolu var diyelim ki şablon? Yani adım adım nasıl örnekleniyor? Ben here söz ettik kitapta

,

I (2 dakika önce) bir üst-işlevin olarak nasıl yansıdığını da ikili arasında oldukça ilginç bir örnek buldum.

template <unsigned long N> 
    struct binary 
    { 
     static unsigned const value 
      = binary<N/10>::value << 1 // prepend higher bits 
      | N%10;     // to lowest bit 
    }; 

    template <>       // specialization 
    struct binary<0>      // terminates recursion 
    { 
     static unsigned const value = 0; 
    }; 

ve bunu bu şablonun işlem yaptığı sırada yapılmış ne adım adım görmek mümkün oldukça yararlı olabileceğini düşünüyorum. Yanıtlarınız için teşekkürler.

Answer 1

Bugüne kadar gördüğüm en iyi şey, Templight'daki araştırma makalesiydi, ancak herhangi bir yayınlanmış uygulamanın farkında değildim. Tanımlayıcı statik (yani derleme zamanı) ifadelerini kullanarak kendinize çok yardımcı olabilirsiniz - örn. static assert veya MPLs asserts'u artırır. Bazı durumlarda, derleyiciden bir şablon örnekleme izlemesi almak için bir derleme hatasını (örneğin, statik yönergeleri kullanarak) kışkırtmaya yardımcı olabilir.
Ayrıca, sınama için meta işlev sonuçlarının çalışma zamanı çıktısından sizi engelleyen hiçbir şey yoktur.