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 <__memory/allocator_traits.h>
15#include <__type_traits/container_traits.h>
16#include <__type_traits/disjunction.h>
17#include <__type_traits/is_nothrow_constructible.h>
18
19#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
20# pragma GCC system_header
21#endif
22
23_LIBCPP_BEGIN_NAMESPACE_STD
24
25template <class _Tp, class _Allocator>
26struct __container_traits<vector<_Tp, _Allocator> > {
27 // http://eel.is/c++draft/vector.modifiers#2
28 // If an exception is thrown other than by the copy constructor, move constructor, assignment operator, or move
29 // assignment operator of T or by any InputIterator operation, there are no effects. If an exception is thrown while
30 // inserting a single element at the end and T is Cpp17CopyInsertable or is_nothrow_move_constructible_v<T> is true,
31 // there are no effects. Otherwise, if an exception is thrown by the move constructor of a non-Cpp17CopyInsertable T,
32 // the effects are unspecified.
33 static _LIBCPP_CONSTEXPR const bool __emplacement_has_strong_exception_safety_guarantee =
34 is_nothrow_move_constructible<_Tp>::value || __is_cpp17_copy_insertable_v<_Allocator>;
35
36 static _LIBCPP_CONSTEXPR const bool __reservable = true;
37};
38
39_LIBCPP_END_NAMESPACE_STD
40
41#endif // _LIBCPP___VECTOR_CONTAINER_TRAITS_H
42