Vectơ ra khỏi giới hạn mà không đưa ra lỗi

Question

Tôi có một số std::vector. Tôi kiểm tra kích thước của nó là 6 nhưng khi tôi cố gắng truy cập vec[6] để kiểm tra xem nó sẽ cung cấp cho lỗi, tôi nhận được không có lỗi nhưng một số số thay thế. Nó có nên cho lỗi không?

chỉnh sửa: một cái gì đó như:

struct Element 
{ 
    std::vector<double> face; 
}; 

int main() 
{ 
    Element elm; 

    .... // insert 6 elements into elm.face 

    std::cout << elm.face.size() << std::endl; // answer is 6 
    std::cout << elm.face[6] << std::endl; // answer is some number 
} 

Answer 1

Vectơ STL thực hiện các giới hạn kiểm tra khi hàm thành viên .at() được gọi, nhưng do not perform any checks on the [] operator.

Khi ngoài giới hạn, toán tử [] tạo ra kết quả không xác định.

Answer 2

Đó là hành vi không xác định. Hành vi không xác định không nhất thiết có nghĩa là bạn sẽ gặp lỗi: bạn có thể, nhưng thay vào đó bạn có thể nhận được một số kết quả không có ý nghĩa nhiều.

Answer 3

Cấu trúc dữ liệu được lập chỉ mục bắt đầu từ 0, vì vậy nếu bạn đang truy cập vec [6] thì điều này sẽ vượt quá giới hạn. Có thể bạn không gặp lỗi do vấn đề về bộ nhớ; có thể có một cái gì đó có từ mã trước đó bạn đã chạy, hoặc một số lỗi tương tự. Vui lòng đăng mã.

Answer 4

Như đã nêu trong câu trả lời của kgraney, đây là hành vi không xác định. Tuy nhiên, hầu hết các thư viện C++ có một số cơ sở để hủy bỏ, hoặc tăng một ngoại lệ trong các trường hợp như vậy. Thường được kiểm soát bằng cách thiết lập hoặc unsetting macro trình biên dịch cụ thể.

Tôi đã thực hiện một tổng quan về các tài liệu liên quan:

gnu libstdC++

• Debug mode - Thông tin chung về libstdC++ gỡ lỗi
• _GLIBCXX_DEBUG
• _GLIBCXX_CONCEPT_CHECKS, với -fconcepts - cho phép C++ các khái niệm

kêu vang libcxx

• _LIBCPP_DEBUG_LEVEL=1

tăng

• BOOST_DISABLE_ASSERTS - vô hiệu hóa khẳng định trong thư viện boost.

Microsoft

• Checked Iterators
• _ITERATOR_DEBUG_LEVEL - bộ iterator debug mức
• Security Features in the CRT
• _CRT_SECURE_NO_WARNINGS: vô hiệu hóa cảnh báo deprecation

• _SCL_SECURE_NO_WARNINGS - ít an toàn (theo microsoft) , nhưng tuân thủ tiêu chuẩn hơn:

• _SECURE_SCL - phương pháp cũ của thiết iterator debug mức

• _HAS_ITERATOR_DEBUGGING - phản đối vĩ mô

Lưu ý rằng gnu và kêu vang vô hiệu hóa các kiểm tra theo mặc định, trong khi microsoft đã cho họ được kích hoạt theo mặc định. Nếu bạn không biết điều này, mã của bạn có thể chạy chậm hơn đáng kể trong chế độ gỡ lỗi trên hệ thống microsoft.