Итератор - это все, что ведет себя как итератор. Тогда аллокатор - это все, что ведет себя как аллокатор:D Как понятно выше, я не полностью разобралась с этими плюсовыми аллигаторами. С итератором как будто понятно: делаем указатель и перегружаем математические операции (т.е. даем стандартным +, -, ++, -- работать с нашим итератором). Непонятно только зачем это делать, если указатели и без отдельного класса нормально работали. Единственное объяснение для себя - чтобы не путаться, постоянно прописывая длинную цепочку. Обозвал итератором переменную и красота. Хотя для подобной же цели есть ключевое слово auto, с ним вообще шедеврально получается...