1

我有一个子类 (Child)，它继承了在子类上模板化的基类 (Base)。子类也是一个类型的模板（可以是整数或其他......），我试图在基类中访问这个类型，我尝试了很多东西但没有成功......这就是我的想法可能更接近工作解决方案，但它无法编译......

template<typename ChildClass>
class Base
{
    public: 
        typedef typename ChildClass::OtherType Type;

    protected:
        Type test;
};

template<typename TmplOtherType>
class Child
    : public Base<Child<TmplOtherType> >
{
    public:
        typedef TmplOtherType OtherType;
};

int main()
{
    Child<int> ci;
}

这是 gcc 告诉我的：

test.cpp：在'Base>'的实例化中：test.cpp：14：7：
从'Child'实例化test.cpp：23：16：从这里实例化test.cpp：7：48：错误：没有名为'的类型'class Child'中的OtherType'</p>

这是一个等效的工作解决方案：

template<typename ChildClass, typename ChildType>
class Base
{
    public:
        typedef ChildType Type;

    protected:
        Type test;
};

template<typename TmplOtherType>
class Child 
    : public Base<Child<TmplOtherType>, TmplOtherType>
{
    public:
};

但困扰我的是重复的模板参数（将 TmplOtherType 作为 Childtype 转发）到基类......

你们有什么感想 ？

4

1 回答 1

2

您可以使用模板模板参数来避免重复的模板参数：

template<template<typename>class ChildTemplate, //notice the difference here
          typename ChildType>
class Base
{
  typedef ChildTemplate<ChildType>  ChildClass; //instantiate the template
  public:
    typedef ChildType Type;

  protected:
    Type test;
};

template<typename TmplOtherType>
class Child 
    : public Base<Child, TmplOtherType> //notice the difference here also
{
    public:
};
于 2012-09-19T09:00:26.073 回答