GCC 4.7.1带有重载的广义常量表达式问题

Question

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

我哈希以下代码:

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函数重载的事实,即使IMO隐式转换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);
}

Answer 1

可能已经报道过：

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52366