template中的默认参数->template参数涉及template参数

Question

我想定义一个特征，它告诉一个复杂的表示形式是否是一个结构数组，其中的实际值从来不是AoS，因此不需要用户定义的指定，但对于复杂的表示形式，您总是需要一个：

/**
 * Evahtml" target="_blank">luates 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::true/false_type派生而以std方式完成的。

问题是：使用这个实现，我会得到“template argument invidents template parameter”错误（在链接的问题中解释了这一点），但是如果我切换到类型（第一个模板中的ommit“：：value”，第二个模板中的true更改为true_type)，复杂类型将不再与第二个模板匹配，因为唯一的derive from std::true_type，而不是std::true_type。

我能想到的唯一解决方案是使用表达式SFINAE，并将主模板的第二个参数更改为默认void和实际情况的enable_if(iscomplex==false)。还有更好的？

Answer 1

假设ISAOS 期望的行为是：

• 如果iscomplex ::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> {};