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;
    };

しかし、コンパイルしようとすると、GCC4.7.1で次のエラーが発生します。

エラー:フィールド初期化子が定数ではありません

この問題は、IMOが暗黙のキャストでこの問題を処理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);
}
4

1 に答える 1

1

おそらくすでに報告されています:

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

于 2012-07-05T12:31:14.520 に答える