Khi đối tượng RAII không thể xây dựng

Question

Giả sử tôi xây dựng đối tượng RAII và đối tượng đó có thể không xây dựng được. Làm cách nào để xử lý việc này?

try { 
    std::vector<int> v(LOTS); 
    // try scope ends here because that's what the catch is for 
} catch(const std::bad_alloc&) { 
    // ... 
} 
// v? what v? 

Đã cấp, hàm tạo mặc định là std::vector sẽ không ném và có thể giúp, nhưng đây không phải là trường hợp chung. Một nhà xây dựng có thể ném rất tốt. Nếu tôi muốn xử lý bất kỳ lỗi mua lại tài nguyên nào, làm cách nào để thực hiện điều đó trong khi vẫn có thể tiếp tục nếu nó không ném?

Chỉnh sửa: Để làm rõ, vấn đề của tôi là nếu tài nguyên không đạt được thì tôi có thể muốn thử lại, v.v. Có lẽ tôi có thể thử mua một nguồn tài nguyên thay thế.

Answer 1

Phụ thuộc ý bạn là "tiến hành". Bất kỳ hoạt động nào đòi hỏi tài nguyên sẽ thất bại: đó là những gì "yêu cầu" có nghĩa là. Vì vậy, khi bạn muốn tiếp tục sau khi một lỗi, bạn có thể kết thúc việc viết mã như thế này:

void something_using_RAII(thingummy &t) { 
    vector<int> v(t.size_required); 
    // do something using v 
} 

... 

for each thingummy { 
    try { 
     something_using_RAII(this_thingummy); 
    } catch(const std::bad_alloc &) { 
     std::cerr << "can't manage that one, sorry\n"; 
    } 
} 

Đó là lý do tại sao bạn chỉ nên bắt ngoại lệ khi có điều gì đó đáng giá bạn có thể làm với họ (trong trường hợp này, suy báo cáo và chuyển sang điều tiếp theo).

Nếu bạn muốn thử một lần nữa trên thất bại, nhưng chỉ khi các nhà xây dựng thất bại, không nếu bất cứ điều gì khác không:

while(not bored of trying) { 
    bool constructor_failed = true; 
    try { 
     vector<int> v(LOTS); 
     constructor_failed = false; 
     // use v 
    } catch(...) { 
     if (!constructor_failed) throw; 
    } 
} 

Đây là nhiều hay ít như thế nào std::new_handler công trình - xử lý được gọi trong điều khoản bắt của một vòng lặp tương tự, mặc dù không cần cờ.

Nếu bạn muốn thử một nguồn tài nguyên khác nhau về thất bại:

try { 
    vector<int> v(LOTS); 
    // use v 
} catch(...) try { 
    otherthing<int> w(LOTS); 
    // use w 
} catch(...) { 
    // failed 
} 

Nếu "sử dụng v" và "sử dụng w" về cơ bản cùng mã, sau đó cấu trúc lại thành một hàm và gọi nó từ cả hai nơi. Chức năng của bạn đang hoạt động khá nhiều vào thời điểm này.

Answer 2

Nếu một hàm tạo RAII ném, tất cả các tài nguyên được liên kết với đối tượng RAII trước điểm ném sẽ được làm sạch đúng cách. Các quy tắc C++ được thiết kế hợp lý để đảm bảo điều đó.

Nếu số máy xây dựng v của bạn ném vì bad_alloc thì bất kỳ đối tượng RAII nào được tạo trước v trong khối try sẽ được dọn dẹp đúng cách.

Vì vậy, nếu bạn sử dụng RAII, bạn không cần hướng dẫn sử dụng try/catch như vậy, vì các đối tượng RAII xử lý việc dọn dẹp cho bạn. Nếu bạn làm cần vì lý do nào đó, trong trường hợp trên, bạn có thể sử dụng hoán đổi như sau.

std::vector<int> v; 
try { 
    std::vector<int> vtry(LOTS); 
    v.swap(vtry); // no-throw 
} catch(const std::bad_alloc&) { 
    // ... 
} 
// v! 

Answer 3

Nếu không thể tạo v, tất cả mã cố gắng sử dụng v không thể thực hiện được. Di chuyển mã catch sau mã mà mã sử dụng v, ở nơi hợp lý để tiếp tục thực hiện nếu không có v.

Answer 4

Tất cả mã sử dụng v cần phải nằm trong khối thử.Nếu câu hỏi là làm cách nào để thu hẹp mã đã ném ngoại lệ, bạn có thể sử dụng một số loại cờ để chỉ ra vị trí trong khối thử, như sau:

string flag; 
try 
{ 
    flag = "creating vector<int> v"; 
    std::vector<int> v(LOTS); 

    flag = "performing blaggity bloop"; 
    blaggity_bloop(); 

    flag = "doing some other stuff"; 
    some_other_stuff(); 
} 
catch(const std::bad_alloc&) 
{ 
    cerr << "Bad allocation while " << flag << endl; 
}