범위 루프 용 벡터가 포함 된 참조 해제 된 unique_ptr을 반복합니다.

Question

왜이 코드는 내가 예상 한대로 작동하지 않습니까?

for (auto it: *std::make_unique<std::vector<int>>(std::vector<int>({1, 2, 3, 4, 5}))) 
    std::cout << it << std::endl; 

벡터 객체가 루프의 첫 번째 반복을 실행하기 전에 파괴

Answer 1

range-based for loop 추가하는 것과 같습니다 range_expression를 들어

{ 
    init-statement 
    auto && __range = range_expression ; 
    ... 
} 

, 그것은 것

auto && __range = *std::make_unique<std::vector<int>>(std::vector<int>({1, 2, 3, 4, 5})); 

하지만

0 임시을 반환 range_expression가 수명이 r- 수치 참조 __range 결합으로 나타낸 바와 같이, 루프의 단부까지 연장하지만, range_expression 내의 임시의 수명이 연장되지 않도록 조심 경우

.

무엇 std::make_unique 수익률은 파괴됩니다 전체 표현 후, 임시 std::unique_ptr이다. 즉, 그곳에서 관리되는 std::vector도 파괴 될 것입니다. 임시 std::unique_ptr에서 가져온 std::vector이 전달 참조에 바인딩되어 있지만 수명이 연장되지 않습니다.

C++ 20에서 init-statement를 사용하면 해결할 수 있습니다.

for (auto p = std::make_unique<std::vector<int>>(std::vector<int>({1, 2, 3, 4, 5})); auto it : *p) 
    std::cout << it << std::endl;