Добавление указателей со значением типа size_t

class CheckPointer {
public:
CheckPointer(int * mbeg, int * mend) :
beg(mbeg), end(mend), curr(mbeg) {}

// subscript operator
int & operator[] (const size_t pos) {
if (beg + pos < beg) {
throw out_of_range("ERR: before beg!");
}
if (beg + pos >= end)
throw out_of_range("ERR: end or past end!");
return *(const_cast<int *>(beg + pos));
}
private:
const int * beg;
const int * end;
int * curr;
};

Я определил оператор индекса для класса CheckPointer. Поскольку @param pos имеет тип size_t, я не могу проверить, передал ли пользователь положительное или отрицательное значение. Однако я пытаюсь написать код для проверки границ, и он работает:

        if (beg + pos < beg) {
throw out_of_range("ERR: before beg!");
}

Я не знаю, почему это работает … Кто-нибудь может мне помочь?

Спасибо за рассмотрение моего вопроса!

Для дополнительной информации:

Окружение: затмение CDT, Ubuntu 10.04

тест-код:

int iarr[6] = {1, 2, 3, 4, 5, 6};
CheckPointer cp(iarr, iarr+6);
// subscript
cout << cp[2] << endl;
cout << cp[5] << endl;
cout << cp[-2] << endl; // error: before beg

тест-code_output:

terminate called after throwing an instance of 'std::out_of_range'
what():  ERR: before beg!
3
6