alleine schon dass die stl-container zwei elementszugriffsoperatoren ([] und at) bereitstellen, zeigt doch dass die bereichsprüfung nicht ganz ohne ist. kann man die bereichsprüfung nicht mittels templatemetaprogrammierung machen? ich habe es mir etwa so vorgestellt:

template<std::size_t index, std::size_t range>
class range_check
{
  range_check();
public:
  static bool in_range = index < range;
};

template<typename T>
T& container<T>::operator[] (std::size_t index)
{
  if(range_check<index, this->lenght()>
    throw out_of_range;
  return this->memory[index];
}

if(range_check<index, this->lenght()>

Das läuft nicht, weil weder length() noch index Compilezeit-Konstanten sind.

Aber es gibt Fälle, wo das gehen könnte. Z.B. für Matrizen oder Vektoren, die eine zur Compilezeit bekannte Größe haben. Dazu noch Loop-Unroll und ab geht der Peter.

dann ist in diesem Bereich der Index eine Compilezeitkonstante

Nein, es handelt sich im C++-Sinne immer noch nicht um einen konstanten Ausdruck. Deshalb kann man ihn auch nicht zur Kompilierzeit prüfen.

Ansonsten müsste man die Compilezeit-Konstante über den Aufruf hinweg bewahren, was nur mit Templates geht.

template <typename T, unsigned int N>
class Array
{
    public:
        template <unsigned int I>
        T& Get();
};