Шаблон с проверкой типа

Подскажите пожалуйста, как в шаблоне функции сделать проверку типа шаблона-аргумента. Например, есть такой набор классов и есть шаблонная функция:

class Base { ... }
class Derived1 : B { ... }
class Derived2 : B { ... }
class Other { ... }

template <typename T> void foo(T arg) { ... }

В шаблонной функции на этапе компиляции надо проверить, что arg является объектом класса Base, или класса-потомка Base (т.е. Derived1 или Derived2). Иначе говоря, надо проверить является ли T классом Base, или классом, унаследованным от Base. Если это так, то все нормально. Иначе надо выдать ошибку компиляции с соответствующей диагностикой.

В <type_traits> нашёл функцию template<class Base, class Derived> struct is_base_of, которая выполняет такую проверку, но как ее использовать в моем случае, не понимаю.

Например, использовать его с std::enable_if
template <typename T, typename = std::enable_if_t<std::is_base_of<Base, T>::value, void>*>
void foo(T arg) { }

Также стоит учесть, что приватное наследование за пределами класса не видно. У Вас в коде наследование именно приватное.

template <typename T, typename = std::enable_if_t<std::is_base_of<Base, T>::value, void>*> 
void foo(T arg) { }

Спасибо. Работает! Только не понимаю как.
Под Visual Studio 2017 видит даже приватное наследование.

Только не понимаю как.

Что именно не понятно?

Под Visual Studio 2017 видит даже приватное наследование.

std::is_base_of видит приватное наследование.
Я к тому, что далее, например, если попробовать создать указатель на базовый класс и присвоить ему адрес наследника, то будут проблемы:

#include <type_traits>

class Base {};
class PublicDerived : public Base {};
class PrivateDerived : Base {};

template <typename T, typename = std::enable_if_t<std::is_base_of<Base, T>::value, void>*> 
void foo(T arg) 
{ 
    Base *p = &arg;//Если T приватный наследник Base, то будет ошибка.
}

int main()
{
    foo(Base());//ok
    foo(PublicDerived());//ok
    foo(PrivateDerived());//Ошибка в foo при инициализации указателя p
    //...
}

Непонятно вот это

template <typename T, typename = std::enable_if_t<std::is_base_of<Base, T>::value, void>*>

Что здесь происходит, и как это работает.

Можете посмотреть по ссылке: http://pcdev.ru/type-traits-enable-if/

hgkgk