заставить шаблон <class>быть полученным из BaseClassA?

Question

Есть ли возможность заставить шаблон быть из определенного базового класса, чтобы я мог вызвать функцию базового класса?

template <class T>
void SomeManager::Add(T)
{
    T->CallTsBaseClassFunction();
    //... do other stuff
}

Answer 1

Конечно, вы можете комбинировать черты типа с SFINAE:

#include <type_traits>

template <class T>
typename std::enable_if<std::is_base_of<your_base_class, T>::value, void>::type
SomeManager::Add(T)
{
    T->CallTsBaseClassFunction();
    //... do other stuff
}

Хотя я не вижу здесь никакой пользы.

Answer 2

Самое простое решение - добавить фрагмент кода, который компилируется, только если это то, что вы ожидали:

template <class T>
void SomeManager::Add(T t)
{
    assert((Base const*)&t); // T must inherit from Base to allow T*->Base* conversion.
    t.CallTsBaseClassFunction();
    //... do other stuff
}

Answer 3

Стоит отметить, что это можно сделать во время компиляции в более удобочитаемой форме с помощью static_assert. Что-то в строках:

class Base {};

template<class B>
class Template{
    static_assert(std::is_base_of<Base, B>::value, "B must derive from nmspc::Base");
}

Это работает, даже когда B является точно базовой. Если Base сам по себе является шаблонным классом, он становится более сложным, но это все еще можно сделать, и в Интернете достаточно ресурсов.