CRTP 从其默认实例化继承

Question

我需要像这样表示一个层次结构：

template<typename T>
struct X
{
};

template<typename Derived = void>
struct Y : Y<void>
{
    //Note: not trying to use SFINAE here
    using DerivedType = typename std::enable_if<std::is_base_of<Y, Derived>::value, Derived>::type;
};
template<>
struct Y<void> : X<Y<void>>
{
};

struct Z : Y<Z>
{
};

Z 和 Y 都需要可实例化：

W<Y<>> wy;
W<Z> wz;

所有 Y 都必须是 Y 的实例，如果可能的话，我不希望有两个不同的名称来使其工作。 （这是我最后的手段）

问题是，我不知道如何进行这项工作。上面的代码显然不能按预期工作并且不能编译。有没有办法让它发挥作用，或者除了我已经提到的那个之外，你有什么替代方案的建议吗？

Answer 1

如何重新排序：

template <typename> struct Y;

template <> struct Y<void> : X<Y<void>> { };

template <typename T = void> struct Y : Y<void> { };