クランは機能<code>derefItemX()</code>次GCC 4.8から5.3に罰金コンパイルされたテンプレート宣言

Question

から*明確な戻り値の型*を持つテンプレートクラスの特殊化、テンプレート機能をコンパイルに失敗しますが、打ち鳴らす3.8に失敗します。

//! Accessory Operations - template argument depended wrappers 
template<bool SIMPLE> // For Nodes/non-scoped storage 
struct Operations { 
    //! \brief Defererence wrapped or direct iterator 
    //! 
    //! \param iel IItemXT& - iterator to be dereferenced 
    //! \return ItemT& - resulting reference 
    template<typename IItemXT> 
    constexpr static auto& derefItemX(IItemXT& iel) 
    { 
     static_assert(is_base_of<std::forward_iterator_tag, typename IItemXT::iterator_category>::value 
      , "derefItemX(), IItemXT must be a forward iterator type"); 
     return **iel; // Dereference an iterator of pointer to the value 
    } 
}; 

//! Specialization for non-scoped storage (direct pointers) 
template<> 
template<typename IItemXT> 
constexpr auto& Operations<true>::derefItemX(IItemXT& iel) 
{ 
    static_assert(is_base_of<std::forward_iterator_tag, typename IItemXT::iterator_category>::value 
     , "derefItemX(), IItemXT must be a forward iterator type"); 
    return *iel; // Dereference an iterator of value to the value 
} 


... 
// Usage: 
auto& el = Operations<!is_pointer<typename IItemXT::value_type> 
      ::value>::derefItemX(ic); 

derefItemX()は、値または元の値の値へのポインタのいずれかの反復子を参照します。 あまり言う：クランは、次のエラーメッセージが表示さ

include/hierarchy.hpp:168:35: error: out-of-line definition of 'derefItemX' does not match any declaration in 'XXX::Operations<true>' 
constexpr auto& Operations<true>::derefItemX(IItemXT& iel) 
            ^~~~~~~~~~ 

を誰も説明していただけます。

1. なぜ打ち鳴らすにはderefItemX()のコンパイルに失敗するのか？
2. 異なるコンパイラで動作する別のアプローチを使用して、* xまたは** xに参照解除されるイテレータをパラメータ化する方法はありますか？

ありがとうございます！

注：戻り型が指定されている場合が
同じ問題は、C++ 11のために存在するが、テンプレート宣言と専門で異なります。
CLangは、標準に従って関数シグニチャの一部ではない戻り値の型（テンプレートクラス宣言と特殊化のテンプレート関数）と一致する必要があります。 @ max66で指定されている "クロスコンパイラ"ソリューションは、テンプレートクラスと必要な特殊化の宣言を空にすることです。

Answer 1

一般的な方法で問題を解決する方法はありません。この問題（私が間違っていない場合）は、クラス全体を専門にすることができます。 「打ち鳴らすは、コンパイルに失敗する理由」問題に関しては

#include <iterator> 
#include <type_traits> 

using namespace std; 

template <bool> 
struct Operations; 

template<> 
struct Operations<false> { 
    template<typename IItemXT> 
     constexpr static auto& derefItemX(IItemXT& iel) 
     { 
     static_assert(is_base_of<std::forward_iterator_tag, typename IItemXT::iterator_category>::value 
         , "derefItemX(), IItemXT must be a forward iterator type"); 
     return **iel; // Dereference an iterator of pointer to the value 
     } 
}; 

template<> 
struct Operations<true> { 
    template<typename IItemXT> 
     constexpr auto& derefItemX(IItemXT& iel) 
     { 
     static_assert(is_base_of<std::forward_iterator_tag, typename IItemXT::iterator_category>::value 
         , "derefItemX(), IItemXT must be a forward iterator type"); 
     return *iel; // Dereference an iterator of value to the value 
     } 
}; 

ような何か...私は混乱していると私はgの玉葉権利を知らない++と打ち鳴らす++

PS：私の悪い英語のため申し訳ありません

Answer 2

私は最近、すべてのコンパイラで正常に動作し、（明示的なパラメータなし）ずっと優雅問題を解決std::enable_if<>を使用して、そのテンプレートを、書き直し：

//! \brief Defererence wrapped or direct iterator 
//! 
//! \param iel IItemXT - iterator to be dereferenced 
//! \return ItemT& - resulting reference 
template <typename IItemXT, enable_if_t<is_pointer<typename iterator_traits<IItemXT>::value_type>::value>* = nullptr> 
constexpr auto derefIterX(IItemXT iel) -> remove_pointer_t<typename iterator_traits<IItemXT>::value_type>& 
{ 
    static_assert(is_iterator<IItemXT>(), "derefIterX(), IItemXT must be a forward iterator type"); 
    return **iel; 
} 

template <typename IItemXT, enable_if_t<!is_pointer<typename iterator_traits<IItemXT>::value_type>::value, bool>* = nullptr> 
constexpr auto derefIterX(IItemXT iel) -> typename iterator_traits<IItemXT>::reference 
{ 
    static_assert(is_iterator<IItemXT>(), "derefIterX(), IItemXT must be a forward iterator type"); 
    return *iel; 
}