如何正確刪除模板函數中的代碼重複

Question

我有這樣的代碼（「飛船」類運算符）。

template <class T> 
int comparator(const T &a, const T &b){ 
    if (a < b){ 
     return -1; 
    }else if (a > b){ 
     return +1; 
    } 

    return 0; 
} 

inline int comparator(const char *a, const char *b){ 
    return strcmp(a, b); // I never tried this, included just to get the idea 
} 

inline int comparator(char const a, char const b){ 
    return a - b; 
} 

inline int comparator(int const a, int const b){ 
    return a - b; 
} 

如何輕鬆刪除多個簽名類型（char，short，int，long等）的重複。我嘗試過SFINAE，但結果並不令人鼓舞。

Answer 1

您可以混合在一起超載，標籤調度和模板，如下面的例子：

#include<type_traits> 
#include<utility> 
#include<iostream> 

template <class T> 
int comparator_(char, const T &a, const T &b){ 
    std::cout << "catch all" << std::endl; 
    return (a<b)?-1:((a>b)?1:0); 
} 

template<typename T> 
std::enable_if_t<std::is_same<T,int>::value or std::is_same<T,char>::value, int> 
comparator_(int, T const a, T const b){ 
    std::cout << "char or int" << std::endl; 
    return a - b; 
} 

template<typename... A> 
int comparator(A&&... args) { 
    return comparator_(0, std::forward<A>(args)...); 
} 

int main() { 
    comparator(42,0); 
    comparator('c', 'g'); 
    comparator(42u, 0u); 
} 

Answer 2

開始通過委託模板函數模板類

template <class T> 
int comparator(const T &a, const T &b){ 
    return comparator_impl<T>::comparator(a, b); 
} 

默認模板類的實現是什麼，你已經寫：

template<class T> 
class comparator_impl { 

public: 
    static int comparator(const T &a, const T &b){ 
     if (a < b){ 
      return -1; 
     }else if (a > b){ 
      return +1; 
     } 

    return 0; 
}; 

現在，有將要使用一個單獨的模板類對於有符號整型：

template<class T> 
class signed_int_comparator_impl { 

public: 
    static int comparator(T a, T b) 
    { 
      return a-b; 
    } 
    return 0; 
}; 

而現在，specia取得第一個模板類，繼承第二個模板類：

template<> 
class comparator_impl<char> : public signed_int_comparator_impl<char> {}; 

template<> 
class comparator_impl<int> : public signed_int_comparator_impl<int> {}; 

對剩餘的有符號整數類型進行泡沫，漂洗，重複。

如果你想專門0​​爲const char *，請隨時這樣做。

Answer 3

1. 對於模板專門化，建議使用模板類/結構，而不是模板函數。請參閱http://www.gotw.ca/publications/mill17.htm
2. std::is_integral連同std::is_signed看起來像是您的SFINAE的正確工具。這是一個工作示例：https://ideone.com/8wm54h