C `initializer_list`에서 요소를 이동할 수 있나요?

의미론 이동 및 초기화_목록

C에서는 초기화_목록 T 유형 값의 임시 시퀀스입니다. 일반적으로 배열 및 기타 컨테이너를 초기화하는 데 사용됩니다. 그러나 질문이 생깁니다. 요소를 초기화 목록 밖으로 이동할 수 있습니까?

다음 코드 조각을 고려하세요.

#include <initializer_list>
#include <utility>

template<typename T>
void foo(std::initializer_list<T> list)
{
    for (auto it = list.begin(); it != list.end(); ++it)
    {
        bar(std::move(*it));   // Allowable?
    }
}

답변:

안타깝게도 초기화_목록에서 요소를 이동하는 중 의도한 대로 작동하지 않습니다. initializer_list가 이동될 때까지 임시 배열을 보유할 것이라는 예상에도 불구하고 여전히 복사본이 생성됩니다.

이러한 차이는 초기화_list::begin() 및 초기화_list ::end()는 const T *를 반환합니다. 제공된 코드에서 이동 결과는 불변 rvalue 참조를 나타내는 T const & &&를 생성합니다. 이러한 표현은 이동할 수 없습니다. 이는 rvalue가 const lvalue 참조에 바인딩되어 복사 의미 체계가 보존되기 때문에 T const & 유형의 함수 매개변수에 바인딩됩니다.

이 제한의 이유는 컴파일러가 초기화_목록 또는 const 초기화_리스트를 사용하여 start() 및 end() 결과의 const 또는 변경 가능 특성과 관련된 사용자의 모호성을 제거합니다.

그럼에도 불구하고 C 표준에 대한 제안된 확장이 제시되었습니다. 이 제한 사항을 해결하고 초기화_목록 이동 전용 유형을 지원합니다. 아직은 개발 초기 단계이지만 앞으로 이 기능을 더욱 탐구하고 채택할 것을 제안합니다.

위 내용은 C `initializer_list`에서 요소를 이동할 수 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!