GCC 4.7.1版本在重载中存在广义常量表达式问题

5

我尝试使用模板特化实现编译时算法选择。

我对以下代码进行了哈希:

template <class C>
    struct choose
    { 
        typedef size_t (*type)(const C*);
        static constexpr type value = java_string_hashcode<C>;
    };

我专门为char类型设计了这个结构:

template <>
    struct choose<char>
    { 
        typedef size_t (*type)(const char*);
        static constexpr type value = fnv_1a_32_hash;
    };

但是当我尝试编译它时,使用GCC 4.7.1会出现以下错误:
错误:字段初始化程序不是常量。
我认为问题出在fnv_1a_32_hash函数被重载的事实上,即使在我看来,隐式转换为size_t (*)(const char*)应该处理这个问题。
我最终找到了一个解决方法,通过重命名重载或简单地转换赋值。
static constexpr type value = (type)fnv_1a_32_hash;

我的问题是: 这是否是编译器的错误?还是我漏掉了什么?请解释并在必要时引用规范。


fnv_1a_32_hash 的实现细节:

constexpr size_t fnv_1a_32_hash(const char* p, size_t h) noexcept
{ 
    return (*p == 0) ? h : fnv_1a_32_hash(p + 1, (h ^ *p) * fnv::prime);
} 

constexpr size_t fnv_1a_32_hash(const char* p) noexcept
{ 
    return fnv_1a_32_hash(p, fnv::offset_basis);
}

如果一定要说的话,我认为错误信息是一个 bug(并不是指过载是问题)。 - Jonas Schäfer
1个回答

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接