libcxx/test/std/containers/sequences/vector/access.pass.cpp

   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 // <vector>
  10
  11 //       reference operator[](size_type __i);
  12 // const_reference operator[](size_type __i) const;
  13 //
  14 //       reference at(size_type __i);
  15 // const_reference at(size_type __i) const;
  16 //
  17 //       reference front();
  18 // const_reference front() const;
  19 //
  20 //       reference back();
  21 // const_reference back() const;
  22 // libc++ marks these as 'noexcept' (except 'at')
  23
  24 #include <vector>
  25 #include <cassert>
  26
  27 #include "min_allocator.h"
  28 #include "test_macros.h"
  29
  30 template <class C>
  31 C
  32 make(int size, int start = 0)
  33 {
  34     C c;
  35     for (int i = 0; i < size; ++i)
  36         c.push_back(start + i);
  37     return c;
  38 }
  39
  40 int main(int, char**)
  41 {
  42     {
  43         typedef std::vector<int> C;
  44         C c = make<C>(10);
  45         LIBCPP_ASSERT_NOEXCEPT(c[0]);
  46         LIBCPP_ASSERT_NOEXCEPT(c.front());
  47         LIBCPP_ASSERT_NOEXCEPT(c.back());
  48         // at() is NOT noexcept
  49         ASSERT_SAME_TYPE(C::reference, decltype(c[0]));
  50         ASSERT_SAME_TYPE(C::reference, decltype(c.at(0)));
  51         ASSERT_SAME_TYPE(C::reference, decltype(c.front()));
  52         ASSERT_SAME_TYPE(C::reference, decltype(c.back()));
  53         for (int i = 0; i < 10; ++i)
  54             assert(c[i] == i);
  55         for (int i = 0; i < 10; ++i)
  56             assert(c.at(i) == i);
  57         assert(c.front() == 0);
  58         assert(c.back() == 9);
  59     }
  60     {
  61         typedef std::vector<int> C;
  62         const int N = 5;
  63         const C c = make<C>(10, N);
  64         LIBCPP_ASSERT_NOEXCEPT(c[0]);
  65         LIBCPP_ASSERT_NOEXCEPT(c.front());
  66         LIBCPP_ASSERT_NOEXCEPT(c.back());
  67         // at() is NOT noexcept
  68         ASSERT_SAME_TYPE(C::const_reference, decltype(c[0]));
  69         ASSERT_SAME_TYPE(C::const_reference, decltype(c.at(0)));
  70         ASSERT_SAME_TYPE(C::const_reference, decltype(c.front()));
  71         ASSERT_SAME_TYPE(C::const_reference, decltype(c.back()));
  72         for (int i = 0; i < 10; ++i)
  73             assert(c[i] == N + i);
  74         for (int i = 0; i < 10; ++i)
  75             assert(c.at(i) == N + i);
  76         assert(c.front() == N);
  77         assert(c.back() == N + 9);
  78     }
  79 #if TEST_STD_VER >= 11
  80     {
  81         typedef std::vector<int, min_allocator<int>> C;
  82         const int N = 34;
  83         C c = make<C>(10, N);
  84         LIBCPP_ASSERT_NOEXCEPT(c[0]);
  85         LIBCPP_ASSERT_NOEXCEPT(c.front());
  86         LIBCPP_ASSERT_NOEXCEPT(c.back());
  87         // at() is NOT noexcept
  88         ASSERT_SAME_TYPE(C::reference, decltype(c[0]));
  89         ASSERT_SAME_TYPE(C::reference, decltype(c.at(0)));
  90         ASSERT_SAME_TYPE(C::reference, decltype(c.front()));
  91         ASSERT_SAME_TYPE(C::reference, decltype(c.back()));
  92         for (int i = 0; i < 10; ++i)
  93             assert(c[i] == N + i);
  94         for (int i = 0; i < 10; ++i)
  95             assert(c.at(i) == N + i);
  96         assert(c.front() == N);
  97         assert(c.back() == N + 9);
  98     }
  99     {
 100         typedef std::vector<int, min_allocator<int>> C;
 101         const int N = 23;
 102         const C c = make<C>(10, N);
 103         LIBCPP_ASSERT_NOEXCEPT(c[0]);
 104         LIBCPP_ASSERT_NOEXCEPT(c.front());
 105         LIBCPP_ASSERT_NOEXCEPT(c.back());
 106         // at() is NOT noexcept
 107         ASSERT_SAME_TYPE(C::const_reference, decltype(c[0]));
 108         ASSERT_SAME_TYPE(C::const_reference, decltype(c.at(0)));
 109         ASSERT_SAME_TYPE(C::const_reference, decltype(c.front()));
 110         ASSERT_SAME_TYPE(C::const_reference, decltype(c.back()));
 111         for (int i = 0; i < 10; ++i)
 112             assert(c[i] == N + i);
 113         for (int i = 0; i < 10; ++i)
 114             assert(c.at(i) == N + i);
 115         assert(c.front() == N);
 116         assert(c.back() == N + 9);
 117     }
 118 #endif
 119
 120   return 0;
 121 }