v1/__vector/container_traits.h

0001 //===----------------------------------------------------------------------===//
0002 //
0003 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
0004 // See https://llvm.org/LICENSE.txt for license information.
0005 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
0006 //
0007 //===----------------------------------------------------------------------===//
0008
0009 #ifndef _LIBCPP___VECTOR_CONTAINER_TRAITS_H
0010 #define _LIBCPP___VECTOR_CONTAINER_TRAITS_H
0011
0012 #include <__config>
0013 #include <__fwd/vector.h>
0014 #include <__memory/allocator_traits.h>
0015 #include <__type_traits/container_traits.h>
0016 #include <__type_traits/disjunction.h>
0017 #include <__type_traits/is_nothrow_constructible.h>
0018
0019 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
0020 #  pragma GCC system_header
0021 #endif
0022
0023 _LIBCPP_BEGIN_NAMESPACE_STD
0024
0025 template <class _Tp, class _Allocator>
0026 struct __container_traits<vector<_Tp, _Allocator> > {
0027   // http://eel.is/c++draft/vector.modifiers#2
0028   //  If an exception is thrown other than by the copy constructor, move constructor, assignment operator, or move
0029   //  assignment operator of T or by any InputIterator operation, there are no effects. If an exception is thrown while
0030   //  inserting a single element at the end and T is Cpp17CopyInsertable or is_nothrow_move_constructible_v<T> is true,
0031   //  there are no effects. Otherwise, if an exception is thrown by the move constructor of a non-Cpp17CopyInsertable T,
0032   //  the effects are unspecified.
0033   static _LIBCPP_CONSTEXPR const bool __emplacement_has_strong_exception_safety_guarantee =
0034       _Or<is_nothrow_move_constructible<_Tp>, __is_cpp17_copy_insertable<_Allocator> >::value;
0035 };
0036
0037 _LIBCPP_END_NAMESPACE_STD
0038
0039 #endif // _LIBCPP___VECTOR_CONTAINER_TRAITS_H