std::experimental::ranges:: DerivedFrom
|
Definido en el encabezado
<experimental/ranges/concepts>
|
||
|
template
<
class
T,
class
U
>
concept
bool
DerivedFrom
=
|
(ranges TS) | |
El concepto
DerivedFrom
<
T, U
>
se satisface si y solo si
U
es un tipo de clase que es
T
o una base pública y no ambigua de
T
.
A pesar del uso de
std::is_base_of
y
std::is_convertible
en su descripción anterior,
DerivedFrom
no está obligado a utilizarlos en su implementación. Por lo tanto, no es necesario que exista ninguna relación de subsunción entre
DerivedFrom
<
T, U
>
y
std::
is_base_of
<
U,T
>
::
value
o
std::
is_convertible
<
std::
remove_cv_t
<
T
>
*
,
std::
remove_cv_t
<
U
>
*
>
::
value
.
Véase también
|
(C++11)
|
verifica si un tipo es una base del otro tipo
(class template) |
|
(C++11)
(C++20)
|
verifica si un tipo puede ser convertido al otro tipo
(class template) |