c++ - 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 中遇到以下错误:

error: field initializer is not constant

我认为问题出在 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