Namespaces
Variants

    std::destroy_at

    cppreference.net에서
     
    C++
     
    알고리즘 라이브러리
    Constrained 알고리즘 및 ranges 알고리즘 (C++20)
    Constrained 알고리즘, 예: ranges::copy, ranges::sort, ...
    정렬 및 관련 연산
    분할 연산
    (C++11)    
    (C++11)

    정렬 연산
    이진 탐색 연산
    (분할된 범위에서)
    집합 연산 (정렬된 범위에서)
    병합 연산 (정렬된 범위에서)
    힙 연산
    최소/최대 연산
    (C++11)
    (C++17)
    사전식 비교 연산
    (C++20)
    순열 연산


     
    특수화된 <memory> 알고리즘
    헬퍼 템플릿 (설명 전용*)
    (C++17)
    객체 (배치) 생성
    객체 (배치) 소멸
    (C++17)
    (C++17)
    (C++17)
     
    헤더 <memory> 
    template< class T >
void destroy_at( T* p );
    		에서 정의됨 (C++17부터)
    (C++20까지)    		 
    template< class T >
constexpr void destroy_at( T* p );
    		(C++20부터)

    T이 배열 타입이 아닌 경우, p이 가리키는 객체의 소멸자를 호출합니다. 마치 p->~T()에 의한 것처럼.

    T이 배열 타입인 경우, 프로그램은 ill-formed입니다(C++20까지)*p의 요소들을 순서대로 재귀적으로 소멸시킵니다. 마치 std::destroy(std::begin(*p), std::end(*p))을 호출하는 것처럼 (C++20부터).

    매개변수

    p - 파괴될 객체에 대한 포인터

    가능한 구현 

    template<class T>
constexpr void destroy_at(T* p) 
{
    if constexpr (std::is_array_v<T>)
        for (auto& elem : *p)
            (destroy_at)(std::addressof(elem));
    else
        p->~T(); 
}
// C++17 버전:
// template<class T> void destroy_at(T* p) { p->~T(); }

    참고 사항

    destroy_at 는 파괴할 객체의 타입을 추론하여 소멸자 호출 시 명시적으로 작성하는 것을 피합니다.

    destroy_at 이 어떤 상수 표현식 e 의 평가 중에 호출될 때, 인수 p 는 수명이 e 의 평가 내에서 시작된 객체를 가리켜야 합니다.

    		(C++20부터)

    예제

    는 destroy_at을(를) 사용하여 연속적인 요소 시퀀스를 파괴하는 방법을 보여줍니다.

    이 코드 실행
    #include <iostream>
#include <memory>
#include <new>

struct Tracer
{
    int value;
    ~Tracer() { std::cout << value << " destructed\n"; }
};

int main()
{
    alignas(Tracer) unsigned char buffer[sizeof(Tracer) * 4];
    
    for (int i = 0; i < 4; ++i)
        new (buffer + sizeof(Tracer) * i) Tracer{i}; // manually construct objects

    auto ptr = std::launder(reinterpret_cast<Tracer*>(buffer));

    for (int i = 0; i < 4; ++i)
        std::destroy_at(ptr + i);
}

    출력: 

    0 destructed
1 destructed
2 destructed
3 destructed

    참고 항목

    (C++17)
    		객체 범위를 파괴함
    (function template)
    (C++17)
    		범위 내 지정된 개수의 객체를 파괴함
    (function template)
    (C++20)
    		주어진 주소에 객체를 생성함
    (function template)
    (C++20)
    		주어진 주소의 객체를 파괴함
    (algorithm function object)