The declaration of reverse_iterator lists a default constructor. However, no specification is given what this constructor should do.