| // Copyright 2018 The Abseil Authors. |
| // |
| // Licensed under the Apache License, Version 2.0 (the "License"); |
| // you may not use this file except in compliance with the License. |
| // You may obtain a copy of the License at |
| // |
| // https://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, software |
| // distributed under the License is distributed on an "AS IS" BASIS, |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| // See the License for the specific language governing permissions and |
| // limitations under the License. |
| // |
| // ----------------------------------------------------------------------------- |
| // regularity_aliases.h |
| // ----------------------------------------------------------------------------- |
| // |
| // This file contains type aliases of common ConformanceProfiles and Archetypes |
| // so that they can be directly used by name without creating them from scratch. |
| |
| #ifndef ABSL_TYPES_INTERNAL_CONFORMANCE_ALIASES_H_ |
| #define ABSL_TYPES_INTERNAL_CONFORMANCE_ALIASES_H_ |
| |
| #include "absl/types/internal/conformance_archetype.h" |
| #include "absl/types/internal/conformance_profile.h" |
| |
| namespace absl { |
| ABSL_NAMESPACE_BEGIN |
| namespace types_internal { |
| |
| // Creates both a Profile and a corresponding Archetype with root name "name". |
| #define ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS(name, ...) \ |
| struct name##Profile : __VA_ARGS__ {}; \ |
| \ |
| using name##Archetype = ::absl::types_internal::Archetype<name##Profile>; \ |
| \ |
| template <class AbslInternalProfileTag> \ |
| using name##Archetype##_ = ::absl::types_internal::Archetype< \ |
| ::absl::types_internal::StrongProfileTypedef<name##Profile, \ |
| AbslInternalProfileTag>> |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasTrivialDefaultConstructor, |
| ConformanceProfile<default_constructible::trivial>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowDefaultConstructor, |
| ConformanceProfile<default_constructible::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasDefaultConstructor, ConformanceProfile<default_constructible::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasTrivialMoveConstructor, ConformanceProfile<default_constructible::maybe, |
| move_constructible::trivial>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowMoveConstructor, ConformanceProfile<default_constructible::maybe, |
| move_constructible::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasMoveConstructor, |
| ConformanceProfile<default_constructible::maybe, move_constructible::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasTrivialCopyConstructor, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::trivial>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowCopyConstructor, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasCopyConstructor, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasTrivialMoveAssign, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::trivial>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowMoveAssign, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasMoveAssign, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasTrivialCopyAssign, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::trivial>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowCopyAssign, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasCopyAssign, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasTrivialDestructor, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::trivial>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowDestructor, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasDestructor, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowEquality, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, |
| equality_comparable::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasEquality, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, |
| equality_comparable::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowInequality, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, |
| equality_comparable::maybe, |
| inequality_comparable::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasInequality, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, |
| equality_comparable::maybe, inequality_comparable::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowLessThan, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, |
| equality_comparable::maybe, inequality_comparable::maybe, |
| less_than_comparable::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasLessThan, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, |
| equality_comparable::maybe, inequality_comparable::maybe, |
| less_than_comparable::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowLessEqual, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, |
| equality_comparable::maybe, inequality_comparable::maybe, |
| less_than_comparable::maybe, |
| less_equal_comparable::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasLessEqual, |
| ConformanceProfile<default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, |
| equality_comparable::maybe, inequality_comparable::maybe, |
| less_than_comparable::maybe, |
| less_equal_comparable::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowGreaterEqual, |
| ConformanceProfile< |
| default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, equality_comparable::maybe, |
| inequality_comparable::maybe, less_than_comparable::maybe, |
| less_equal_comparable::maybe, greater_equal_comparable::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasGreaterEqual, |
| ConformanceProfile< |
| default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, equality_comparable::maybe, |
| inequality_comparable::maybe, less_than_comparable::maybe, |
| less_equal_comparable::maybe, greater_equal_comparable::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowGreaterThan, |
| ConformanceProfile< |
| default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, equality_comparable::maybe, |
| inequality_comparable::maybe, less_than_comparable::maybe, |
| less_equal_comparable::maybe, greater_equal_comparable::maybe, |
| greater_than_comparable::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasGreaterThan, |
| ConformanceProfile< |
| default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, equality_comparable::maybe, |
| inequality_comparable::maybe, less_than_comparable::maybe, |
| less_equal_comparable::maybe, greater_equal_comparable::maybe, |
| greater_than_comparable::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasNothrowSwap, |
| ConformanceProfile< |
| default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, equality_comparable::maybe, |
| inequality_comparable::maybe, less_than_comparable::maybe, |
| less_equal_comparable::maybe, greater_equal_comparable::maybe, |
| greater_than_comparable::maybe, swappable::nothrow>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasSwap, |
| ConformanceProfile< |
| default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, equality_comparable::maybe, |
| inequality_comparable::maybe, less_than_comparable::maybe, |
| less_equal_comparable::maybe, greater_equal_comparable::maybe, |
| greater_than_comparable::maybe, swappable::yes>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HasStdHashSpecialization, |
| ConformanceProfile< |
| default_constructible::maybe, move_constructible::maybe, |
| copy_constructible::maybe, move_assignable::maybe, |
| copy_assignable::maybe, destructible::maybe, equality_comparable::maybe, |
| inequality_comparable::maybe, less_than_comparable::maybe, |
| less_equal_comparable::maybe, greater_equal_comparable::maybe, |
| greater_than_comparable::maybe, swappable::maybe, hashable::yes>); |
| |
| //////////////////////////////////////////////////////////////////////////////// |
| //// The remaining aliases are combinations of the previous aliases. //// |
| //////////////////////////////////////////////////////////////////////////////// |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| Equatable, CombineProfiles<HasEqualityProfile, HasInequalityProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| Comparable, |
| CombineProfiles<EquatableProfile, HasLessThanProfile, HasLessEqualProfile, |
| HasGreaterEqualProfile, HasGreaterThanProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| NothrowEquatable, |
| CombineProfiles<HasNothrowEqualityProfile, HasNothrowInequalityProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| NothrowComparable, |
| CombineProfiles<NothrowEquatableProfile, HasNothrowLessThanProfile, |
| HasNothrowLessEqualProfile, HasNothrowGreaterEqualProfile, |
| HasNothrowGreaterThanProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| Value, |
| CombineProfiles<HasNothrowMoveConstructorProfile, HasCopyConstructorProfile, |
| HasNothrowMoveAssignProfile, HasCopyAssignProfile, |
| HasNothrowDestructorProfile, HasNothrowSwapProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| EquatableValue, CombineProfiles<EquatableProfile, ValueProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| ComparableValue, CombineProfiles<ComparableProfile, ValueProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| DefaultConstructibleValue, |
| CombineProfiles<HasDefaultConstructorProfile, ValueProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| NothrowMoveConstructible, CombineProfiles<HasNothrowMoveConstructorProfile, |
| HasNothrowDestructorProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| EquatableNothrowMoveConstructible, |
| CombineProfiles<EquatableProfile, NothrowMoveConstructibleProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| ComparableNothrowMoveConstructible, |
| CombineProfiles<ComparableProfile, NothrowMoveConstructibleProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| DefaultConstructibleNothrowMoveConstructible, |
| CombineProfiles<HasDefaultConstructorProfile, |
| NothrowMoveConstructibleProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| CopyConstructible, |
| CombineProfiles<HasNothrowMoveConstructorProfile, HasCopyConstructorProfile, |
| HasNothrowDestructorProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| EquatableCopyConstructible, |
| CombineProfiles<EquatableProfile, CopyConstructibleProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| ComparableCopyConstructible, |
| CombineProfiles<ComparableProfile, CopyConstructibleProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| DefaultConstructibleCopyConstructible, |
| CombineProfiles<HasDefaultConstructorProfile, CopyConstructibleProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| NothrowMovable, |
| CombineProfiles<HasNothrowMoveConstructorProfile, |
| HasNothrowMoveAssignProfile, HasNothrowDestructorProfile, |
| HasNothrowSwapProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| EquatableNothrowMovable, |
| CombineProfiles<EquatableProfile, NothrowMovableProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| ComparableNothrowMovable, |
| CombineProfiles<ComparableProfile, NothrowMovableProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| DefaultConstructibleNothrowMovable, |
| CombineProfiles<HasDefaultConstructorProfile, NothrowMovableProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| TrivialSpecialMemberFunctions, |
| CombineProfiles<HasTrivialDefaultConstructorProfile, |
| HasTrivialMoveConstructorProfile, |
| HasTrivialCopyConstructorProfile, |
| HasTrivialMoveAssignProfile, HasTrivialCopyAssignProfile, |
| HasTrivialDestructorProfile, HasNothrowSwapProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| TriviallyComplete, |
| CombineProfiles<TrivialSpecialMemberFunctionsProfile, ComparableProfile, |
| HasStdHashSpecializationProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HashableNothrowMoveConstructible, |
| CombineProfiles<HasStdHashSpecializationProfile, |
| NothrowMoveConstructibleProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HashableCopyConstructible, |
| CombineProfiles<HasStdHashSpecializationProfile, CopyConstructibleProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HashableNothrowMovable, |
| CombineProfiles<HasStdHashSpecializationProfile, NothrowMovableProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| HashableValue, |
| CombineProfiles<HasStdHashSpecializationProfile, ValueProfile>); |
| |
| ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS( |
| ComparableHashableValue, |
| CombineProfiles<HashableValueProfile, ComparableProfile>); |
| |
| // The "preferred" profiles that we support in Abseil. |
| template <template <class...> class Receiver> |
| using ExpandBasicProfiles = |
| Receiver<NothrowMoveConstructibleProfile, CopyConstructibleProfile, |
| NothrowMovableProfile, ValueProfile>; |
| |
| // The basic profiles except that they are also all Equatable. |
| template <template <class...> class Receiver> |
| using ExpandBasicEquatableProfiles = |
| Receiver<EquatableNothrowMoveConstructibleProfile, |
| EquatableCopyConstructibleProfile, EquatableNothrowMovableProfile, |
| EquatableValueProfile>; |
| |
| // The basic profiles except that they are also all Comparable. |
| template <template <class...> class Receiver> |
| using ExpandBasicComparableProfiles = |
| Receiver<ComparableNothrowMoveConstructibleProfile, |
| ComparableCopyConstructibleProfile, |
| ComparableNothrowMovableProfile, ComparableValueProfile>; |
| |
| // The basic profiles except that they are also all Hashable. |
| template <template <class...> class Receiver> |
| using ExpandBasicHashableProfiles = |
| Receiver<HashableNothrowMoveConstructibleProfile, |
| HashableCopyConstructibleProfile, HashableNothrowMovableProfile, |
| HashableValueProfile>; |
| |
| // The basic profiles except that they are also all DefaultConstructible. |
| template <template <class...> class Receiver> |
| using ExpandBasicDefaultConstructibleProfiles = |
| Receiver<DefaultConstructibleNothrowMoveConstructibleProfile, |
| DefaultConstructibleCopyConstructibleProfile, |
| DefaultConstructibleNothrowMovableProfile, |
| DefaultConstructibleValueProfile>; |
| |
| // The type profiles that we support in Abseil (all of the previous lists). |
| template <template <class...> class Receiver> |
| using ExpandSupportedProfiles = Receiver< |
| NothrowMoveConstructibleProfile, CopyConstructibleProfile, |
| NothrowMovableProfile, ValueProfile, |
| EquatableNothrowMoveConstructibleProfile, EquatableCopyConstructibleProfile, |
| EquatableNothrowMovableProfile, EquatableValueProfile, |
| ComparableNothrowMoveConstructibleProfile, |
| ComparableCopyConstructibleProfile, ComparableNothrowMovableProfile, |
| ComparableValueProfile, DefaultConstructibleNothrowMoveConstructibleProfile, |
| DefaultConstructibleCopyConstructibleProfile, |
| DefaultConstructibleNothrowMovableProfile, DefaultConstructibleValueProfile, |
| HashableNothrowMoveConstructibleProfile, HashableCopyConstructibleProfile, |
| HashableNothrowMovableProfile, HashableValueProfile>; |
| |
| // TODO(calabrese) Include types that have throwing move constructors, since in |
| // practice we still need to support them because of standard library types with |
| // (potentially) non-noexcept moves. |
| |
| } // namespace types_internal |
| ABSL_NAMESPACE_END |
| } // namespace absl |
| |
| #undef ABSL_INTERNAL_PROFILE_AND_ARCHETYPE_ALIAS |
| |
| #endif // ABSL_TYPES_INTERNAL_CONFORMANCE_ALIASES_H_ |
