默認參數 - >模板參數包括模板參數

Question

我有類似這樣的一個問題：SFINAE tried with bool gives compiler error: "template argument ‘T::value’ involves template parameter"

我想定義一個特點是，告訴我們一個複雜的表示是結構的數組，其中實值從來AOS因此沒有用戶定義的特化應該是必需的，但對於複雜的你總是需要一個：

/** 
* Evaluates to a true type if the given complex type is an Array of Structs, false otherwise 
* Defaults to false for Real values 
*/ 
template< typename T, bool T_isComplex = IsComplex<T>::value > 
struct IsAoS: std::false_type{}; 

/** 
* Undefined for (unknown) complex types 
*/ 
template< typename T > 
struct IsAoS< T, true >; 

專業化是在STD-方式通過的std ::真/ false_type獲得完成。

問題是：在這個實現中，我得到了「模板參數涉及到模板參數」錯誤（在鏈接問題中解釋過），但是如果我切換到類型（在第一個模板中省略「並在第二個變爲true_type）複合類型將不再匹配第二個模板，因爲唯一的派生自std :: true_type，而不是std :: true_type。

我唯一能想到的解決方案是使用表達式SFINAE，並將主模板的第二個參數更改爲默認的void和enable_if（isComplex == false）。有什麼更好的？

Answer 1

在那IsAoS<T>的期望行爲的假設是：

• 如果IsComplex<T>::value是false，則默認爲false_type;
• 否則，除非用戶提供專門化，否則這是一個錯誤。

用static_assert實現它很簡單;沒有必要默認模板參數：

template< typename T > 
struct IsAoS: std::false_type { 
    static_assert(!IsComplex<T>::value, "A user specialization must be provided for Complex types"); 
}; 

---

如果你想在默認參數掛羊頭賣狗肉，只使用一個包裝層：

namespace detail { 

    template< typename T, bool T_isComplex = IsComplex<T>::value > 
    struct IsAoS_impl: std::false_type{}; 

    /** 
    * Undefined for (unknown) complex types 
    */ 
    template< typename T > 
    struct IsAoS_impl< T, true >; 
} 

template<class T> struct IsAoS : detail::IsAoS_impl<T> {}; 

用戶應該只專注IsAoS。

Answer 2

如果我理解正確的話，你想：

template<class> struct IsComplex_impl {using type = std::false_type;}; 
template<class T> struct IsComplex_impl<std::complex<T>> {using type = std::true_type;}; 

template <typename T> 
using IsComplex = typename IsComplex_impl<T>::type; 

// Declaration only 
template<typename T, typename T_isComplex = IsComplex<T>> 
struct IsAoS; 

// general case 
template< typename T > 
struct IsAoS< T, std::false_type >: std::false_type{}; 

// specialization for complex<double> 
template<> 
struct IsAoS< std::complex<double>>: std::true_type{}; 

Live Demo

或具有相同簽名：

template<class> struct IsComplex_impl : std::false_type {}; 
template<class T> struct IsComplex_impl<std::complex<T>> : std::true_type {}; 

template <typename T> 
constexpr bool IsComplex() {return IsComplex_impl<T>::value;} 

// Declaration only 
template<typename T, bool T_isComplex = IsComplex<T>()> 
struct IsAoS; 

// general case 
template< typename T > 
struct IsAoS< T, false>: std::false_type{}; 

// specialization for complex<double> 
template<> 
struct IsAoS< std::complex<double>>: std::true_type{}; 

Live Demo