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 ) 非零，则程序非良构。

本页面描述的函数式实体是 算法函数对象 （非正式称为 niebloids ），即：

• 在调用其中任何一个时，都不能指定显式模板实参列表。
• 它们对 实参依赖查找 均不可见。
• 当通过 常规非限定查找 将其中任何一个作为函数调用运算符左侧的名称找到时，会抑制 实参依赖查找 。

参数

返回值

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

参见