c++中的子类模板

Subclass template in C++

本文关键字：子类 c++      更新时间：2023-10-16

我知道在java中我们可以这样做:

class A<T extends B>
{
...
}

我们可以在c++中对模板做同样的事情吗?例如，我想有一个模板化类a，其中我们传递的模板T是另一个类B的子类，就像上面的java示例一样。什么好主意吗?

编辑:在其中一个答案中，我被要求显示我的代码，因为我有使用答案的链接错误。下面是(从深到主):

//ComponentManager.h
...
template <typename T,  typename std::enable_if<std::is_base_of<Component, T>::value>::type* = nullptr>
Component* AddComponent(rUUID uuid);
...
//ComponentManager.cpp
...
template <typename T,  typename std::enable_if<std::is_base_of<Component, T>::value>::type* = nullptr>
Component* ComponentManager::AddComponent(rUUID uuid)
{
...
}
//Engine.h
...
template <typename T,  typename std::enable_if<std::is_base_of<Component, T>::value>::type* = nullptr>
void AddComponent(rUUID);
...
//Engine.cpp
...
template <typename T,  typename std::enable_if<std::is_base_of<Component, T>::value>::type* = nullptr>
void Engine::AddComponent(rUUID uuid)
{
...
}
...

//main.cpp
...
e.AddComponent<Position>(a->GetUUID());
...

是的，你可以使用SFINAE:

#include <type_traits>
template <typename T, typename std::enable_if<std::is_base_of<B, T>::value>::type* = nullptr>
class A
{
    // ...
};

作为SFINAE的替代方案，您可以使用static_assert:

#include <type_traits>
template <typename T>
class A
{
    static_assert(std::is_base_of<BaseClass, T>::value, "error message");
};
相关文章：