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 // <array>
10
11 // const_reference at (size_type) const; // constexpr in C++14
12
13 #include <array>
14 #include <cassert>
15
16 #ifndef TEST_HAS_NO_EXCEPTIONS
17 #include <stdexcept>
18 #endif
19
20 #include "test_macros.h"
21
tests()22 TEST_CONSTEXPR_CXX14 bool tests()
23 {
24 {
25 typedef double T;
26 typedef std::array<T, 3> C;
27 C const c = {1, 2, 3.5};
28 typename C::const_reference r1 = c.at(0);
29 assert(r1 == 1);
30
31 typename C::const_reference r2 = c.at(2);
32 assert(r2 == 3.5);
33 }
34 return true;
35 }
36
test_exceptions()37 void test_exceptions()
38 {
39 #ifndef TEST_HAS_NO_EXCEPTIONS
40 {
41 std::array<int, 4> const array = {1, 2, 3, 4};
42
43 try {
44 TEST_IGNORE_NODISCARD array.at(4);
45 assert(false);
46 } catch (std::out_of_range const&) {
47 // pass
48 } catch (...) {
49 assert(false);
50 }
51
52 try {
53 TEST_IGNORE_NODISCARD array.at(5);
54 assert(false);
55 } catch (std::out_of_range const&) {
56 // pass
57 } catch (...) {
58 assert(false);
59 }
60
61 try {
62 TEST_IGNORE_NODISCARD array.at(6);
63 assert(false);
64 } catch (std::out_of_range const&) {
65 // pass
66 } catch (...) {
67 assert(false);
68 }
69
70 try {
71 using size_type = decltype(array)::size_type;
72 TEST_IGNORE_NODISCARD array.at(static_cast<size_type>(-1));
73 assert(false);
74 } catch (std::out_of_range const&) {
75 // pass
76 } catch (...) {
77 assert(false);
78 }
79 }
80
81 {
82 std::array<int, 0> array = {};
83
84 try {
85 TEST_IGNORE_NODISCARD array.at(0);
86 assert(false);
87 } catch (std::out_of_range const&) {
88 // pass
89 } catch (...) {
90 assert(false);
91 }
92 }
93 #endif
94 }
95
main(int,char **)96 int main(int, char**)
97 {
98 tests();
99 test_exceptions();
100
101 #if TEST_STD_VER >= 14
102 static_assert(tests(), "");
103 #endif
104 return 0;
105 }
106