C++ std :: vector 또는 std :: deque에서 동시에 객체 복사본을 제거하고 가져올 수 있습니까?

Question

Java에서 Deque 클래스는 실제로 반환 된 요소를 반환하는 끝 부분에 대해 removal methods을가집니다. C++에서 동일한 동작을 얻는 유일한 방법은 먼저 명시 적으로 요소를 복사 한 다음 팝업하는 것입니다.

std::deque<int> myDeque; 
myDeque.push_back(5); 

int element = myDeque.back(); 
myDeque.pop_back(); 

두 가지를 동시에 수행 할 수있는 메커니즘이 있습니까?

당신은 당신의 자신의 래퍼 함수 템플릿을 작성할 수 있습니다

Answer 1

:

// Precondition: !container.empty() 
// Exception safety: If there is an exception during the construction of val, 
//     the container is not changed. 
//     If there is an exception during the return of the value, 
//     the value is lost. 
template <typename C> 
auto back_popper(C & container) -> decltype(container.back()) 
{ 
    auto val(std::move(container.back())); 
    container.pop_back(); 
    return val; 
} 

사용법 :

auto element = back_popper(myDeque); 

당신은 처음에 back() 및 pop_back()의 분리 동기를 부여 근본적인 문제를 해결받을 수없는 이 요소의 복사 또는 이동 생성자가 예외를 throw 할 수 있으며이 경우 팝업 된 요소가 손실 될 수 있습니다. 던져지지 않는 객체를 반환하여 사례별로 완화 할 수 있습니다. a unique_ptr, 이는 동적 할당을 위해 요소를 잃을 위험을 상쇄하지만, 분명히 표준이 당신을 위해 만들지 않는 개인 선택입니다. 예를 들어

:

// Guarantees that you either get the last element or that the container 
// is not changed. 
// 
template <typename C> 
auto expensive_but_lossless_popper(C & container) 
-> typename std::unique_ptr<decltype(container.back())> 
{ 
    using T = decltype(container.back()); 

    std::unique_ptr<T> p(new T(std::move(container.back()))); 
    container.pop_back(); 
    return p;    // noexcept-guaranteed 
} 

편집 : @Simple이 제안가 나는 back() 호출 주위 std::move을 추가했다. 이것은 이동 된 요소가 더 이상 필요하지 않기 때문에 합법적입니다. 많은 실제 클래스에는 noexcept 이동 생성자가 있으므로 많은 경우를 다루며 "무손실"해결 방법은 소수의 noexcept 움직임이없는 "이상한"유형. 디자인으로

Answer 2

, C++은 예외 안전 보장하기 위해 상자 밖으로 이러한 메커니즘을 제공하지 않습니다 : 다음, 당신이 그것을 구현하려고 할 때 먼저 요소의 복사본을 만들

을 컨테이너를 팝업 마침내 호출자에게 객체를 반환하려고합니다. 하지만 마지막 작업의 복사 생성자가 예외를 throw하면 어떻게됩니까? 개체가 더 이상 컨테이너에 없으며 호출자가 개체를받지 못했습니다. 이를 방지하고 컨테이너의 조작에 대한 강력한 예외 보장을 제공하기 위해 동시에 팝되는 요소를 리턴하는 조작은 직접적으로 보류되지 않습니다.

// 
// Precondition: !container.empty() 
//    
template <typename C> 
auto back_popper(C & container) 
-> typename std::enable_if<std::is_nothrow_move_constructible< 
          decltype(container.back())>::value, 
          decltype(container.back())>::type 
{ 
    auto val = std::move(container.back()); 
    container.pop_back(); 
    return val; 
} 

또는 static_assert이 (자신을 위해 그것을 해결) : 당신은 예외 안전을 느슨하게하지 않으려면

Answer 3

, 당신은 SFINAE를 사용하여이 방법을 제한 할 수 있습니다. (참고 : 이동 생성자가있는 경우 복제본을 피하기 위해 편집 됨 Simple의 설명을 따르십시오.)