Examining allocator type properties

Understanding C++ allocator type properties and template specialization

This is a hard C++ question that tests deep knowledge of allocator semantics, type traits, and how the standard library reasons about memory allocation at compile time. It rewards familiarity with the allocator concept and the machinery that modern C++ uses to customize container behaviour.

Solving it requires you to trace through template instantiation, understand what properties an allocator exposes, and predict how the compiler will match and specialize templates based on those properties. You'll need to reason carefully about type equality, member type definitions, and how standard library utilities inspect and compare allocator types.

• Allocator concept and named requirements
• Type traits and std::allocator_traits
• Template specialization and SFINAE
• Compile-time type inspection and comparison