The template function evaluates *(_Dest + N) = *(_First + N)) once for each N in the range [0, _Count), for strictly increasing values of N starting with the lowest value. It then returns _Dest + N. If _Dest and _First designate regions of storage, _Dest must not be in the range [_First, _Last).