專門爲幾個可能的參數類型（typenames）

Question

我有一個模板類，唯一的模板參數是typename。

template<typename T> 
class Reader{ 
    ... 
} 

現在我想專門爲它的每個整數類型，是這樣的：

template<typename T - integral> 
class Reader{ 
    //another code 
} 

我怎樣才能做到這一點？

Answer 1

您可以使用虛擬std::true_type參數

template<typename T, typename = std::true_type> 
class Reader { 

}; 

template<typename T> 
class Reader<T, std::integral_constant<bool, 
        std::is_integral<T>::value> > { 
    // ... 
}; 

順便說一句，你會看到void，而不是true_type使用這種模式，與專業化往往採用enable_if和更復雜（SFINAE涉及）的條件。

Answer 2

您只需一個額外的違約布爾參數：

template<typename T, bool IsIntegral = std::is_integral<T>::value> 
class Reader{ // primary template, used for non-integrals 
    ... 
} 

template<typename T> 
class Reader<T, true> { // specialization for integral types 
    ... 
} 

Answer 3

在類似的情況下，我已經使用專業類模板的所有特殊類型的強制方法。我意識到這些是相當多的，它會變得很快而且很痛苦。然而，把有趣的成員分解成所有專業共享的基類是合理的。在我使用這種方法的情況下，我通常只在類中有靜態成員，即構造函數沒有被繼承的事實不是問題（C++ 2011支持繼承構造函數的語法，但同時要保持符號下降）：

template <typename T> class Reader { ... }; 

template <typename T> class IntReader { /* special version for integers */ }; 
// to bool or not bool? 
template <> class Reader<wchar_t>: public IntReader<wchar_t> {}; 
template <> class Reader<char>: public IntReader<char> {}; 
template <> class Reader<char16_t>: public IntReader<char16_t> {}; 
template <> class Reader<char32_t>: public IntReader<char32_t> {}; 
template <> class Reader<signed char>: public IntReader<signed char> {}; 
template <> class Reader<signed short>: public IntReader<signed short> {}; 
template <> class Reader<signed int>: public IntReader<signed int> {}; 
template <> class Reader<signed long>: public IntReader<signed long> {}; 
template <> class Reader<signed long long>: public IntReader<signed long long> {}; 
template <> class Reader<unsigned char>: public IntReader<unsigned char> {}; 
template <> class Reader<unsigned short>: public IntReader<unsigned short> {}; 
template <> class Reader<unsigned int>: public IntReader<unsigned int> {}; 
template <> class Reader<unsigned long>: public IntReader<unsigned long> {}; 
template <> class Reader<unsigned long long>: public IntReader<unsigned long long> {}; 

無可否認，我們有太多的整數類型！有六不同的字符類型是有點荒謬。