템플릿 매개 변수의 출력이 2인지 확인하려면 어떻게합니까?

Question

2^N 바이트 배열의 배열을 정적으로 할당하는 구조체를 만들고 싶지만이 구조체의 사용자가이 크기를 지수로 지정하는 것을 원하지 않습니다. 예 :이 템플릿 매개 변수는 두 및의 전력이에 대한 좋은 메시지와 함께 사용자 경고를해서 인 경우

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))}; 
}; 

그러나, 나는 제정신 메시지와 함께 이것에 대해 사용자에게 경고 드릴 수 없습니다. 어떤 아이디어?

EDIT

모호한 예 수정.

편집

1 실제로 2의 거듭 제곱이다. 그것을 고쳤다! :) BOOST_STATIC_ASSERT를 사용

편집

, 나는 GCC이 코드이 컴파일 오류를 받고 있어요 :

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

EDIT

아, 알겠습니다. 저것은 나가 주장이 실패 할 때 얻는 가정 된 메시지이었다. 그러나 그것은 사용자에게 정통 메시지를주지 못합니다.:(구조에

Answer 1

을

요즘은 constexpr과 bit twiddling hacks을 사용하면

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

Answer 2

static_assert (C++ 03 C++ 11 만 주석 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

갱신 1 : 다른 생각 (당신이 이것을 원하지 않는다는 것을 압니다 만, 큰 지수의 경우 훨씬 쉽습니다) :

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."); 
};