[Boost-users] std::vector and default constructor