テンプレートの特定のクラスでクラス

Question

に特化、

それは働いてます。..

private: 
template <typename U> 
int64_t parseValue(const std::string& str 
     , typename std::enable_if<std::is_signed<T>::value, U>::type* = 0 
     ) const 
{ 
    return stoll(str, 0, base_); 
} 

template <typename U> 
uint64_t parseValue(const std::string& str 
     , typename std::enable_if<std::is_unsigned<T>::value, U>::type* = 0 
     ) const 
{ 

が、以下のコードは動作しません。何故かはわからない。私は専門化の概念やその他の問題がないかどうかはわかりません。

private: 
template <typename U> 
int64_t parseValue(const std::string& str 
     , typename std::enable_if<std::is_signed<T>::value>::type* = 0 
     ) const 
{ 
    return stoll(str, 0, base_); 
} 

template <typename U> 
uint64_t parseValue(const std::string& str 
     , typename std::enable_if<std::is_unsigned<T>::value>::type* = 0 
     ) const 

動作しません。

説明できますか？理由を知りません。

Answer 1

2番目のケースでは、enable_ifステートメントでUを使用していません。 SFINAEは、表現がののテンプレートパラメータのうちの1つに依存する場合にのみ機能します。