मैं कैसे जांचूं कि टेम्पलेट पैरामीटर दो की शक्ति है या नहीं?

Question

मैं ऐसी संरचना बनाना चाहता हूं जो स्थिर रूप से 2^एन बाइट्स की सरणी आवंटित करे, लेकिन मैं नहीं चाहता कि इस संरचना के उपयोगकर्ता एक्सपोनेंट के रूप में इस आकार को निर्दिष्ट करें। उदाहरण:

my_stupid_array<char, 32> a1; // I want this! 
my_stupid_array<char, 5> a2; // And not this... 

मैं कैसे पता चलेगा अगर यह टेम्पलेट पैरामीटर दो और की एक शक्ति चेतावनी दी है इस बारे में एक अच्छा संदेश के साथ उपयोगकर्ता है?

मैं एक साधारण टेम्पलेट के साथ इस के लिए जाँच कर लिया है:

template<int N> 
struct is_power_of_two { 
    enum {val = (N >= 1) & !(N & (N - 1))}; 
}; 

हालांकि, मैं एक समझदार संदेश के साथ इस बारे में उपयोगकर्ता को सचेत करने में असमर्थ हूँ। कोई विचार?

संपादित

अस्पष्ट उदाहरण फिक्स्ड।

संपादित

1 दो वास्तव में की एक शक्ति है। फिक्स्ड कि! :)

संपादित

BOOST_STATIC_ASSERT का उपयोग करना, मैं जीसीसी के साथ इस कोड के लिए इस संकलन त्रुटि हो रही है:

template<int N> 
struct is_power_of_two { 
    enum {val = (N >= 1) & !(N & (N - 1))}; 
    BOOST_STATIC_ASSERT(val); 
}; 

त्रुटि

..\main.cpp:29:1: error: invalid application of 'sizeof' to incomplete type 'boost::STATIC_ASSERTION_FAILURE<false>' 

http://ideone.com/cMfEf

संपादित करें

ओह, मुझे यह मिल गया। यही वह संदेश था जिसे मैं असफल होने पर प्राप्त करना चाहता था। लेकिन यह उपयोगकर्ता को कुछ सौ संदेश देने में विफल रहता है।:(बचाव के लिए

Answer 1

इन दिनों, constexpr और bit twiddling hacks के साथ आप केवल

constexpr bool is_powerof2(int v) { 
    return v && ((v & (v - 1)) == 0); 
} 

Answer 2

static_assert (सी ++ 11 केवल, टिप्पणी हटाएं के लिए सी ++ 03 BOOST_STATIC_ASSERT):

#include<iostream> 
// #include <boost/static_assert.hpp> 

template<int N> 
struct is_power_of_two { 
    enum {val = N && !(N & (N - 1))}; 
    static_assert(val, "should use a power of 2 as template parameter"); 
    // BOOST_STATIC_ASSERT(val); // without C++11 support, won't take a string message 
}; 

int main() 
{ 
     std::cout << is_power_of_two<2>::val << "\n"; 
     std::cout << is_power_of_two<3>::val << "\n"; 
} 

Ideone output for C++11

Ideone output for C++03

Update1: अन्य विचार (मुझे पता है कि आप यह नहीं चाहते हैं, लेकिन बड़े एक्सपोनेंट्स के लिए यह बहुत आसान है):

template<int N> 
make_power_of_two 
{ 
    enum { val = 1 << N }; 
}; 

my_stupid_array<char, make_power_of_two<5>::val > a1; // size 2^5 = 32 

UPDATE2: चैट में @sehe द्वारा टिप्पणी के आधार पर, आप constexpr कार्यों के लिए ऐसा कर सकते हैं और साथ ही

constexpr bool is_power_of_two(int x) 
{ 
    return x && ((x & (x-1)) == 0); 
} 

Answer 3

आप static_assert का उपयोग एक त्रुटि संदेश प्रदान करने के लिए कर सकते हैं:

template<int N> 
struct is_power_of_two { 
    static_assert((N > 1) & !(N & (N - 1)), "Template parameter must be a power of two."); 
};