Files
allhaileris afb81b8278
Some checks failed
Docker. / Ubuntu (push) Has been cancelled
User-agent updater. / User-agent (push) Failing after 15s
Lock Threads / lock (push) Failing after 10s
Waiting for answer. / waiting-for-answer (push) Failing after 22s
Close stale issues and PRs / stale (push) Successful in 13s
Needs user action. / needs-user-action (push) Failing after 8s
Can't reproduce. / cant-reproduce (push) Failing after 8s
init
2026-02-16 15:50:16 +03:00

302 lines
8.1 KiB
C++

// Range v3 library
//
// Copyright Eric Niebler 2014-present
//
// Use, modification and distribution is subject to the
// Boost Software License, Version 1.0. (See accompanying
// file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
// Project home: https://github.com/ericniebler/range-v3
//
// The implementation of array has been adapted from libc++
// (http://libcxx.llvm.org).
//
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is dual licensed under the MIT and the University of Illinois Open
// Source Licenses. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#ifndef RANGES_V3_TEST_ARRAY_HPP
#define RANGES_V3_TEST_ARRAY_HPP
#include <stdexcept>
#include <range/v3/range_fwd.hpp>
#include <range/v3/iterator/operations.hpp>
#include <range/v3/algorithm/fill_n.hpp>
#include <range/v3/algorithm/swap_ranges.hpp>
#include <range/v3/algorithm/equal.hpp>
#include <range/v3/algorithm/lexicographical_compare.hpp>
#include <range/v3/utility/swap.hpp>
namespace test {
/// \addtogroup group-utility
/// A std::array with constexpr support
template<typename T, std::size_t N>
struct array
{
using self = array;
using value_type = T;
using reference = value_type&;
using const_reference = value_type const&;
using iterator = value_type*;
using const_iterator = value_type const*;
using pointer = value_type*;
using const_pointer = value_type const*;
using size_type = std::size_t;
using difference_type = std::ptrdiff_t;
using reverse_iterator = ranges::reverse_iterator<iterator>;
using const_reverse_iterator = ranges::reverse_iterator<const_iterator>;
value_type elems_[N > 0 ? N : 1];
constexpr /*c++14*/ void fill(const value_type& u)
{
ranges::fill_n(elems_, N, u);
}
constexpr /*c++14*/
void swap(array& a) noexcept(ranges::is_nothrow_swappable<T>::value)
{
ranges::swap_ranges(elems_, elems_ + N, a.elems_);
}
// iterators:
constexpr /*c++14*/
iterator begin() noexcept
{
return iterator(elems_);
}
constexpr /*c++14*/
const_iterator begin() const noexcept
{
return const_iterator(elems_);
}
constexpr /*c++14*/
iterator end() noexcept
{
return iterator(elems_ + N);
}
constexpr /*c++14*/
const_iterator end() const noexcept
{
return const_iterator(elems_ + N);
}
constexpr /*c++14*/
reverse_iterator rbegin() noexcept
{
return reverse_iterator(end());
}
constexpr /*c++14*/
const_reverse_iterator rbegin() const noexcept
{
return const_reverse_iterator(end());
}
constexpr /*c++14*/
reverse_iterator rend() noexcept
{
return reverse_iterator(begin());
}
constexpr /*c++14*/
const_reverse_iterator rend() const noexcept
{
return const_reverse_iterator(begin());
}
constexpr /*c++14*/
const_iterator cbegin() const noexcept
{
return begin();
}
constexpr /*c++14*/
const_iterator cend() const noexcept
{
return end();
}
constexpr /*c++14*/
const_reverse_iterator crbegin() const noexcept
{
return rbegin();
}
constexpr /*c++14*/
const_reverse_iterator crend() const noexcept
{
return rend();
}
// capacity:
constexpr /*c++14*/
size_type size() const noexcept
{
return N;
}
constexpr /*c++14*/
size_type max_size() const noexcept
{
return N;
}
constexpr /*c++14*/
bool empty() const noexcept
{
return N == 0;
}
// element access:
constexpr /*c++14*/ reference operator[](size_type n)
{
return elems_[n];
}
constexpr /*c++14*/ const_reference operator[](size_type n) const
{
return elems_[n];
}
constexpr /*c++14*/ reference at(size_type n)
{
if (n >= N)
throw std::out_of_range("array::at");
return elems_[n];
}
constexpr /*c++14*/ const_reference at(size_type n) const
{
if (n >= N)
throw std::out_of_range("array::at");
return elems_[n];
}
constexpr /*c++14*/ reference front()
{
return elems_[0];
}
constexpr /*c++14*/ const_reference front() const
{
return elems_[0];
}
constexpr /*c++14*/ reference back()
{
return elems_[N > 0 ? N-1 : 0];
}
constexpr /*c++14*/ const_reference back() const
{
return elems_[N > 0 ? N-1 : 0];
}
constexpr /*c++14*/
value_type* data() noexcept
{
return elems_;
}
constexpr /*c++14*/
const value_type* data() const noexcept
{
return elems_;
}
};
template<class T, size_t N>
constexpr /*c++14*/
bool
operator==(const array<T, N>& x, const array<T, N>& y)
{
return ranges::equal(x.elems_, x.elems_ + N, y.elems_);
}
template<class T, size_t N>
constexpr /*c++14*/
bool
operator!=(const array<T, N>& x, const array<T, N>& y)
{
return !(x == y);
}
template<class T, size_t N>
constexpr /*c++14*/
bool
operator<(const array<T, N>& x, const array<T, N>& y)
{
return ranges::lexicographical_compare(x.elems_, x.elems_ + N, y.elems_, y.elems_ + N);
}
template<class T, size_t N>
constexpr /*c++14*/
bool
operator>(const array<T, N>& x, const array<T, N>& y)
{
return y < x;
}
template<class T, size_t N>
constexpr /*c++14*/
bool
operator<=(const array<T, N>& x, const array<T, N>& y)
{
return !(y < x);
}
template<class T, size_t N>
constexpr /*c++14*/
bool
operator>=(const array<T, N>& x, const array<T, N>& y)
{
return !(x < y);
}
template<class T, size_t N>
constexpr /*c++14*/
auto swap(array<T, N>& x, array<T, N>& y)
noexcept(ranges::is_nothrow_swappable<T>::value)
-> typename std::enable_if<ranges::is_swappable<T>::value, void>::type
{
x.swap(y);
}
template<size_t I, class T, size_t N>
constexpr /*c++14*/
T& get(array<T, N>& a) noexcept
{
static_assert(I < N, "Index out of bounds in ranges::get<> (ranges::array)");
return a.elems_[I];
}
template<size_t I, class T, size_t N>
constexpr /*c++14*/
const T& get(const array<T, N>& a) noexcept
{
static_assert(I < N, "Index out of bounds in ranges::get<> (const ranges::array)");
return a.elems_[I];
}
template<size_t I, class T, size_t N>
constexpr /*c++14*/
T && get(array<T, N>&& a) noexcept
{
static_assert(I < N, "Index out of bounds in ranges::get<> (ranges::array &&)");
return std::move(a.elems_[I]);
}
template<class T, std::size_t N>
constexpr /*c++14*/ void swap(array<T, N>& a, array<T, N>& b) {
for(std::size_t i = 0; i != N; ++i) {
auto tmp = std::move(a[i]);
a[i] = std::move(b[i]);
b[i] = std::move(tmp);
}
}
} // namespace test
RANGES_DIAGNOSTIC_PUSH
RANGES_DIAGNOSTIC_IGNORE_MISMATCHED_TAGS
namespace std
{
template<class T, size_t N>
class tuple_size<test::array<T, N>>
: public integral_constant<size_t, N> {};
template<size_t I, class T, size_t N>
class tuple_element<I, test::array<T, N> >
{
public:
using type = T;
};
} // namespace std
RANGES_DIAGNOSTIC_POP
#endif // RANGES_V3_TEST_ARRAY_HPP