Namespaces
Variants

    std::destroy

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

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


     
    특수화된 <메모리> 알고리즘
    헬퍼 템플릿 (설명 전용*)
    (C++17)
    객체 (배치) 생성
    객체 (배치) 소멸
    (C++17)
    (C++17)
    (C++17)
     
    헤더 <memory> 
    template< class ForwardIt >
void destroy( ForwardIt first, ForwardIt last );
    		에 정의됨 (1) (C++17부터)
    (C++20까지)    		 
    template< class ForwardIt >
constexpr void destroy( ForwardIt first, ForwardIt last );
    		(C++20부터) 
    template< class ExecutionPolicy, class ForwardIt >
void destroy( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last );
    		(2) (C++17부터)
    1) 대상 범위의 요소를 [first, last) 마치 다음과 같이 소멸시킵니다. 
    for (; first != last; ++first)
    std::destroy_at(std::addressof(*first));
    2) (1)과 동일하지만, policy에 따라 실행됩니다.
    이 오버로드는 다음 표현식의 값이 true인 경우에만 오버로드 해결에 참여합니다:

    std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>

    		(C++20까지)

    std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>

    		(C++20부터)

    매개변수

    first, last - 파괴할 요소들의 범위 를 정의하는 반복자 쌍
    policy - 사용할 실행 정책
    타입 요구사항
    -
    ForwardIt 는 LegacyForwardIterator 요구사항을 충족해야 함
    -
    ForwardIt 의 유효한 인스턴스를 통한 증가, 할당, 비교, 간접 참조 연산은 예외를 발생시켜서는 안 됨

    예외

    2) 실행 과정 중:
    • 병렬화에 필요한 일시적인 메모리 자원을 사용할 수 없는 경우, std::bad_alloc이 던져집니다.
    • 알고리즘 인수를 통해 객체에 접근하는 도중 잡히지 않은 예외가 발생하면, 동작은 실행 정책에 따라 결정됩니다 (표준 정책의 경우 std::terminate가 호출됩니다).

    가능한 구현 

    template<class ForwardIt>
constexpr // since C++20
void destroy(ForwardIt first, ForwardIt last)
{
    for (; first != last; ++first)
        std::destroy_at(std::addressof(*first));
}

    예제

    destroy를 사용하여 연속된 요소 시퀀스를 파괴하는 방법을 보여줍니다.

    이 코드 실행
    #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));

    std::destroy(ptr, ptr + 4);
}

    출력: 

    0 destructed
1 destructed
2 destructed
3 destructed

    참고 항목

    (C++17)
    		범위 내의 여러 객체를 파괴함
    (함수 템플릿)
    (C++17)
    		주어진 주소의 객체를 파괴함
    (함수 템플릿)
    (C++20)
    		객체 범위를 파괴함
    (알고리즘 함수 객체)