Namespaces
Variants

std::experimental::ranges:: DerivedFrom

From cppreference.net
C++
Experimental
Ranges
Concepts library
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)

개념 DerivedFrom < T, U > 는 다음 조건에서만 충족됩니다: U 가 T 와 동일한 클래스 타입이거나, T 의 public이며 모호하지 않은 기반 클래스인 경우입니다.

위 설명에서 std::is_base_of 와 std::is_convertible 을 사용했음에도 불구하고, DerivedFrom 은 이를 구현에 사용할 필요가 없습니다. 따라서 DerivedFrom < T, U > 와 std:: is_base_of < U,T > :: value 또는 std:: is_convertible < std:: remove_cv_t < T > * , std:: remove_cv_t < U > * > :: value 사이에 어떠한 함의 관계도 존재할 필요가 없습니다.

참고 항목

(C++11)
한 타입이 다른 타입의 베이스인지 확인
(클래스 템플릿)
(C++11) (C++20)
한 타입이 다른 타입으로 변환 가능한지 확인
(클래스 템플릿)