Tài liệu tham khảo liên tục trong Vùng chứa STL

Question

Khi sử dụng vùng chứa C++ STL, trong điều kiện nào phải tham chiếu giá trị được truy cập? Ví dụ: có bất kỳ tham chiếu nào bị vô hiệu sau khi cuộc gọi hàm tiếp theo tới vùng chứa không?

{ 
std::vector<int> vector; 
vector.push_back (1); 
vector.push_back (2); 
vector.push_back (3); 

vector[0] = 10;  //modifies 0'th element 

int& ref = vector[0]; 
ref = 10;    //modifies 0'th element 

vector.push_back (4); 
ref = 20;    //modifies 0'th element??? 

vector.clear(); 
ref = 30;    //clearly obsurd 
} 

Tôi hiểu rằng trong hầu hết các triển khai của stl, điều này sẽ hiệu quả, nhưng tôi quan tâm đến những tuyên bố tiêu chuẩn yêu cầu. Im --edit: Im quan tâm vì tôi muốn thử thư viện STXXL (http://stxxl.sourceforge.net/) cho C++, nhưng tôi nhận ra rằng các tham chiếu được trả về bởi các thùng chứa không liên tục qua nhiều lần đọc, và do đó không tương thích mà không thực hiện thay đổi (Tuy nhiên bề ngoài) với mã stl hiện tại của tôi. Một ví dụ:

{ 
std::vector<int> vector; 
vector.push_back (1); 
vector.push_back (2); 


int& refA = vector[0]; 
int& refB = vector[1]; //refA is not gaurenteed to be valid anymore 
} 

Tôi chỉ muốn biết nếu điều này có nghĩa là container STXXL nơi tương thích không phải là 100%, hoặc thực sự nếu tôi đã sử dụng STL container một cách phụ thuộc không an toàn/thực hiện trong suốt thời gian.

Answer 1

Về chèn vào vector, tiêu chuẩn nói trong 23.2.4.3/1:

[insert()] gây tái phân bổ nếu kích thước mới lớn hơn công suất cũ . Nếu không có sự tái phân bổ xảy ra, tất cả các vòng lặp và tham chiếu trước khi điểm chèn vẫn giữ nguyên là .

(Mặc dù điều này trên thực tế này nói về insert(), Bảng 68 chỉ ra rằng a.push_back(x) phải tương đương với a.insert(a.end(), x) cho bất kỳ vector a và giá trị so x.) Điều này có nghĩa là nếu bạn reserve() đủ bộ nhớ trước, thì (và chỉ sau đó) trình vòng lặp và tham chiếu được đảm bảo không bị vô hiệu khi bạn insert() hoặc push_back() mục khác.

Về mục gỡ bỏ, 23.2.4.3/3 nói:

[erase()] làm mất hiệu lực tất cả các lặp và tài liệu tham khảo sau khi điểm của xóa.

Theo Bảng 68 và Bảng 67 tương ứng, pop_back() và clear() tương đương với các cuộc gọi thích hợp tới erase().

Answer 2

Tôi hy vọng rằng tham chiếu sẽ bị vô hiệu hóa chỉ bởi bất kỳ rõ ràng hoặc ngụ ý resize() (xem thêm các phương pháp max_size, capacity và reserve).

Answer 3

Vector sẽ vô hiệu hóa trình lặp và tham chiếu của nó khi nó phân bổ lại, phụ thuộc vào khả năng hiện tại của nó. Mặc dù mã trên có thể hoạt động trong một số trường hợp, bạn không nên dựa vào điều này vì tham chiếu có thể bị vô hiệu sau cuộc gọi push_back (4).

Answer 4

Một số quy tắc cơ bản cho vector:

• Tái phân bổ làm mất hiệu lực tất cả các tài liệu tham khảo , con trỏ, và lặp cho các yếu tố của vectơ.
• Insertions có thể tham chiếu không hợp lệ, con trỏ và trình lặp.
• Chèn hoặc xóa các phần tử làm mất hiệu lực tham chiếu, con trỏ và trình lặp tham chiếu đến các yếu tố sau .
• Nếu chèn gây ra phân bổ lại, nó sẽ vô hiệu hóa tất cả các tham chiếu, trình lặp và con trỏ.