Question

我有关于我的代码的特征类，它遵循相同的基本习语：

template<class Frame, typename = void>
struct frame_traits
{
    typedef void base_frame_type;
};

template<class Frame>
struct frame_traits<Frame, typename std::void_t<
    typename Frame::base_frame_type>::type>
{
    typedef typename Frame::base_frame_type         base_frame_type;
};

我有一堆使用它们的特质检查器，它们也遵循类似的习惯用法：

template <typename T>
struct has_base_frame_type : std::integral_constant<bool,
    !std::is_same<typename frame_traits<T>::base_frame_type, void>::value>::type {};

然而，事实证明has_base_frame_type对我的代码中的多个概念有用，我想进一步概括它，以便我可以将traits类作为附加参数传递：

template <typename T, template<typename> class Traits = frame_traits>
struct has_base_frame_type : std::integral_constant<bool,
    !std::is_same<typename Traits<T>::base_frame_type, void>::value>::type {};

这不起作用，因为templates with default arguments cannot be used as template template parameters。

我知道如果我总是在模板实例化中使用traits类（并修改特征检查器来接受它），我可以解决这个问题，即

has_base_frame_type<frame_traits<MyClass>>::value

但我不想这样做，因为忘记并传入非特质类会all too easy。事实上，这就是我最初编写代码的方式，直到我多次忘记这个特性并重构它。

有没有我可以修改我的特质类习惯用来解决模板模板参数问题？

Answer 1

框架：

#include <type_traits>

template <typename...>
using void_t = void;

template <typename AlwaysVoid, template <typename...> class Operation, typename... Args>
struct detect_impl : std::false_type {};

template <template <typename...> class Operation, typename... Args>
struct detect_impl<void_t<Operation<Args...>>, Operation, Args...> : std::true_type {};

template <template <typename...> class Operation, typename... Args>
using detect = detect_impl<void, Operation, Args...>;

检测器：

template <class Frame>
using frame_traits = typename Frame::base_frame_type;

template <class Frame>
using other_frame_traits = typename Frame::other_frame_type;

使用默认检测器的特性：

template <typename T, template <typename...> class Traits = frame_traits>
using has_frame_type = detect<Traits, T>;

测试：

struct A
{
    using base_frame_type = void;
};

struct B
{
    using other_frame_type = void;
};

int main()
{
    static_assert(has_frame_type<A>{}, "!");  // default
    static_assert(!has_frame_type<B>{}, "!"); // default

    static_assert(!has_frame_type<A, other_frame_traits>{}, "!"); // non-default
    static_assert(has_frame_type<B, other_frame_traits>{}, "!");  // non-default
}

DEMO

将类作为模板模板参数进行特征

1 个答案: