1//===----------------------------------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#ifndef _LIBCPP___VECTOR_CONTAINER_TRAITS_H
10#define _LIBCPP___VECTOR_CONTAINER_TRAITS_H
11
12#include <__config>
13#include <__fwd/vector.h>
14#include <__type_traits/container_traits.h>
15#include <__type_traits/is_nothrow_assignable.h>
16#include <__type_traits/is_nothrow_constructible.h>
17
18#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
19# pragma GCC system_header
20#endif
21
22_LIBCPP_BEGIN_NAMESPACE_STD
23
24template <class _Tp, class _Allocator>
25struct __container_traits<vector<_Tp, _Allocator> > {
26 // http://eel.is/c++draft/vector.modifiers#2
27 // If an exception is thrown other than by the copy constructor, move constructor, assignment operator, or move
28 // assignment operator of T or by any InputIterator operation, there are no effects. If an exception is thrown while
29 // inserting a single element at the end and T is Cpp17CopyInsertable or is_nothrow_move_constructible_v<T> is true,
30 // there are no effects. Otherwise, if an exception is thrown by the move constructor of a non-Cpp17CopyInsertable T,
31 // the effects are unspecified.
32 //
33 // The "no effects" guarantee for an insertion at the end does not cover an insertion in the middle, which
34 // move-constructs and move-assigns existing elements. Emplacement at an arbitrary position therefore has the
35 // strong guarantee only when neither of those operations can throw.
36 static _LIBCPP_CONSTEXPR const bool __emplacement_has_strong_exception_safety_guarantee =
37 is_nothrow_move_constructible<_Tp>::value && is_nothrow_move_assignable<_Tp>::value;
38
39 static _LIBCPP_CONSTEXPR const bool __reservable = true;
40};
41
42_LIBCPP_END_NAMESPACE_STD
43
44#endif // _LIBCPP___VECTOR_CONTAINER_TRAITS_H
45