Do any vector implementations & allocators actually do this though?
As far as "has anyone implemented this?" -- I don't know.