g++中用于检查数组索引的任何调试标志

Question

我在debug中用g++ (g++ - g3 main.cpp)和VisualStudio 2013 ( VS )构建了下面的程序，mode.When运行-VS退出，断言抱怨索引范围问题，但在Ubuntu13.10下的g++版本运行良好，并打印vi11 = 11。

我理解- C++标准没有为我的情况指定行为，但在我的情况下警告或崩溃将是很好的。

在构建过程中，在gcc(或clang)中是否有启用数组索引越界检查的标志？如果没有，有什么好的分析工具吗？

int main() { 
    vector<int> vi(8); 
    vi.push_back(1); 
    vi.push_back(2); 

    vi[11] = 11; 
    std::cout << "Vi[11]=" << vi[11] << std::endl; 

    return 0; 
}

Answer 1

有一个很好的边界检查工具:关于gcc的http://cppcheck.sourceforge.net/，-Warray-bounds标志可能会有所帮助。