[#BloombergLP-bslma-AllocatorTraits_IsAlwaysEqual-0a]
= xref:BloombergLP.adoc[BloombergLP]::xref:BloombergLP/bslma.adoc[bslma]::xref:BloombergLP/bslma/AllocatorTraits_IsAlwaysEqual-0e.adoc[AllocatorTraits_IsAlwaysEqual]<ALLOC, false>
:relfileprefix: ../../
:mrdocs:

Sets `is_always_equal` to `bsl::is_empty<ALLOC>` when not defined by `ALLOC`.

== Synopsis

Declared in `<bslma_allocatortraits.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template<class ALLOC>
struct xref:BloombergLP/bslma/AllocatorTraits_IsAlwaysEqual-0e.adoc[AllocatorTraits_IsAlwaysEqual]<ALLOC, false>
    : xref:bsl/is_empty.adoc[bsl::is_empty<ALLOC>]
----

== Description

This `struct` template sets the boolean type for the attribute named `is_always_equal` to `bsl::is_empty<ALLOC>` if the given (template parameter) `ALLOC` does not define such an alias (i.e., if `false == AllocatorTraits_HasIsAlwaysEqual<ALLOCATOR_TYPE>::value`).

== Base Classes

[cols="1,4"]
|===
| Name| Description
| `xref:bsl/is_empty.adoc[bsl::is_empty<ALLOC>]`
| Meta‐function for detecting empty class types.
|===

== Type Aliases

[cols="1,4"]
|===
| Name| Description
| xref:bsl/integral_constant-02/type.adoc[`type`] 
| Alias for this `integral_constant` specialization.
| xref:bsl/integral_constant-02/value_type.adoc[`value_type`] 
| Alias for the (template parameter) `t_TYPE`.
|===


== Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:bsl/integral_constant-02/operator_call.adoc[`operator()`] 
| Return a copy of the template argument `t_VALUE`.
| xref:bsl/integral_constant-02/2conversion.adoc[`operator t_TYPE`] 
| Return a copy of the template argument `t_VALUE`.
|===


== Static Data Members

[cols="1,4"]
|===
| Name| Description
| xref:bsl/integral_constant-02/value.adoc[`value`] 
| The compile‐time constant value of this metafunction.
|===



[.small]#Created with https://www.mrdocs.com[MrDocs]#