std::destroy_at
来自 zh.cppreference.net
| 定义于头文件 <memory>
|
||
template< class T >
void destroy_at( T* p );
|
(自 C++17 起) (至 C++20 止) |
|
template< class T >
constexpr void destroy_at( T* p );
|
(自 C++20 起) | |
如果 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) * 4];
for (int i = 0; i < 4; ++i)
new (buffer + sizeof(Tracer) * i) Tracer{i}; // manually construct objects
auto ptr = std::launder(reinterpret_cast<Tracer*>(buffer));
for (int i = 0; i < 4; ++i)
std::destroy_at(ptr + i);
}
输出：
0 destructed
1 destructed
2 destructed
3 destructed
参见
|
(C++17)
|
销毁对象范围
(函数模板) |
|
(C++17)
|
销毁范围内指定数量的对象
(函数模板) |
|
(C++20)
|
在指定地址创建对象
(函数模板) |
|
(C++20)
|
销毁指定地址的对象
(算法函数对象) |