Using std::is_base_of with Template Types

1#include <iostream>
2#include <type_traits>
3
4class BaseClass {};
5class DerivedClass : public BaseClass {};
6
7template <typename T>
8void checkDerived() {
9  if constexpr (std::is_base_of_v<BaseClass, T>) {
10    std::cout << "T is derived from BaseClass\n";
11  } else {
12    std::cout << "T is not derived from BaseClass";
13  }
14}
15
16int main() {
17  // Output: T is derived from BaseClass
18  checkDerived<DerivedClass>();
19
20  // Output: T is not derived from BaseClass
21  checkDerived<int>();
22}