phạm vi và C++ con trỏ

Question

Tôi có đoạn mã sau:

using namespace std; 
vector<string*> v; 
{ 
    string s = "hello"; 
    v.push_back(&s); 
} 
{ 
    string ss = "goodbye"; 
    v.push_back(&ss); 
} 

cout << v.at(0)->c_str() << endl; 
cout << v.at(1)->c_str() << endl; 

mà in

goodbye 
goodbye 

nếu tôi loại bỏ các phạm vi dấu ngoặc đơn mã sẽ in

hello 
goodbye 

Chính xác những gì sẽ xảy ra khi Tôi rời khỏi phạm vi đầu tiên, mà con trỏ đến chuỗi đầu tiên bây giờ trỏ đến một thứ hai?

Answer 1

Con trỏ được lưu trữ trở thành con trỏ lơ lửng sau phạm vi và bất kỳ nỗ lực nào để đọc những gì chúng trỏ đến để mang lại hành vi không xác định.

Answer 2

Điều gì xảy ra có hành vi không xác định, vì s nằm ngoài phạm vi tại thời điểm bạn tham chiếu trong cuộc gọi tới nhà điều hành cout<<.

Nó không sụp đổ vì s và ssxảy ra để có cùng địa chỉ với kiến ​​trúc cụ thể của bạn và việc triển khai C++. Nói cách khác, những người khác cố gắng sao chép thử nghiệm của bạn trên các kiến ​​trúc khác hoặc với các trình biên dịch khác có thể sẽ nhận được các kết quả khác nhau.

Answer 3

Bạn đang dereferencing hai con trỏ tới hai đối tượng đã bị hủy: đây là hành vi không xác định. Mọi thứ đều có thể xảy ra ở đây.

Answer 4

Trong thực tế, hệ thống đang sử dụng lại bộ nhớ được sử dụng cho chuỗi s để giữ chuỗi ss. Nhưng điều này chỉ xảy ra là trình biên dịch đang quản lý bộ nhớ như thế nào; theo tiêu chuẩn C++ bạn không thể dựa vào bất kỳ hành vi nào như vậy và kết quả thực tế của mã bạn đã đăng là không xác định.