pop_back function for vector on CppRuntime_Clang

source/stdcpp/allocator.d

@@ -205,6 +205,11 @@ extern(D):
 
         ///
         enum size_t max_size = size_t.max / T.sizeof;
+
+        void __destroy(pointer __p)
+        {
+            destroy!false(__p);
+        }
     }
     else
     {
@@ -266,6 +271,11 @@ struct allocator_traits(Alloc)
         else
             return a;
     }
+
+    static void Destroy(ref Alloc alloc, pointer __p)
+    {
+        alloc.__destroy(__p);
+    }
 }
 
 private:

source/stdcpp/test/vector.d

@@ -104,5 +104,11 @@ else version (CppRuntime_Clang)
         vec3.swap(vec);
         assert(vec3.size == 9); // after swap
         assert(vec.size == 7);
+        vec.pop_back();
+        assert(vec.size == 6);
+        vec.pop_back();
+        assert(vec.size == 5);
+        vec.pop_back();
+        assert(vec.size == 4);
     }
 }

source/stdcpp/vector.d

@@ -843,10 +843,6 @@ extern(D):
     }
     else version (CppRuntime_Clang)
     {
-        pointer __begin_ =  null;
-        pointer __end_ = null;
-        auto __end_cap_ = __compressed_pair!(pointer, allocator_type)(null, __default_init_tag());
-
         inout(T)[] as_array() inout pure nothrow @trusted @nogc         {return this.__begin_[0 .. size()];}
 
         inout(value_type)* data() inout nothrow
@@ -908,6 +904,36 @@ extern(D):
         }
         ///
         extern(C++) void swap(ref vector x);
+        ///
+        void pop_back()
+        {
+            assert(!empty(), "vector.pop_back called on an empty container");
+            this.__destruct_at_end(this.__end_ -1);
+        }
+
+    private:
+        pointer __begin_ =  null;
+        pointer __end_ = null;
+        auto __end_cap_ = __compressed_pair!(pointer, allocator_type)(null, __default_init_tag());
+
+        extern(C++) ref inout(allocator_type) __alloc() inout nothrow
+        {
+            return this.__end_cap_.second();
+        }
+
+        void __base_destruct_at_end(pointer __new_last) nothrow
+        {
+            pointer __soon_to_be_end = this.__end_;
+            while (__new_last != __soon_to_be_end)
+                allocator_traits!(Alloc).Destroy(__alloc(), --__soon_to_be_end);
+            this.__end_ = __new_last;
+        }
+
+        void __destruct_at_end(pointer __new_last) nothrow
+        {
+            __base_destruct_at_end(__new_last);
+         // Todo: add an ASAN annotations usage of unused capacity
+        }
     }
 }