std:: destroy_at
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
定义于头文件
<memory>
|
||
|
template
<
class
T
>
void destroy_at ( T * p ) ; |
(C++17 起)
(C++20 起为 constexpr) |
|
如果
T
不是数组类型，则调用由
p
指向的对象的析构函数，如同通过
p
-
>
~T
(
)
调用一样。
如果
T
是数组类型，
程序非良构
(C++20 前)
按顺序递归销毁
*
p
的元素，如同通过调用
std::
destroy
(
std::
begin
(
*
p
)
,
std::
end
(
*
p
)
)
(C++20 起)
。
目录 |
参数
| p | - | 指向待销毁对象的指针 |
可能实现
template<class T> constexpr void destroy_at(T* p) { if constexpr (std::is_array_v<T>) for (auto& elem : *p) (destroy_at)(std::addressof(elem)); else p->~T(); } // C++17 版本： // template<class T> void destroy_at(T* p) { p->~T(); } |
注释
destroy_at
会自动推导需要销毁的对象的类型，从而避免在析构函数调用中显式写出该类型。
|
当在某个
常量表达式
e
的求值过程中调用
|
(since C++20) |
示例
以下示例演示如何使用
destroy_at
销毁连续序列中的元素。
#include <iostream> #include <memory> #include <new> struct Tracer { int value; ~Tracer() { std::cout << value << " destructed\n"; } }; int main() { alignas(Tracer) unsigned char buffer[sizeof(Tracer) * 8]; for (int i = 0; i != 8; ++i) new(buffer + sizeof(Tracer) * i) Tracer{i}; // 手动构造对象 auto ptr = std::launder(reinterpret_cast<Tracer*>(buffer)); for (int i = 0; i != 8; ++i) std::destroy_at(ptr + i); }
输出：
0 destructed 1 destructed 2 destructed 3 destructed 4 destructed 5 destructed 6 destructed 7 destructed
参见
|
(C++17)
|
销毁对象范围
(函数模板) |
|
(C++17)
|
销毁范围内指定数量的对象
(函数模板) |
|
(C++20)
|
在指定地址创建对象
(函数模板) |
|
(C++20)
|
销毁指定地址的对象
(算法函数对象) |