std::ranges::construct_at

在给定地址 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

[编辑] 注解

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++ 标准。

[编辑] 参阅