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 이전) .

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 ) 가 0이 아닌 경우, 프로그램은 ill-formed입니다.

이 페이지에서 설명하는 함수형 개체들은 algorithm function objects (비공식적으로 niebloids 로 알려진) 즉:

• 명시적 템플릿 인수 목록은 이들 중 어느 것을 호출할 때도 지정할 수 없습니다.
• 이들 중 어느 것도 인수 의존적 탐색 에 보이지 않습니다.
• 이들 중 어느 것이 함수 호출 연산자의 왼쪽 이름으로 일반 비한정 탐색 에 의해 발견될 때, 인수 의존적 탐색 이 억제됩니다.

매개변수

반환값

location

참고 사항

std::ranges::construct_at 는 인수 종속 lookup에 보이지 않는다는 점을 제외하면 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++ 표준에 소급 적용되었습니다.

참고 항목