Bounds kiểm tra std :: vector (và các container khác) trong clang?

Question

Trong clang, có cách nào để bật kiểm tra giới hạn cho truy cập [] tới std :: vectơ và các vùng chứa STL khác, tốt nhất là khi chỉ xây dựng ở chế độ gỡ lỗi?

Tôi vừa bỏ ra hàng giờ để tìm kiếm một lỗi nhỏ mà hóa ra là do chúng tôi truy cập vào phần cuối của một std :: vector. Nó không cần phải làm bất cứ điều gì thông minh khi nó phát hiện lỗi, chỉ cần bẫy trong trình gỡ lỗi để tôi có thể tìm ra nơi nó xảy ra và sửa chữa nó trong mã.

Có cách nào để thực hiện việc này ngoài cách "tạo loại của riêng bạn mà kế thừa từ std :: vector" mà tôi muốn tránh không?

(Tôi đang sử dụng phiên bản kêu vang 3.1 nếu mà làm cho một sự khác biệt.)

Answer 1

#define _GLIBCXX_DEBUG 

Điều này cho phép tất cả các loại nội tuyến kiểm tra (xem vector và debug/vector)

Answer 2

Nếu bạn đang sử dụng Linux hoặc OS X, bạn nên nhìn vào địa chỉ khử trùng:

http://clang.llvm.org/docs/AddressSanitizer.html

Nó giới thiệu một sự suy giảm 2x, nhưng thực hiện một loạt các bộ nhớ kiểm tra và có thể bắt lỗi của bạn.

Một công cụ tuyệt vời khác đã tiết kiệm cho tôi vô số lần là valgrind. Nếu bạn có thể chạy với valgrind nó sẽ bắt một tấn lỗi bộ nhớ và rò rỉ.

Answer 3

libstdc++ có độ tuổi debug mode trưởng thành sử dụng -D_GLIBCXX_DEBUG.

libc++ cũng có một debug mode sử dụng -D_LIBCPP_DEBUG nhưng như chúng ta có thể nhìn thấy danh sách gửi thư này discussion: Status of the libc++ debug mode nó là không đầy đủ:

| My understanding is that this work was never completed and it's probably broken/incomplete.

That is correct. It’s on my list of things to fix/implement, but it’s not something that I will get to anytime soon.

Nó dường như làm việc cho std::vector trên 3.4 và lên see it live, cung cấp cho các chương trình sau đây:

#include <vector> 
#include <iostream> 

int main() 
{ 
    std::vector<int> v = {0,1,2,3} ; 

    std::cout << v[-1] << std::endl ; 
} 

nó tạo ra lỗi sau:

vector[] index out of bounds

Aborted