std::experimental::ranges::Destructible

 

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 可交换SwappableWith
对象概念
可销毁 可构造 默认可构造	可移动构造 可复制构造	可移动 可复制	半正则 正则
比较概念
布尔	WeaklyEqualityComparableWith	可等式比较EqualityComparableWith	严格全序StrictTotallyOrderedWith
可调用概念
可调用RegularInvocable	谓词	关系	严格弱序
URNG 概念
UniformRandomNumberGenerator

 

定义于头文件 <experimental/ranges/concepts>
template< class T > concept bool Destructible = std::is_nothrow_destructible<T>::value;		(范围 TS)

Destructible 概念指定所有类型实例可以在其生命周期结束时安全销毁的概念（包括引用类型）。

Destructible<T> 与 std::is_nothrow_destructible<T>::value 之间不必存在任何子类型关系。

注释

与主 C++ 标准中的 Destructible 命名要求不同，Destructible 要求析构函数为 noexcept(true)，而不仅仅是在调用时不抛出异常，并且允许引用类型和数组类型。

另请参阅

is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11)

检查类型是否具有未删除的析构函数 (类模板)