std::construct_at

template< class T, class... Args >
constexpr T* construct_at( T* location, Args&&... args );

创建一个 T对象，用 args 中的参数在给定的地址 location 处进行初始化。

等价于
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)的求值中。

当 construct_at 在某个常量表达式 expr 的求值中被调用时，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++ 标准。

参见