रिकर्सिव टेम्पलेट metaprogramming

Question

भाज्य की गणना के लिए मैं उपयोग कर सकते हैं:

template<int N> struct factorial { enum { value = N * factorial<N-1>::value }; }; 

template<> struct factorial<1> { enum { value = 1 }; }; //base Case 

और फिर

x=factorial<8>::value;

निम्नलिखित तो की तरह उपयोग कर सकते हैं, यह

के लिए इसी तरह की पुनरावर्ती टेम्पलेट प्राप्त करने के लिए संभव है

unsigned Log2(unsigned n, unsigned p = 0) { 
    return (n <= 1) ? p : Log2(n/2, p + 1); 
} 

मैं इस बारे में सोच सकता हूं:

template<int N,unsigned int P=0> struct Log2 
    { enum { value = Log2<N/2,P+1>::value }; }; 

लेकिन आधार केस कैसे सेट करें, यह नहीं पता।

template<> struct Log2<0,???> { enum { value = ???? }; }; 

कोई विचार?

Answer 1

आप आंशिक विशेषज्ञता इस्तेमाल कर सकते हैं सी ++ 11 में

template <unsigned p> 
struct Log2<0, p> { enum { value = p }; }; 

template <unsigned p> 
struct Log2<1, p> { enum { value = p }; }; 

---

, बजाय एक टेम्पलेट बनाने के बजाय, आप के बजाय constexpr को समारोह बदल सकती है।

constexpr unsigned Log2(unsigned n, unsigned p = 0) { 
    return (n <= 1) ? p : Log2(n/2, p + 1); 
} 

std::array<int, Log2(256)> x {{1, 2, 3, 4, 5, 6, 7, 8}}; 
//    ^^^^^^^^^ Just a compile-time function call.