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