std :: future <T> 및 std :: shared_future <T>이 (가) 멤버 스왑()을 제공하지 않는 이유는 무엇입니까?

Question

C++ 표준 라이브러리의 모든 종류의 클래스에는 std::basic_ios<CharT>과 같은 일부 다형성 클래스를 비롯하여 멤버 스왑 함수가 있습니다. 템플릿 클래스 std::shared_future<T>은 명확하게 값 유형이고 std::future<T>은 이동 전용 값 유형입니다. 특별한 이유가 있습니까? 그들은 swap() 멤버 함수를 제공하지 않습니다?

Answer 1

멤버 스왑은 C++ 11에서 std::move 지원 이전에 엄청난 성능 향상을 보였습니다. 예를 들어, 하나의 벡터를 다른 지점으로 이동할 수있는 방법이었습니다. vector에서도 사용되었으므로 벡터 벡터에 삽입하면 성능이 완전히 저하되지 않습니다.

template<class T> 
void swap(T& lhs, T& rhs) { 
    auto tmp = std::move(rhs); 
    rhs = std::move(lhs); 
    lhs = std::move(tmp); 
} 

는 기본적으로 빠른 사용자 정의 작성 하나가 될 것입니다 : std::move 후

많은 때때로 빈 유형, std::swap의 기본 구현을 C++ (11)에 도착했다.

swap의 기존 유형은 (적어도 즉시) 잃어 버릴 가능성이 적습니다. 그러나 새로운 유형의 API를 확장하는 것은 정당화되어야합니다.

기본적으로 이 std::unique_ptr<future_impl> 주위의 래퍼 인 경우 위의 예에서는 4 개의 포인터 읽기, 3 개의 포인터 쓰기 및 하나의 분기가 필요합니다. 그리고 그것을 인라인화한 최적화 컴파일러 은 최적화 된 .swap 멤버 함수가 수행 할 수있는 2 포인터 읽기 및 2 포인터 쓰기 (예 : SSA 사용)로 줄일 수 있습니다.

---

¹는 그래서 결코, 따라서 tmp의 존재가 제거 될 수 발생하지 않는 lhs 및 rhs의 중간 접속을 알고 같은-경우가 증명되면 tmp가 비어 따라서 노 연산 dtor 있습니다.

Static single assignment 여기서 모든 프리미티브 할당은 메타 데이터가 포함 된 새로운 변수를 만듭니다. 그런 다음 해당 변수에 대한 속성을 증명하고 중복 된 변수를 제거합니다.