模板元编程 - g ++吃它，clang没有

Question

有没有办法让两个编译器都快乐？

为了这：

template<short value>
struct static_signbits
{
    enum { result = (!!(value & 0x8000) == !!(value & 0x4000)) ? (static_signbits<short(value << 1)>::result + 1) : 0 };
};

template<>
struct static_signbits<0>
{
    enum
    {
        result = 15
    };
};

clang给了我：

error: non-type template argument is not a constant expression
        enum { result = (!!(value & 0x8000) == !!(value & 0x4000)) ? (static_signbits<short(value << 1)>::result + 1) : 0 };
                                                                                      ^~~~~~~~~~~~~~~~~  

对于短线演员来说显然不满意吗？

显然，我可以使用constexpr，但我还需要向后兼容C ++ 98

Answer 1

这是因为clang不支持常量表达式中的negative << n 。 只需改变无符号值：

template<short value>
struct static_signbits
{
    enum { result = (!!(value & 0x8000) == !!(value & 0x4000)) ? (static_signbits<(short)((unsigned)value << 1)>::result + 1) : 0 };
};

clang是正确的，因为左移是负面的是未定义的行为 。