std::experimental::ranges::DerivedFrom

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

实验性非 TS

模式匹配

线性代数

std::execution

契约

2D 图形

 

范围

概念

通用实用程序

迭代器

范围

算法

 

概念库

核心语言概念
相同 DerivedFrom ConvertibleTo	CommonReference Common	Integral SignedIntegral UnsignedIntegral	Assignable SwappableSwappableWith
对象概念
Destructible Constructible DefaultConstructible	MoveConstructible CopyConstructible	Movable Copyable	Semiregular Regular
比较概念
Boolean	WeaklyEqualityComparableWith	EqualityComparableEqualityComparableWith	StrictTotallyOrderedStrictTotallyOrderedWith
可调用概念
InvocableRegularInvocable	Predicate	Relation	StrictWeakOrder
URNG 概念
UniformRandomNumberGenerator

 

定义在头文件 <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;		(范围 TS)

概念 DerivedFrom<T, U> 当且仅当 U 是一个类类型，它要么是 T，要么是 T 的公共且明确的基类时满足。

尽管在上面的描述中使用了 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 之间不一定存在任何包含关系。

另请参阅

is_base_of (C++11)	检查一个类型是否是另一个类型的基类 (类模板)
is_convertibleis_nothrow_convertible (C++11)(C++20)	检查一个类型是否可以转换为另一个类型 (类模板)