I have written a simple C++11 style stateful allocator type. Given
template class my_allocator { // the usual stuff }; template
Hmm, I think your only option here is full copy like:
std::vector y( x.begin(), x.end());