# std::experimental::ranges::DerivedFrom

From cppreference.com
< cpp‎ | experimental‎ | ranges

Defined in header `<experimental/ranges/concepts>` |  |
template < class T, class U > concept bool DerivedFrom = std::is_base_of<U, T>::value && std::is_convertible<std::remove_cv_t<T>*, std::remove_cv_t<U>*>::value; |  | (ranges TS)

The concept DerivedFrom<T, U> is satisfied if and only if `U` is a class type that is either `T` or a public and unambiguous base of `T`.

Despite the use of std::is_base_of and std::is_convertible in its description above, `DerivedFrom` is not required to use it in its implementation. Thus, there need not be any subsumption relationship between DerivedFrom<T, U> and std::is_base_of<U,T>::value or std::is_convertible<std::remove_cv_t<T>*, std::remove_cv_t<U>*>::value.

### See also

is_base_of (C++11) | checks if a type is derived from the other type (class template)
is_convertible is_nothrow_convertible (C++11)(C++20) | checks if a type can be converted to the other type (class template)

Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/experimental/ranges/concepts/DerivedFrom&oldid=98660"