Default constructor, and constant iterator