Template:cpp/container/dsc allocator type