如何包裝「擴展的可變參數模板參數」？

C++ 03允許創建模板類，從模板參數遺產：如何包裝「擴展的可變參數模板參數」？

// c++03 

struct NullType {}; 

template <class T0, class T1 = NullType, class T2 = NullType> 
class Collector : public T0, public T1, public T2 
{ 
}; 

template <class T0, class T1> 
class Collector<T0, T1, NullType> : public T0, public T1 
{ 
}; 

template <class T0> 
class Collector<T0, NullType, NullType> : public T0 
{ 
};

所以

typedef Collector<A, B, C> X;

eqeals到

class X: public A, public B, public C {};

C++ 11允許這樣做更容易：

// variadic templates - great thing! 
template <class ... Classes> 
class C11_Collector : 
    public Classes ... 
{ 
};

之前的繼承

包裝收集器必須包裹模板參數：

template <template <class> class Wrap, class T0, class T1 = NullType, class T2 = NullType> 
class Wrapping_Collector : public Wrap<T0>, public Wrap<T1>, public Wrap<T2> 
{ 
}; 

template <template <class> class Wrap, class T0, class T1> 
class Wrapping_Collector<Wrap, T0, T1, NullType> : public Wrap<T0>, public Wrap<T1> 
{ 
}; 

template <template <class> class Wrap, class T0> 
class Wrapping_Collector<Wrap, T0, NullType, NullType> : public Wrap<T0> 
{ 
};

所以

typedef Wrapping_Collector<W, A, B> X;

eqeals到

class X: public W<A>, public W<B> {};

如何更easer方式由C++ 11實現Wrapping_Collector？

來源

2012-01-24 Denis Kreshikhin

是否有可能只強制執行Wrap<NullType>爲空類？然後，你可以只直接使用

template <template <typename> class Wrap, typename... Types> 
class Wrapping_Collector : public Wrap<Types>... { 
    //... 
};

另外，如果雙繼承鏈，而不是直接的多繼承是很好，你可以讓Wrapping_Collector<Wrap, A, B...>來自Wrapping_Collector<Wrap, B...>和Wrap<A>得出：

template <template <typename> class Wrap, typename... Types> 
class Wrapping_Collector; 

// The normal case 
template <template <typename> class Wrap, typename Head, typename... Rest> 
class Wrapping_Collector<Wrap, Head, Rest...> 
    : public Wrapping_Collector<Wrap, Rest...>, Wrap<Head> 
{ 
    //... 
}; 

// Ignore on NullType 
template <template <typename> class Wrap, typename... Rest> 
class Wrapping_Collector<Wrap, NullType, Rest...> 
    : public Wrapping_Collector<Wrap, Rest...> 
{ 
    //... 
}; 

// Base case 
template <template <typename> class Wrap> 
class Wrapping_Collector<Wrap> {};

來源

2012-01-24 18:04:53 kennytm

我不會理解爲什麼'Wrap '甚至是必要的。由於在C++ 03中缺少可變參數模板，是不是首先存在'NullType'？ –

我相信你會在C++ 11中做到這一點：

// variadic templates - great thing! 
template <template <class> class Wrap, class... Classes> 
class C11_Wrapping_Collector : public Wrap<Classes>... 
{ 
};

來源

2012-01-24 20:10:16

如何包裝「擴展的可變參數模板參數」？

回答

相關問題