126 lines
2.7 KiB
C++
126 lines
2.7 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// <vector>
|
|
|
|
// reference at(size_type n); // constexpr since C++20
|
|
|
|
#include <cassert>
|
|
#include <memory>
|
|
#include <vector>
|
|
|
|
#include "min_allocator.h"
|
|
#include "test_allocator.h"
|
|
#include "test_macros.h"
|
|
|
|
#ifndef TEST_HAS_NO_EXCEPTIONS
|
|
# include <stdexcept>
|
|
#endif
|
|
|
|
template <typename Allocator>
|
|
TEST_CONSTEXPR_CXX20 void test() {
|
|
using C = std::vector<bool, Allocator>;
|
|
using reference = typename C::reference;
|
|
bool a[] = {1, 0, 1, 0, 1};
|
|
C v(a, a + sizeof(a) / sizeof(a[0]));
|
|
ASSERT_SAME_TYPE(reference, decltype(v.at(0)));
|
|
assert(v.at(0) == true);
|
|
assert(v.at(1) == false);
|
|
assert(v.at(2) == true);
|
|
assert(v.at(3) == false);
|
|
assert(v.at(4) == true);
|
|
v.at(1) = 1;
|
|
assert(v.at(1) == true);
|
|
v.at(3) = 1;
|
|
assert(v.at(3) == true);
|
|
}
|
|
|
|
template <typename Allocator>
|
|
void test_exception() {
|
|
#ifndef TEST_HAS_NO_EXCEPTIONS
|
|
{
|
|
bool a[] = {1, 0, 1, 1};
|
|
using C = std::vector<bool, Allocator>;
|
|
C v(a, a + sizeof(a) / sizeof(a[0]));
|
|
|
|
try {
|
|
TEST_IGNORE_NODISCARD v.at(4);
|
|
assert(false);
|
|
} catch (std::out_of_range const&) {
|
|
// pass
|
|
} catch (...) {
|
|
assert(false);
|
|
}
|
|
|
|
try {
|
|
TEST_IGNORE_NODISCARD v.at(5);
|
|
assert(false);
|
|
} catch (std::out_of_range const&) {
|
|
// pass
|
|
} catch (...) {
|
|
assert(false);
|
|
}
|
|
|
|
try {
|
|
TEST_IGNORE_NODISCARD v.at(6);
|
|
assert(false);
|
|
} catch (std::out_of_range const&) {
|
|
// pass
|
|
} catch (...) {
|
|
assert(false);
|
|
}
|
|
|
|
try {
|
|
using size_type = typename C::size_type;
|
|
TEST_IGNORE_NODISCARD v.at(static_cast<size_type>(-1));
|
|
assert(false);
|
|
} catch (std::out_of_range const&) {
|
|
// pass
|
|
} catch (...) {
|
|
assert(false);
|
|
}
|
|
}
|
|
|
|
{
|
|
std::vector<bool, Allocator> v;
|
|
try {
|
|
TEST_IGNORE_NODISCARD v.at(0);
|
|
assert(false);
|
|
} catch (std::out_of_range const&) {
|
|
// pass
|
|
} catch (...) {
|
|
assert(false);
|
|
}
|
|
}
|
|
#endif
|
|
}
|
|
|
|
TEST_CONSTEXPR_CXX20 bool tests() {
|
|
test<std::allocator<bool> >();
|
|
test<min_allocator<bool> >();
|
|
test<test_allocator<bool> >();
|
|
return true;
|
|
}
|
|
|
|
void test_exceptions() {
|
|
test_exception<std::allocator<bool> >();
|
|
test_exception<min_allocator<bool> >();
|
|
test_exception<test_allocator<bool> >();
|
|
}
|
|
|
|
int main(int, char**) {
|
|
tests();
|
|
test_exceptions();
|
|
|
|
#if TEST_STD_VER >= 20
|
|
static_assert(tests());
|
|
#endif
|
|
|
|
return 0;
|
|
}
|