Question

我有一个模板基类：

template<class EntityManager>
class System {
public:
  virtual void Update(EntityManager& entity_manager, double dt) = 0;
protected:
  template<typename T> using Component = typename EntityManager::template Component<T>;
};

我想在我的派生模板类中使用Component<T>。

我试图让System声明Component作为自己的类，但当我尝试引用它时，编译器返回'Component' was not declared in this scope.

有什么建议吗？

修改 Inteded Usage：

template class<typename EntityManager>
class MovementSystem : public System<EntityManager> {
public:
  virtual void Update(EntityManager& entity_manager, double dt) {
    Component<Position> position_component; // I'd like to use Component<T> here.
  }
};

Answer 1

在派生类模板（很可能是你的意思）中，你可以做到

using Component = typename System<T>::Component;

其中T在派生类中是适当的类型。

处理模板可以执行此操作：

template< class U > using Component = typename System<T>::template Component<U>;

正如评论中的dyp所述。

详细信息取决于上下文，这里是编辑帖子时给出的代码的concrete example：

class ET
{
public:
    template< class Type >
    struct Component {};
};

template<class EntityManager>
class System {
public:
  virtual void Update(EntityManager& entity_manager, double dt) = 0;
protected:
  template<typename T> using Component = typename EntityManager::template Component<T>;
};

template< class EntityManager >
class MovementSystem : public System<EntityManager> {
public:
#ifndef DONTFIXIT
  template< class T > using Component = typename EntityManager::template Component< T >;
#endif

  virtual void Update(EntityManager& entity_manager, double dt) {
    Component<int> position_component; // I'd like to use Component<T> here.
  }
};

auto main() -> int
{
    MovementSystem< ET > ms;
}

没有简单的方法可以做到这一点，抱歉。

这显然是核心语言有可能更好地支持程序员的一个领域，避免一遍又一遍地重复名称。

语言的基本原理是，System的某些特殊化可能不一定定义Component类型或可访问类型。

使用using，您可以让编译器预先诊断出缺少此类型。

有没有办法继承别名模板？

1 个答案: