std::ranges::construct_at
来自cppreference.com
<tbody>
</tbody>
| 在标头 <memory> 定义
|
||
| 调用签名 |
||
template< class T, class... Args > constexpr T* construct_at( T* location, Args&&... args ); |
(C++20 起) | |
在给定地址 location 以 args 中的实参创建 T 类型对象。
等价于
if constexpr (std::is_array_v<T>)
return ::new (voidify (*location)) T[1]();
else
return ::new (voidify (*location)) T(std::forward<Args>(args)...);
，但 construct_at 可用于常量表达式的求值(C++26 前)。
在某常量表达式 expr 的求值中调用 construct_at 时，location 必须指向用 std::allocator<T>::allocate 获得的存储或生存期在 expr 的求值内开始的对象。
此重载只有在满足以下所有条件时时才会参与重载决议：
std::is_unbounded_array_v<T>是false。::new(std::declval<void*>()) T(std::declval<Args>()...)在被视为不求值操作数时良构。
如果当 std::is_array_v<T> 是 true 时 sizeof...(Args) 非零，那么程序非良构。
此页面上描述的函数式实体是算法函数对象（非正式地称为 niebloid），即：
参数
| location | - | 指向将在其上构造 T 对象的未初始化存储的指针
|
| args... | - | 用于初始化的参数 |
返回值
location
注解
std::ranges::construct_at 与 std::construct_at 表现严格相同，但它对实参依赖查找不可见。
示例
运行此代码
#include <iostream>
#include <memory>
struct S
{
int x;
float y;
double z;
S(int x, float y, double z) : x{x}, y{y}, z{z} { std::cout << "S::S();\n"; }
~S() { std::cout << "S::~S();\n"; }
void print() const
{
std::cout << "S { x=" << x << "; y=" << y << "; z=" << z << "; };\n";
}
};
int main()
{
alignas(S) unsigned char buf[sizeof(S)];
S* ptr = std::ranges::construct_at(reinterpret_cast<S*>(buf), 42, 2.71828f, 3.1415);
ptr->print();
std::ranges::destroy_at(ptr);
}
输出：
S::S();
S { x=42; y=2.71828; z=3.1415; };
S::~S();
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| LWG 3436 | C++20 | construct_at 不能创建数组类型的对象
|
可以值初始化有边界数组 |
| LWG 3870 | C++20 | construct_at 能创建有 cv 限定的类型的对象
|
仅允许无 cv 限定的类型 |
参阅
(C++20) |
销毁给定地址的对象 (算法函数对象) |
(C++20) |
在给定地址创建对象 (函数模板) |