template<class T, class Resize = ResizeExpn>
Insert all the elements from another vector at position pos.
Elements in this vector from pos onward are shifted v.length() spaces to the right. The element's copy constructor is used to copy the items into this vector. The other vector is left unchanged. If pos is off the end of the vector, then undefined behaviour results. If pos is negative then it is treated as an offset relative to the length of the vector. Equivalent to vector.insert(pos, other.data, other.length()).