std::enable_if ：參數與模板參數

Question

我正在構建一些輸入檢查器，它需要具有整數和/或雙精度的特定函數（例如，'isPrime' 應該只適用於整數）。

如果我使用enable_if作為參數，它運行良好：

template <class T>
class check
{
public:
   template< class U = T>
   inline static U readVal(typename std::enable_if<std::is_same<U, int>::value >::type* = 0)
   {
      return BuffCheck.getInt();
   }

   template< class U = T>
   inline static U readVal(typename std::enable_if<std::is_same<U, double>::value >::type* = 0)
   {
      return BuffCheck.getDouble();
   }   
};

但如果我將它用作模板參數（如http://en.cppreference.com/w/cpp/types/enable_if 所示）

template <class T>
class check
{
public:
   template< class U = T, class = typename std::enable_if<std::is_same<U, int>::value>::type >
   inline static U readVal()
   {
      return BuffCheck.getInt();
   }

   template< class U = T, class = typename std::enable_if<std::is_same<U, double>::value>::type >
   inline static U readVal()
   {
      return BuffCheck.getDouble();
   }
};

然后我有以下錯誤：

error: ‘template<class T> template<class U, class> static U check::readVal()’ cannot be overloaded
error: with ‘template<class T> template<class U, class> static U check::readVal()’

我無法弄清楚第二個版本有什么問題。

Answer 1

默認模板參數不是模板簽名的一部分（因此兩個定義都嘗試定義相同的模板兩次）。 然而，它們的參數類型是簽名的一部分。 所以你可以做

template <class T>
class check
{
public:
   template< class U = T, 
             typename std::enable_if<std::is_same<U, int>::value, int>::type = 0>
   inline static U readVal()
   {
      return BuffCheck.getInt();
   }

   template< class U = T, 
             typename std::enable_if<std::is_same<U, double>::value, int>::type = 0>
   inline static U readVal()
   {
      return BuffCheck.getDouble();
   }
};

Answer 2

問題是編譯器看到同一個方法的 2 個重載，它們都包含相同的參數（在這種情況下沒有）和相同的返回值。 你不能提供這樣的定義。 最簡潔的方法是在函數的返回值上使用 SFINAE：

template <class T>
class check
{
public:
   template< class U = T>
   static typename std::enable_if<std::is_same<U, int>::value, U>::type readVal()
   {
      return BuffCheck.getInt();
   }

   template< class U = T>
   static typename std::enable_if<std::is_same<U, double>::value, U>::type readVal()
   {
      return BuffCheck.getDouble();
   }
};

這樣，您就提供了 2 種不同的重載。 一個返回一個int，另一個返回一個double，並且只有一個可以使用某個T來實例化。

Answer 3

我知道這個問題是關於std::enable_if ，但是，我喜歡提供一種替代解決方案來解決沒有 enable_if 的相同問題。 它確實需要 C++17

template <class T>
class check
{
public:
   inline static T readVal()
   {
        if constexpr (std::is_same_v<T, int>)
             return BuffCheck.getInt();
        else if constexpr (std::is_same_v<T, double>)
             return BuffCheck.getDouble();
   }   
};

這段代碼看起來更像是在運行時編寫的。 所有分支都必須在句法上正確，但語義不必如此。 在這種情況下，如果 T 是 int，則 getDouble 不會導致編譯錯誤（或警告），因為它不會被編譯器檢查/使用。

如果函數的返回類型很復雜，您可以始終使用auto作為返回類型。