[allocator.requirements.completeness] (original) (raw)
16 Library introduction [library]
16.4 Library-wide requirements [requirements]
16.4.4 Requirements on types and expressions [utility.requirements]
16.4.4.6 Cpp17Allocator requirements [allocator.requirements]
16.4.4.6.2 Allocator completeness requirements [allocator.requirements.completeness]
If X is an allocator class for type T,X additionally meets the allocator completeness requirements if, whether or not T is a complete type:
- (1.1)
X is a complete type, and - (1.2)
all the member types of allocator_traits other than value_type are complete types.