Lặp lại trên unique_ptr không tham chiếu, có chứa vectơ, trong vòng lặp phạm vi

Question

Tại sao mã này không hoạt động như tôi nghĩ?

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

Đối tượng vector bị phá hủy trước khi thực hiện phiên đầu tiên của vòng lặp

Answer 1

Các range-based for loop tương đương với:

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

Đối range_expression của bạn, nó sẽ là

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

Nhưng

Nếu range_expression trả về một tạm thời, tuổi thọ của pin được kéo dài cho đến khi kết thúc vòng lặp, như được chỉ ra bằng cách gắn vào các tài liệu tham khảo rvalue __range, nhưng hãy cẩn thận rằng tuổi thọ của bất kỳ tạm thời trong vòng range_expression không được gia hạn.

Trả lại số std::make_unique trả về là tạm thời std::unique_ptr, sau khi biểu hiện đầy đủ, nó sẽ bị hủy. Điều đó có nghĩa là std::vector được quản lý bởi nó cũng sẽ bị hủy; mặc dù số std::vector nhận được từ số std::unique_ptr tạm thời bị ràng buộc với tham chiếu chuyển tiếp, thời gian tồn tại của nó sẽ không được kéo dài.

Từ C++ 20 bạn có thể làm việc xung quanh bằng cách sử dụng init-statement; chẳng hạn như

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;