ちなみに、最近の gcc ではコンパイル時に -D_GLIBCXX_DEBUG
オプションを指定しておくと、実行時に boudary check を行うコードを追加してくれます。
====
x.cc
====
#include <iostream>
#include <iterator>
#include <array>
using namespace std;
int main () {
std::array<int, 4> p;
p[0] = 'a'; p[1] = 'b'; p[2] = 'c'; p[3] = 'd'; p[4] = 'e'; p[5] = 'f';
std::copy(p.begin(), p.begin()+6, std::ostream_iterator<char>(std::cout));
std::cout << "\n";
}
$ g++ --version
g++ (Ubuntu 7.3.0-16ubuntu3) 7.3.0
$ g++ -o x x.cc && ./x
abcdef
## Define _GLIBCXX_DEBUG
$ g++ -D_GLIBCXX_DEBUG -o x x.cc && ./x
/usr/include/c++/7/debug/array:155:
Error: attempt to subscript container with out-of-bounds index 4, but
container only holds 4 elements.
Objects involved in the operation:
sequence "this" @ 0x0x7fff151c6a10 {
type = std::__debug::array<int, 4ul>;
}
Aborted (core dumped)
その他に、cppcheck - tool for static C/C++ code analysis というツールがあります。
$ cppcheck x.cc
Checking x.cc ...
[x.cc:10]: (error) Array 'p[4]' accessed at index 4, which is out of bounds.
[x.cc:10]: (error) Array 'p[4]' accessed at index 5, which is out of bounds.