Question

我正在尝试编写一个基于策略的宿主类（即一个继承自其模板类的类），其中一个扭曲，其中策略类也由宿主类进行模板化，以便它可以访问它类型。这可能有用的一个例子是策略（实际上像mixin一样使用），使用多态clone（）方法扩充宿主类。这是我正在尝试做的最小例子：

template <template <class> class P>
struct Host : public P<Host<P> > {
  typedef P<Host<P> > Base;
  typedef Host* HostPtr;
  Host(const Base& p) : Base(p) {}
};

template <class H>
struct Policy {
  typedef typename H::HostPtr Hptr;
  Hptr clone() const {
    return Hptr(new H((Hptr)this));
  }
};

Policy<Host<Policy> > p;
Host<Policy> h(p);

int main() {
  return 0;
}

遗憾的是，这似乎无法编译，在我看来像循环类型依赖：

try.cpp: In instantiation of ‘Host<Policy>’:
try.cpp:10:   instantiated from ‘Policy<Host<Policy> >’
try.cpp:16:   instantiated from here
try.cpp:2: error: invalid use of incomplete type ‘struct Policy<Host<Policy> >’
try.cpp:9: error: declaration of ‘struct Policy<Host<Policy> >’
try.cpp: In constructor ‘Host<P>::Host(const P<Host<P> >&) [with P = Policy]’:
try.cpp:17:   instantiated from here
try.cpp:5: error: type ‘Policy<Host<Policy> >’ is not a direct base of ‘Host<Policy>’

如果有人能发现明显的错误，或者在政策中成功地混合了CRTP，我将不胜感激。

Answer 1

实际上问题是由于HostPtr声明在您从策略继承时尚未看到。有一些讨论关于实例化模板可以看到这些声明的确切语义，这些模型有很复杂的问题，请参阅this defect report。

但是在你的情况下，情况很明显：在类主体之前，没有代码可以看到类成员的任何声明，因此你的代码失败了。您可以将类型作为模板参数传递

template <template <class,class> class P>
struct Host : public P<Host<P>, Host<P>* > {
  typedef P<Host<P> > Base;
  Host(const Base& p) : Base(p) {}
};

template <class H, class Hptr>
struct Policy {
  typedef Hptr HostPtr;
  HostPtr clone() const {
    return Hptr(new H((Hptr)this));
  }
};

如果有更多类型，您可以决定传递特征

template <class Host>
struct HTraits {
  typedef Host *HostPtr;
  // ...
};

template <template <class,class> class P>
struct Host : public P<Host<P>, HTraits< Host<P> > > {
  typedef P<Host<P> > Base;
  Host(const Base& p) : Base(p) {}
};

template <class H, class Htraits>
struct Policy {
  typedef typename Htraits::HostPtr HostPtr;
  HostPtr clone() const {
    return Hptr(new H((Hptr)this));
  }
};

将基于策略的设计与C ++中的CRTP相结合

1 个答案: