arv fra template argument

Jeg har aldrig set den brugt.

Måske kunne man bruge det til at tilføje noget funktionalitet til mange
forskellige klasser.

Ikke særligt pænt OOP. Men nærmest AOP.

Man kunne bruge det hvis T i sig selv er en template class, f.ex:

#include <vector>
#include <iostream>
#include <assert.h>

template <class T>
class SafeVector : public T
{
public:
  T::reference operator [] (T::size_type n)
  {
      assert(n >= 0 && n < size());
      return T::operator [] (n);
  }
};

int main()
{
  SafeVector<std::vector<int> > MyVector;
  MyVector.push_back(12);
  MyVector.push_back(13);
  MyVector.push_back(14);
  for(int i = 0; i <= 3; i ++)
  {
      std::cout << MyVector[i] << std::endl;
  }
}