Index: src/zone/zone-containers.h |
diff --git a/src/zone/zone-containers.h b/src/zone/zone-containers.h |
index 0aecd98e5043909f7a306c384b3b3aee34fe037d..7a53d4b25950c2fce7613e5cd22ab534cf0b8fe8 100644 |
--- a/src/zone/zone-containers.h |
+++ b/src/zone/zone-containers.h |
@@ -36,6 +36,13 @@ class ZoneVector : public std::vector<T, zone_allocator<T>> { |
// having the value {def}. |
ZoneVector(size_t size, T def, Zone* zone) |
: std::vector<T, zone_allocator<T>>(size, def, zone_allocator<T>(zone)) {} |
+ |
+ // Constructs a new vector and fills it with the contents of the range |
+ // [first, last). |
+ template <class InputIt> |
+ ZoneVector(InputIt first, InputIt last, Zone* zone) |
+ : std::vector<T, zone_allocator<T>>(first, last, |
+ zone_allocator<T>(zone)) {} |
}; |
// A wrapper subclass std::deque to make it easy to construct one |