42class pvector :
public std::vector<Type, pallocator_array<Type> > {
45 typedef std::vector<Type, allocator> base_class;
46 typedef typename base_class::size_type size_type;
51 explicit pvector(size_type n,
TypeHandle type_handle = pvector_type_handle) : base_class(n, Type(),
allocator(type_handle)) { }
52 explicit pvector(size_type n,
const Type &value,
TypeHandle type_handle = pvector_type_handle) : base_class(n, value,
allocator(type_handle)) { }
53 pvector(
const Type *begin,
const Type *end,
TypeHandle type_handle = pvector_type_handle) : base_class(begin, end,
allocator(type_handle)) { }
56 base_class::operator =(copy);
61 base_class::operator =(std::move(from));