std::construct_at

来自cppreference.com
< cpp‎ | memory
 
C++
 
内存管理库
(仅用于阐述*)
分配器
未初始化内存算法
受约束的未初始化内存算法
内存资源
未初始化存储 (C++20 前)
(C++17 弃用)
(C++17 弃用)
(C++17 弃用)

垃圾收集器支持 (C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
 
在标头 <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_array_v<T> 是 true 时 sizeof...(Args) 非零，那么程序非良构。

目录

[编辑] 参数

location - 指向将在其上构造 T 对象的未初始化存储的指针
args... - 用于初始化的参数

[编辑] 返回值

location

[编辑] 示例

运行此代码
#include <bit>
#include <memory>
 
class S
{
    int x_;
    float y_;
    double z_;
public:
    constexpr S(int x, float y, double z) : x_{x}, y_{y}, z_{z} {}
    [[nodiscard("无副作用！")]]
    constexpr bool operator==(const S&) const noexcept = default;
};
 
consteval bool test()
{
    alignas(S) unsigned char storage[sizeof(S)]{};
    S uninitialized = std::bit_cast<S>(storage);
    std::destroy_at(&uninitialized);
    S* ptr = std::construct_at(std::addressof(uninitialized), 42, 2.71f, 3.14);
    const bool res{*ptr == S{42, 2.71f, 3.14}};
    std::destroy_at(ptr);
    return res;
}
static_assert(test());
 
int main() {}

[编辑] 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 3436 C++20 construct_at 不能创建数组类型的对象 可以值初始化有边界数组
LWG 3870 C++20 construct_at 能创建有 cv 限定的类型的对象 仅允许无 cv 限定的类型

[编辑] 参阅

 分配未初始化的存储
(std::allocator<T> 的公开成员函数) [编辑]
[静态]
 在已分配存储中构造对象
(函数模板) [编辑]
(C++17)
 销毁给定地址的对象
(函数模板) [编辑]
(C++20)
 在给定地址创建对象
(算法函数对象) [编辑]
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/memory/construct_at&oldid=98324”