23   DetachableVector() : vector_(nullptr) {}  in DetachableVector()
25   ~DetachableVector() { delete vector_; }  in ~DetachableVector()  local
29     vector_->push_back(value);  in push_back()
34     delete vector_;  in free()  local
35     vector_ = nullptr;  in free()
39   void detach() { vector_ = nullptr; }  in detach()
41   T& at(typename std::vector<T>::size_type i) const { return vector_->at(i); }  in at()
43   T& back() const { return vector_->back(); }  in back()
45   T& front() const { return vector_->front(); }  in front()
47   void pop_back() { vector_->pop_back(); }  in pop_back()
50     if (vector_) return vector_->size();  in size()
55     if (vector_) return vector_->empty();  in empty()
60   std::vector<T>* vector_;
64     if (vector_ == nullptr) {  in ensureAttached()
65       vector_ = new std::vector<T>();  in ensureAttached()