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

参数

返回值

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("no side-effects!")]]
    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++ 标准。

参见