std::ranges::destroy
cppreference.net에서
| 헤더 <memory>
|
||
| 에 정의됨 |
||
template< /*nothrow-input-iterator*/ I, /*nothrow-sentinel-for*/<I> S >
requires std::destructible<std::iter_value_t<I>>
constexpr I destroy( I first, S last ) noexcept;
|
호출 시그니처 | (1) |
template< /*nothrow-input-range*/ R >
requires std::destructible<ranges::range_value_t<R>>
constexpr ranges::borrowed_iterator_t<R> destroy( R&& r ) noexcept;
|
(C++20부터) | (2) |
template< /*execution-policy*/ Ep, /*nothrow-random-access-iterator*/ I,
/*nothrow-sized-sentinel-for*/<I> S >
requires std::destructible<std::iter_value_t<I>>
I destroy( Ep&& policy, I first, S last );
|
(C++20부터) | (3) |
template< /*execution-policy*/ Ep, /*nothrow-sized-random-access-range*/ R >
requires std::destructible<ranges::range_value_t<R>>
ranges::borrowed_iterator_t<R> destroy( Ep&& policy, R&& r );
|
(C++26부터) | (4) |
(C++26부터)/*execution-policy*/의 정의는 이 페이지를 참조하십시오; 다른 설명 전용 콘셉트의 정의는 이 페이지를 참조하십시오.
1) 대상 범위
[first, last)의 요소를 다음과 같이 소멸시킵니다:
for (; first != last; ++first)
std::ranges::destroy_at(std::addressof(*first));
return first;
2) (1)과 동일하지만,
r을(를) 대상 범위로 사용합니다.3,4) (1,2)과 동일하지만,
policy에 따라 실행됩니다.이 페이지에 설명된 함수형 엔티티는 알고리즘 함수 객체입니다(비공식적으로 niebloids라고 함). 즉:
- 이들 중 하나를 호출할 때 명시적 템플릿 인자 목록을 지정할 수 없습니다.
- 이들 중 어느 것도 인자 종속 조회에 보이지 않습니다.
- 함수 호출 연산자의 왼쪽 이름으로 일반적인 비한정 조회에 의해 이들 중 하나가 발견되면, 인자 종속 조회가 억제됩니다.
매개변수
| first, last | - | 파괴할 범위의 요소들을 정의하는 반복자-센티넬 쌍 |
| r | - | 파괴할 범위 |
| policy | - | 사용할 실행 정책 |
반환값
위에서 설명한 대로입니다.
예외
3,4) 실행 과정 중:
- 병렬화에 필요한 임시 메모리 자원을 사용할 수 없는 경우, std::bad_alloc이 발생합니다.
- 알고리즘 인수를 통해 객체에 접근하는 동안 처리되지 않은 예외가 발생하면, 실행 정책( 표준 정책의 경우 std::terminate가 호출됩니다)에 따라 동작이 결정됩니다.
참고
| 기능 테스트 매크로 | 값 | 표준 | 기능 |
|---|---|---|---|
__cpp_lib_parallel_algorithm |
202506L |
(C++26) | 병렬 범위 알고리즘 |
가능한 구현
struct destroy_fn
{
template</*nothrow-input-iterator*/ I, /*nothrow-sentinel-for*/<I> S>
requires std::destructible<std::iter_value_t<I>>
constexpr I operator()(I first, S last) const noexcept
{
for (; first != last; ++first)
ranges::destroy_at(std::addressof(*first));
return first;
}
template</*nothrow-input-range*/ R>
requires std::destructible<ranges::range_value_t<R>>
constexpr ranges::borrowed_iterator_t<R> operator()(R&& r) const noexcept
{
return (*this)(ranges::begin(r), ranges::end(r));
}
template</*nothrow-forward-range*/ R>
requires std::destructible<ranges::range_value_t<R>>
constexpr ranges::borrowed_iterator_t<R> operator()(R&& r) const noexcept
{
return (*this)(ranges::begin(r),
ranges::next(ranges::begin(r), ranges::end(r)));
}
};
inline constexpr destroy_fn destroy{};
|
예제
연속된 요소 시퀀스를 소멸시키기 위해 ranges::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::ranges::destroy(ptr, ptr + 4);
}
출력:
0 destructed
1 destructed
2 destructed
3 destructed
참고 항목
(C++20) |
범위 내 여러 객체를 소멸시킴 (알고리즘 함수 객체) |
(C++20) |
주소에 있는 객체를 소멸시킴 (알고리즘 함수 객체) |
(C++17) |
객체의 범위를 소멸시킴 (함수 템플릿) |