组合策略类-模板参数和可变模板
组合策略类-模板参数和可变模板
提问于 2014-02-21 16:01:58
我想知道是否可以使用各种模板-模板参数组合策略类，以便每个策略都有自己的模板包。似乎您只能在所有策略中共享一个模板包，但我希望不是这样。
以下几点似乎是可能的：
template <
class T,
template <class, typename...> class Policy1,
template <class, typename...> class Policy2,
template <class, typename...> class Policy3,
typename... Args
>
struct PolicyClass
: public Policy1 <ObjT, Args...>
, public Policy2 <ObjT, Args...>
, public Policy3 <ObjT, Args...> {}我希望每个政策都有自己的包，这样我就能做这样的事情(?)：
template <class T>
struct implementedPolicy1 {};
template <class T>
struct implementedPolicy2 {};
template <class T, class A>
struct implementedPolicy3 {};
PolicyClass <ObjT,
implementedPolicy1,
implementedPolicy2,
implementedPolicy3<AType>
>每个策略都使用相同的对象类型，但是第三个策略有一些进一步的模板。我知道上面的代码是不正确的--只是想说明我想要做什么。
谢谢
回答 3
Stack Overflow用户
回答已采纳
发布于 2014-02-21 16:27:12
您需要能够在包之间进行分隔。
// helper template. Using `std::tuple<>` instead is another option.
template<class...>struct type_list {};
// base, note no body:
template <
class T,
template <class, typename...> class Policy0,
template <class, typename...> class Policy1,
template <class, typename...> class Policy2,
typename... Packs
>
struct PolicyClass;
// specialization:
template <
class T,
template <class, typename...> class Policy0,
template <class, typename...> class Policy1,
template <class, typename...> class Policy2,
typename... A0s,
typename... A1s,
typename... A2s
>
struct PolicyClass<
T, Policy1, Policy2, Policy3,
type_list<A0s...>, type_list<A1s...>, type_list<A2s...>
>
: Policy0<T, A0s...>, Policy1<T, A1s...>, Policy2<T, A2s...> {}在这里，我将每个策略额外的参数打包到一个type_list中。
从理论上讲，你可以做一些更花哨的事情，比如让特定的“标签”类型作为分隔符，但它最终会成为很多体操项目。
PolicyClass< int, bob, eve, alice, type_list<>, type_list<double>, type_list<char, char, char> > foo;会创造
PolicyClass: bob<int>, alice<int, double>, eve<int, char, char, char>粗略地说。
Stack Overflow用户
发布于 2014-02-21 16:44:09
我从来没有喜欢过模板参数，这是我要避免的另一个例子：
template <typename T, typename... Policies>
struct PolicyClass: Policies... {};将只适用于任意的策略：
using PC = PolicyClass<int,
LifetimePolicy<LP::Extended>,
DurabilityPolicy<3600, DP::Seconds>
StoragePolicy<int, SP::InMemory>>;Stack Overflow用户
发布于 2014-02-21 16:22:55
请注意，您可能有以下内容：
template <class T,
template <class> class Policy1,
template <class> class Policy2,
template <class> class Policy3>
struct PolicyClass : public Policy1<ObjT>,
public Policy2<ObjT>,
public Policy3<ObjT>
{};
template <class T> struct implementedPolicy1 {};
template <class T> struct implementedPolicy2 {};
template <class T, class A> struct implementedPolicy3 {};
// Adapt the policy interface
template <class T>
using myImplementedPolicy3 = implementedPolicy3<T, AType>; // Assuming AType exist
PolicyClass <ObjT, implementedPolicy1, implementedPolicy2, myImplementedPolicy3> policies;页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/21939217
复制相关文章
相似问题
腾讯云开发者
