test/std/containers/sequences/vector/vector.cons/construct_default.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is dual licensed under the MIT and the University of Illinois Open
   6 // Source Licenses. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 // <vector>
  11
  12 // vector();
  13 // vector(const Alloc&);
  14
  15 #include <vector>
  16 #include <cassert>
  17
  18 #include "test_macros.h"
  19 #include "test_allocator.h"
  20 #include "../../../NotConstructible.h"
  21 #include "../../../stack_allocator.h"
  22 #include "min_allocator.h"
  23 #include "asan_testing.h"
  24
  25 template <class C>
  26 void
  27 test0()
  28 {
  29 #if TEST_STD_VER > 14
  30         static_assert((noexcept(C{})), "" );
  31 #elif TEST_STD_VER >= 11
  32         static_assert((noexcept(C()) == noexcept(typename C::allocator_type())), "" );
  33 #endif
  34     C c;
  35     LIBCPP_ASSERT(c.__invariants());
  36     assert(c.empty());
  37     assert(c.get_allocator() == typename C::allocator_type());
  38     LIBCPP_ASSERT(is_contiguous_container_asan_correct(c));
  39 #if TEST_STD_VER >= 11
  40     C c1 = {};
  41     LIBCPP_ASSERT(c1.__invariants());
  42     assert(c1.empty());
  43     assert(c1.get_allocator() == typename C::allocator_type());
  44     LIBCPP_ASSERT(is_contiguous_container_asan_correct(c1));
  45 #endif
  46 }
  47
  48 template <class C>
  49 void
  50 test1(const typename C::allocator_type& a)
  51 {
  52 #if TEST_STD_VER > 14
  53         static_assert((noexcept(C{typename C::allocator_type{}})), "" );
  54 #elif TEST_STD_VER >= 11
  55         static_assert((noexcept(C(typename C::allocator_type())) == std::is_nothrow_copy_constructible<typename C::allocator_type>::value), "" );
  56 #endif
  57     C c(a);
  58     LIBCPP_ASSERT(c.__invariants());
  59     assert(c.empty());
  60     assert(c.get_allocator() == a);
  61     LIBCPP_ASSERT(is_contiguous_container_asan_correct(c));
  62 }
  63
  64 int main()
  65 {
  66     {
  67     test0<std::vector<int> >();
  68     test0<std::vector<NotConstructible> >();
  69     test1<std::vector<int, test_allocator<int> > >(test_allocator<int>(3));
  70     test1<std::vector<NotConstructible, test_allocator<NotConstructible> > >
  71         (test_allocator<NotConstructible>(5));
  72     }
  73     {
  74         std::vector<int, stack_allocator<int, 10> > v;
  75         assert(v.empty());
  76     }
  77 #if TEST_STD_VER >= 11
  78     {
  79     test0<std::vector<int, min_allocator<int>> >();
  80     test0<std::vector<NotConstructible, min_allocator<NotConstructible>> >();
  81     test1<std::vector<int, min_allocator<int> > >(min_allocator<int>{});
  82     test1<std::vector<NotConstructible, min_allocator<NotConstructible> > >
  83         (min_allocator<NotConstructible>{});
  84     }
  85     {
  86         std::vector<int, min_allocator<int> > v;
  87         assert(v.empty());
  88     }
  89
  90     {
  91     test0<std::vector<int, explicit_allocator<int>> >();
  92     test0<std::vector<NotConstructible, explicit_allocator<NotConstructible>> >();
  93     test1<std::vector<int, explicit_allocator<int> > >(explicit_allocator<int>{});
  94     test1<std::vector<NotConstructible, explicit_allocator<NotConstructible> > >
  95         (explicit_allocator<NotConstructible>{});
  96     }
  97     {
  98         std::vector<int, explicit_allocator<int> > v;
  99         assert(v.empty());
 100     }
 101 #endif
 102 }