vectơ xóa unique_ptr?

Question

Tôi gặp vấn đề với một segfault mà tôi không thể tìm ra. Đó là từ số EntityManager cho một công cụ trò chơi nhỏ mà tôi đang thực hiện. Tôi có thể thêm Ship Entity và Tàu có thể thêm 1 Bullet Entity, nhưng nó sẽ phân cách nếu tôi cố gắng thêm nhiều hơn 1 Bullet. Tôi đã cố gắng để figgure này ra cho ngày hôm qua bây giờ. Dưới đây là một trích đoạn nhỏ từ mã thực tế.

#include <vector> 
#include <memory> 

struct EntityManager; 
struct Entity { 
    Entity(EntityManager* manager) : manager(manager) { } 
    virtual ~Entity() { } 
    virtual void update() = 0; 

    EntityManager* manager; 
}; 
struct EntityManager { 
    void update() { 
     for (auto& entity : entities) { 
      entity->update(); 
     } 
    } 
    void add(Entity* e) { 
     entities.emplace_back(e); 
    } 
    std::vector<std::unique_ptr<Entity>> entities; 
}; 
struct Bullet : public Entity { 
    Bullet(EntityManager* manager) : Entity(manager) { printf("Bullet ctor\n"); } 

    virtual void update() override { } 
}; 
struct Ship : public Entity { 
    Ship(EntityManager* manager) : Entity(manager) { } 

    virtual void update() override { 
     printf("Adding Bullet\n"); 
     manager->add(new Bullet(manager)); 
    } 
}; 
int main() { 
    EntityManager manager; 
    manager.add(new Ship(&manager)); 

    int loops{0}; 
    while (loops < 100) { 
     manager.update(); 
     loops++; 
     printf("Completed Loop #%d\n", loops); 
    } 
    return 0; 
} 

Trong mã thực tế, mọi thứ đều nằm trong tệp .h/.cpp của riêng chúng và các lớp thay vì cấu trúc, nhưng vấn đề thì giống nhau. Kết quả là `Thêm Bullet // Bullet ctor // Hoàn Vòng # 1 // Thêm Bullet // Bullet ctor // Signal: SIGSEGV (lỗi Segmentation)

Các segfault xảy ra trong EntityManager::update() trên dòng entity->update();.

Answer 1

Vấn đề là vòng lặp này sẽ thay đổi vector:

for (auto& entity : entities) { 
     entity->update(); 
    } 

Bạn đang bận rộn iterating qua nó khi bạn sửa đổi vector để thêm một yếu tố mới, mà làm mất hiệu lực lặp được sử dụng để đi qua các thùng chứa.

Phạm vi dựa trên for vòng lặp được mở rộng bởi trình biên dịch để:

auto begin = entities.begin(), end = entities.end(); 
for (; begin != end; ++begin) 
    begin->update(); 

Các cuộc gọi đến begin->update() thêm một yếu tố mới để vector, mà làm mất hiệu lực tất cả các vòng lặp vào container, do đó ++begin là hành vi không xác định . Trong điều khoản thực tế, begin không còn trỏ vào vectơ nữa (vì nó đã phân bổ lại và giải phóng bộ nhớ cũ mà begin trỏ tới).

Để làm điều đó một cách an toàn có thể bạn muốn sử dụng chỉ số không lặp:

for (size_t i = 0, size = entities.size(); i != size; ++i) 
    entities[i].update(); 

này ghi lại kích thước vào lúc bắt đầu của vòng lặp và vì vậy chỉ lặp lên đến yếu tố cuối cùng mà tồn tại khi vòng lặp bắt đầu, vì vậy các yếu tố mới được thêm vào cuối sẽ không được truy cập.

Điều này vẫn hoạt động khi vectơ được sửa đổi bởi vì bạn không lưu trữ các trình vòng lặp hoặc con trỏ tới các phần tử, chỉ một chỉ mục. Miễn là bạn không loại bỏ các phần tử khỏi vectơ thì chỉ mục vẫn còn hợp lệ ngay cả sau khi chèn các phần tử mới.