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 <void>的實例，如果可能的話，我寧願不使用兩個不同的名稱來使其工作。 （這是我的最後手段）

問題是，我不知道如何使這項工作。上面的代碼顯然不能按預期工作，也不會編譯。有沒有一種方法可以使其發揮作用，或者除了我已經提到的方法之外，您是否還有其他方法的建議？

Answer 1

如何重新安排它：

template <typename> struct Y; 

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

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