c – clang 3.3和constexpr约束

原始代码是：

template <std::size_t N> struct helper { typedef void type; };
template <> struct helper<64> { typedef int64_t type; };
template <> struct helper<32> { typedef int32_t type; };
template <> struct helper<16> { typedef int16_t type; };
template <> struct helper<8>  { typedef int8_t type; };

template <std::size_t I,std::size_t F>
struct test
{
    typedef typename helper<I+F>::type value_type; 
    static constexpr std::size_t frac_mask = ~((~value_type(0)) << F);
};

在clang中,如果我尝试声明测试< 16,16>或测试< 8,0>我收到错误：

test.cpp:41:34: error: constexpr variable ‘frac_mask’ must be initialized by a constant expression

06001

如果我将代码转换为：

template <std::size_t I,std::size_t F>
struct test
{
    typedef typename helper<I+F>::type value_type; 
    typedef typename std::make_unsigned<value_type>::type mask_type;

    static constexpr mask_type frac_mask = ~((~mask_type(0)) << F);
};

它在大多数情况下编译(I,F的值),但如果我声明测试< 8,0>,我得到错误：

test.cpp:23:36: error: constexpr variable ‘frac_mask’ must be initialized by a constant expression

test.cpp:66:15: note: in instantiation of template class ‘test<8,0>’ requested here

test.cpp:23:66: note: left shift of negative value -1

06003

我的问题是 – 在constexpr的规范方面,我是否违反了一些规则？此外,对于最后一个错误 – 掩码类型是无符号的 – 这是一个编译器问题,它认为我正在转移负值或我误读代码？