Showing content from https://timsong-cpp.github.io/cppwp/n4140/allocator.requirements below:
[allocator.requirements]
Expression Return type Assertion/note Default pre-/post-condition X::pointer T* X::const_pointer X::pointer is convertible to X::const_pointer pointer_traits<X::pointer>::rebind<const T> X::void_pointer
Y::void_pointer X::pointer is convertible to X::void_pointer. X::void_pointer and Y::void_pointer are the same type. pointer_traits<X::pointer>::rebind<void> X::const_void_pointer
Y::const_void_pointer X::pointer, X::const_pointer, and X::void_pointer are convertible to X::const_void_pointer. X::const_void_pointer and Y::const_void_pointer are the same type. pointer_traits<X::pointer>::rebind<const void> X::value_type Identical to T X::size_type unsigned integer type a type that can represent the size of the largest object in the allocation model. make_unsigned_t<X::difference_type> X::difference_type signed integer type a type that can represent the difference between any two pointers in the allocation model. pointer_traits<X::pointer>::difference_type typename X::template rebind<U>::other Y For all U (including T), Y::template rebind<T>::other is X. See Note A, below. *p T& *q const T& *q refers to the same object as *p p->m type of T::m pre: (*p).m is well-defined. equivalent to (*p).m q->m type of T::m pre: (*q).m is well-defined. equivalent to (*q).m static_- cast<X::pointer>(w) X::pointer static_cast<X::pointer>(w) == p static_cast<X ::const_pointer>(z) X::const_pointer static_cast<X ::const_pointer>(z) == q a.allocate(n) X::pointer Memory is allocated for n objects of type T but objects are not constructed. allocate may raise an appropriate exception.181 [ Note: If n == 0, the return value is unspecified. — end note ] a.allocate(n, u) X::pointer Same as a.allocate(n). The use of u is unspecified, but it is intended as an aid to locality. a.allocate(n) a.deallocate(p,n) (not used) All n T objects in the area pointed to by p shall be destroyed prior to this call. n shall match the value passed to allocate to obtain this memory. Does not throw exceptions. [ Note: p shall not be singular. — end note ] a.max_size() X::size_type the largest value that can meaningfully be passed to X::allocate() numeric_limits<size_type>::max() a1 == a2 bool returns true only if storage allocated from each can be deallocated via the other. operator== shall be reflexive, symmetric, and transitive, and shall not exit via an exception. a1 != a2 bool same as !(a1 == a2) a == b bool same as a == Y::rebind<T>::other(b) a != b bool same as !(a == b) X a1(a);
X a1 = a; Shall not exit via an exception.
post: a1 == a X a(b); Shall not exit via an exception.
post: Y(a) == b, a == X(b) X a1(move(a));
X a1 = move(a); Shall not exit via an exception.
post: a1 equals the prior value of a. X a(move(b)); Shall not exit via an exception.
post: a equals the prior value of X(b). a.construct(c, args) (not used) Effect: Constructs an object of type C at c ::new ((void*)c) C(forward<Args>(args)...) a.destroy(c) (not used) Effect: Destroys the object at c c->~C() a.select_on_container_copy_construction() X Typically returns either a or X() return a; X::propagate_on_container_copy_assignment Identical to or derived from true_type or false_type true_type only if an allocator of type X should be copied when the client container is copy-assigned. false_type X::propagate_on_container_move_assignment Identical to or derived from true_type or false_type true_type only if an allocator of type X should be moved when the client container is move-assigned. false_type X::propagate_on_- container_swap Identical to or derived from true_type or false_type true_type only if an allocator of type X should be swapped when the client container is swapped. false_type
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4