typedef T1 difference_type;The signed integer type describes an object that can represent the difference between the addresses of any two
elements in the controlled sequence. It is described here as a synonym for the unspecified type T1 (typically
A::difference_type).