I am curious though: what construction/destruction policies do you have in mind beyond the default allocator's use of placement new to invoke a constructor for the construct member function and the invocation of the destructor for the destroy member function?