過載操作者+ =與標準:: enable_if元函數

Question

模板類我有一個字符串類實現爲像類模板：

template <class T> 
class HGStringBasic 
{ 
//... 
public: 
//... 
    HGStringBasic& operator += (const T* rhs) 
    { 
     //... 
    } 

    template <class U, std::enable_if_t<std::is_same<U, char>::value>* = nullptr> 
    HGStringBasic& operator += (const U* rhs) 
    { 
     //... 
    } 
//... 
} 

該代碼是C++ 11標準一致。 目標是實現重載操作符+ =（const char），僅當模板的類T爲「wchar_t」時才使用它。

我想知道，如果編譯器不理解C++ 11，我該如何實現相同的結果。

更新： Sry我是新來的stackoverlow，我還沒有看到，我的代碼沒有完全顯示在代碼塊中。現在我已經更新了我的代碼了。 我也更正了模板函數操作符+ =（）中的模板參數列表中的一個錯誤，您絕對是正確的TartanLlama，is_same<T, char>必須是is_same<U, char>。

Answer 1

現在我已經想通了，沒有C++ 11和已知的元函數。非常感謝Barry提供指定返回類型的提示。

這裏是我做的：

#include <type_traits> 

template <class _ElemT> 
class HGStringBasic 
{ 
    public: 
     // Append char* or wchar_t* depending on specialization 
     HGStringBasic& operator += (const _ElemT* rhs) 
     { 
      return *this; 
     } 

     // Allow char* if specialization is wchar_t 
     template <class U> 
     typename std::enable_if<std::is_same<U, char>::value, HGStringBasic&>::type operator += (const U* rhs) 
     { 
      // Convert ansistring to widestring 
      return *this; 
     } 

     // Allow wchar_t* if specialization is char 
     template <class U> 
     typename std::enable_if<std::is_same<U, wchar_t>::value, HGStringBasic&>::type operator += (const U* rhs) 
     { 
      // Convert widestring to ansistring 
      return *this; 
     } 
}; 

Answer 2

enable_if不依賴於C++ 11的功能。它在C++ 11之前在boost庫中的實現方式幾乎與現在實現的方式相同。下面是從cppreference.com採取可能的實現：

template<bool B, class T = void> 
struct enable_if {}; 

template<class T> 
struct enable_if<true, T> { typedef T type; }; 

這完全正常工作在C++之前，C++ 11。

Answer 3

首先，enable_if/is_same可以很容易地在C++ 2003中實現。舉例來說，Boost擁有它們，或者你可以創建那些你自己的 - 這是一個很好的做法。其次，如果你不想使用enable_if，你可以簡單地爲w_char提供myString的專門化。爲了減少編碼量，把它放在一些基類中，從基類派生myString並提供基類的專門化。

Answer 4

首先，你的C++ 11確實不是的工作。如果我試圖做的：

myString<int> x; 
x += new int(4); 

你operator+=會出錯。 SFINAE只適用於直接上下文的替換 - 但T並不在此處，而只有U。所以，正確的事情是：

template <class U, 
      class _T=T, 
      class = std::enable_if_t<std::is_same<_T, char>::value>> 
myString& operator += (const U* rhs); 

---

現在回到原來的問題。我們如何在C++ 03中編寫上述代碼？同樣的想法。我們不能擁有默認的模板參數。但是，同樣的原則也適用：我們需要在直接背景替換故障：

template <typename T, typename U, typename R> 
struct allow_for_char; 

template <typename U, typename R> 
struct allow_for_char<char, U, R> { typedef R type; }; 

然後你可以用它來指定返回類型：

template <class U> 
typename allow_for_char<T, U, myString&>::type 
operator += (const U* rhs);