#include <stdlib.h>
#include <stdio.h>
#include <string.h>
// Use libExcept (SEH style signal wrapper)
#include "except.hpp"
#ifndef PAGESIZE
#define PAGESIZE 4096
#endif

template <class T, int a>
class Safe
{
void* p;
public:
T* A;
char* prot_page;
Safe()
{
 p = malloc(sizeof(T)*a+2*PAGESIZE-1);
 prot_page = (char *)(((int) p + a*sizeof(T) + PAGESIZE-1) & ~(PAGESIZE-1));
 A =  (T*)((int)prot_page-a*sizeof(T));
 mprotect(prot_page,PAGESIZE,PROT_NONE);
}
~Safe()
{
  mprotect(prot_page,PAGESIZE,PROT_READ | PROT_WRITE);
  free(p);                                                                            
}
};

int main( int argc, char *argv[])
{
int i;
Safe<char,10> X;
  __ExceptLib.SetSystemException(SIGSEGV, AT_HANDLED);
  __try {
      for(i=0;i<20;i++)
         {
          X.A[i]=(char)('A'+i);
          printf("X[%d]=%c\n",i,X.A[i]);
         }
 
     }__except(SysException e){
          printf("Bad index %d\n",i);
     }__end_except;
return 0;                                                                                                                                                                                                                                 
}

"...что нет проверки выхода за границы вектора и т.д. Ответ на подобные
возражения таков: "Вы можете запрограммировать это сами." Давайте посмотрим,
действительно ли оправдан такой ответ. Другими словами, проверим средства
абстракции языка C++, попытавшись реализовать эти возможности для векторных
типов, которые мы создадим сами, и посмотрим, какие с этим связаны трудности,
каких это требует затрат, и насколько получившиеся векторные типы удобны в
обращении.

  class vector {
      int* v;
      int  sz;
  public:
          vector(int);      // конструктор
          ~vector();        // деструктор
      int size() { return sz; }
      void set_size(int);
      int& operator[](int);
      int& elem(int i) { return v[i]; }
  };

Функция size возвращает число элементов вектора, таким образом индексы должны
лежать в диапазоне 0 ... size()-1. Функция set_size сделана для изменения
этого размера, elem обеспечивает доступ к элементам без проверки индекса,
а operator[] дает доступ с проверкой границ.
Идея состоит в том, чтобы класс сам был структурой фиксированного размера,
управляющей доступом к фактической памяти вектора, которая выделяется
конструктором вектора с помощью распределителя свободной памяти new:

  vector::vector(int s)
  {
      if (s<=0) error("плохой размер вектора");
      sz = s;
      v = new int[s];
  }

Теперь вы можете описывать вектора типа vector почти столь же элегантно, как
и вектора, встроенные в сам язык: 

  vector v1(100);
  vector v2(nelem*2-4);

Операцию доступа можно определить как 
  int& vector::operator[](int i)
  {
      if(i<0|sz<=i) error("индекс выходит за границы");
      return v[i];
  }

                                   "Введение в язык С++" Бьярн Страустрап, 1995 г.