10b57cec5SDimitry Andric// -*- C++ -*- 20b57cec5SDimitry Andric//===---------------------------- array -----------------------------------===// 30b57cec5SDimitry Andric// 40b57cec5SDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 50b57cec5SDimitry Andric// See https://llvm.org/LICENSE.txt for license information. 60b57cec5SDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 70b57cec5SDimitry Andric// 80b57cec5SDimitry Andric//===----------------------------------------------------------------------===// 90b57cec5SDimitry Andric 100b57cec5SDimitry Andric#ifndef _LIBCPP_ARRAY 110b57cec5SDimitry Andric#define _LIBCPP_ARRAY 120b57cec5SDimitry Andric 130b57cec5SDimitry Andric/* 140b57cec5SDimitry Andric array synopsis 150b57cec5SDimitry Andric 160b57cec5SDimitry Andricnamespace std 170b57cec5SDimitry Andric{ 180b57cec5SDimitry Andrictemplate <class T, size_t N > 190b57cec5SDimitry Andricstruct array 200b57cec5SDimitry Andric{ 210b57cec5SDimitry Andric // types: 220b57cec5SDimitry Andric typedef T & reference; 230b57cec5SDimitry Andric typedef const T & const_reference; 240b57cec5SDimitry Andric typedef implementation defined iterator; 250b57cec5SDimitry Andric typedef implementation defined const_iterator; 260b57cec5SDimitry Andric typedef size_t size_type; 270b57cec5SDimitry Andric typedef ptrdiff_t difference_type; 280b57cec5SDimitry Andric typedef T value_type; 290b57cec5SDimitry Andric typedef T* pointer; 300b57cec5SDimitry Andric typedef const T* const_pointer; 310b57cec5SDimitry Andric typedef std::reverse_iterator<iterator> reverse_iterator; 320b57cec5SDimitry Andric typedef std::reverse_iterator<const_iterator> const_reverse_iterator; 330b57cec5SDimitry Andric 340b57cec5SDimitry Andric // No explicit construct/copy/destroy for aggregate type 35*5ffd83dbSDimitry Andric void fill(const T& u); // constexpr in C++20 36*5ffd83dbSDimitry Andric void swap(array& a) noexcept(is_nothrow_swappable_v<T>); // constexpr in C++20 370b57cec5SDimitry Andric 380b57cec5SDimitry Andric // iterators: 39*5ffd83dbSDimitry Andric iterator begin() noexcept; // constexpr in C++17 40*5ffd83dbSDimitry Andric const_iterator begin() const noexcept; // constexpr in C++17 41*5ffd83dbSDimitry Andric iterator end() noexcept; // constexpr in C++17 42*5ffd83dbSDimitry Andric const_iterator end() const noexcept; // constexpr in C++17 430b57cec5SDimitry Andric 44*5ffd83dbSDimitry Andric reverse_iterator rbegin() noexcept; // constexpr in C++17 45*5ffd83dbSDimitry Andric const_reverse_iterator rbegin() const noexcept; // constexpr in C++17 46*5ffd83dbSDimitry Andric reverse_iterator rend() noexcept; // constexpr in C++17 47*5ffd83dbSDimitry Andric const_reverse_iterator rend() const noexcept; // constexpr in C++17 480b57cec5SDimitry Andric 49*5ffd83dbSDimitry Andric const_iterator cbegin() const noexcept; // constexpr in C++17 50*5ffd83dbSDimitry Andric const_iterator cend() const noexcept; // constexpr in C++17 51*5ffd83dbSDimitry Andric const_reverse_iterator crbegin() const noexcept; // constexpr in C++17 52*5ffd83dbSDimitry Andric const_reverse_iterator crend() const noexcept; // constexpr in C++17 530b57cec5SDimitry Andric 540b57cec5SDimitry Andric // capacity: 550b57cec5SDimitry Andric constexpr size_type size() const noexcept; 560b57cec5SDimitry Andric constexpr size_type max_size() const noexcept; 570b57cec5SDimitry Andric constexpr bool empty() const noexcept; 580b57cec5SDimitry Andric 590b57cec5SDimitry Andric // element access: 60*5ffd83dbSDimitry Andric reference operator[](size_type n); // constexpr in C++17 610b57cec5SDimitry Andric const_reference operator[](size_type n) const; // constexpr in C++14 62*5ffd83dbSDimitry Andric reference at(size_type n); // constexpr in C++17 630b57cec5SDimitry Andric const_reference at(size_type n) const; // constexpr in C++14 640b57cec5SDimitry Andric 65*5ffd83dbSDimitry Andric reference front(); // constexpr in C++17 660b57cec5SDimitry Andric const_reference front() const; // constexpr in C++14 67*5ffd83dbSDimitry Andric reference back(); // constexpr in C++17 680b57cec5SDimitry Andric const_reference back() const; // constexpr in C++14 690b57cec5SDimitry Andric 70*5ffd83dbSDimitry Andric T* data() noexcept; // constexpr in C++17 71*5ffd83dbSDimitry Andric const T* data() const noexcept; // constexpr in C++17 720b57cec5SDimitry Andric}; 730b57cec5SDimitry Andric 740b57cec5SDimitry Andrictemplate <class T, class... U> 75*5ffd83dbSDimitry Andric array(T, U...) -> array<T, 1 + sizeof...(U)>; // C++17 760b57cec5SDimitry Andric 770b57cec5SDimitry Andrictemplate <class T, size_t N> 78*5ffd83dbSDimitry Andric bool operator==(const array<T,N>& x, const array<T,N>& y); // constexpr in C++20 790b57cec5SDimitry Andrictemplate <class T, size_t N> 80*5ffd83dbSDimitry Andric bool operator!=(const array<T,N>& x, const array<T,N>& y); // constexpr in C++20 810b57cec5SDimitry Andrictemplate <class T, size_t N> 82*5ffd83dbSDimitry Andric bool operator<(const array<T,N>& x, const array<T,N>& y); // constexpr in C++20 830b57cec5SDimitry Andrictemplate <class T, size_t N> 84*5ffd83dbSDimitry Andric bool operator>(const array<T,N>& x, const array<T,N>& y); // constexpr in C++20 850b57cec5SDimitry Andrictemplate <class T, size_t N> 86*5ffd83dbSDimitry Andric bool operator<=(const array<T,N>& x, const array<T,N>& y); // constexpr in C++20 870b57cec5SDimitry Andrictemplate <class T, size_t N> 88*5ffd83dbSDimitry Andric bool operator>=(const array<T,N>& x, const array<T,N>& y); // constexpr in C++20 890b57cec5SDimitry Andric 900b57cec5SDimitry Andrictemplate <class T, size_t N > 91*5ffd83dbSDimitry Andric void swap(array<T,N>& x, array<T,N>& y) noexcept(noexcept(x.swap(y))); // constexpr in C++20 92*5ffd83dbSDimitry Andric 93*5ffd83dbSDimitry Andrictemplate <class T, size_t N> 94*5ffd83dbSDimitry Andric constexpr array<remove_cv_t<T>, N> to_array(T (&a)[N]); // C++20 95*5ffd83dbSDimitry Andrictemplate <class T, size_t N> 96*5ffd83dbSDimitry Andric constexpr array<remove_cv_t<T>, N> to_array(T (&&a)[N]); // C++20 970b57cec5SDimitry Andric 980b57cec5SDimitry Andrictemplate <class T> struct tuple_size; 990b57cec5SDimitry Andrictemplate <size_t I, class T> struct tuple_element; 1000b57cec5SDimitry Andrictemplate <class T, size_t N> struct tuple_size<array<T, N>>; 1010b57cec5SDimitry Andrictemplate <size_t I, class T, size_t N> struct tuple_element<I, array<T, N>>; 1020b57cec5SDimitry Andrictemplate <size_t I, class T, size_t N> T& get(array<T, N>&) noexcept; // constexpr in C++14 1030b57cec5SDimitry Andrictemplate <size_t I, class T, size_t N> const T& get(const array<T, N>&) noexcept; // constexpr in C++14 1040b57cec5SDimitry Andrictemplate <size_t I, class T, size_t N> T&& get(array<T, N>&&) noexcept; // constexpr in C++14 1050b57cec5SDimitry Andrictemplate <size_t I, class T, size_t N> const T&& get(const array<T, N>&&) noexcept; // constexpr in C++14 1060b57cec5SDimitry Andric 1070b57cec5SDimitry Andric} // std 1080b57cec5SDimitry Andric 1090b57cec5SDimitry Andric*/ 1100b57cec5SDimitry Andric 1110b57cec5SDimitry Andric#include <__config> 1120b57cec5SDimitry Andric#include <__tuple> 1130b57cec5SDimitry Andric#include <type_traits> 1140b57cec5SDimitry Andric#include <utility> 1150b57cec5SDimitry Andric#include <iterator> 1160b57cec5SDimitry Andric#include <algorithm> 1170b57cec5SDimitry Andric#include <stdexcept> 1180b57cec5SDimitry Andric#include <cstdlib> // for _LIBCPP_UNREACHABLE 1190b57cec5SDimitry Andric#include <version> 1200b57cec5SDimitry Andric#include <__debug> 1210b57cec5SDimitry Andric 1220b57cec5SDimitry Andric#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 1230b57cec5SDimitry Andric#pragma GCC system_header 1240b57cec5SDimitry Andric#endif 1250b57cec5SDimitry Andric 1260b57cec5SDimitry Andric 1270b57cec5SDimitry Andric 1280b57cec5SDimitry Andric_LIBCPP_BEGIN_NAMESPACE_STD 1290b57cec5SDimitry Andric 1300b57cec5SDimitry Andric 1310b57cec5SDimitry Andrictemplate <class _Tp, size_t _Size> 1320b57cec5SDimitry Andricstruct _LIBCPP_TEMPLATE_VIS array 1330b57cec5SDimitry Andric{ 1340b57cec5SDimitry Andric // types: 1350b57cec5SDimitry Andric typedef array __self; 1360b57cec5SDimitry Andric typedef _Tp value_type; 1370b57cec5SDimitry Andric typedef value_type& reference; 1380b57cec5SDimitry Andric typedef const value_type& const_reference; 1390b57cec5SDimitry Andric typedef value_type* iterator; 1400b57cec5SDimitry Andric typedef const value_type* const_iterator; 1410b57cec5SDimitry Andric typedef value_type* pointer; 1420b57cec5SDimitry Andric typedef const value_type* const_pointer; 1430b57cec5SDimitry Andric typedef size_t size_type; 1440b57cec5SDimitry Andric typedef ptrdiff_t difference_type; 1450b57cec5SDimitry Andric typedef std::reverse_iterator<iterator> reverse_iterator; 1460b57cec5SDimitry Andric typedef std::reverse_iterator<const_iterator> const_reverse_iterator; 1470b57cec5SDimitry Andric 1480b57cec5SDimitry Andric _Tp __elems_[_Size]; 1490b57cec5SDimitry Andric 1500b57cec5SDimitry Andric // No explicit construct/copy/destroy for aggregate type 151*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX17 152*5ffd83dbSDimitry Andric void fill(const value_type& __u) { 153*5ffd83dbSDimitry Andric _VSTD::fill_n(data(), _Size, __u); 1540b57cec5SDimitry Andric } 1550b57cec5SDimitry Andric 156*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX17 1570b57cec5SDimitry Andric void swap(array& __a) _NOEXCEPT_(__is_nothrow_swappable<_Tp>::value) { 158*5ffd83dbSDimitry Andric std::swap_ranges(data(), data() + _Size, __a.data()); 1590b57cec5SDimitry Andric } 1600b57cec5SDimitry Andric 1610b57cec5SDimitry Andric // iterators: 1620b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 1630b57cec5SDimitry Andric iterator begin() _NOEXCEPT {return iterator(data());} 1640b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 1650b57cec5SDimitry Andric const_iterator begin() const _NOEXCEPT {return const_iterator(data());} 1660b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 1670b57cec5SDimitry Andric iterator end() _NOEXCEPT {return iterator(data() + _Size);} 1680b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 1690b57cec5SDimitry Andric const_iterator end() const _NOEXCEPT {return const_iterator(data() + _Size);} 1700b57cec5SDimitry Andric 1710b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 1720b57cec5SDimitry Andric reverse_iterator rbegin() _NOEXCEPT {return reverse_iterator(end());} 1730b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 1740b57cec5SDimitry Andric const_reverse_iterator rbegin() const _NOEXCEPT {return const_reverse_iterator(end());} 1750b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 1760b57cec5SDimitry Andric reverse_iterator rend() _NOEXCEPT {return reverse_iterator(begin());} 1770b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 1780b57cec5SDimitry Andric const_reverse_iterator rend() const _NOEXCEPT {return const_reverse_iterator(begin());} 1790b57cec5SDimitry Andric 1800b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 1810b57cec5SDimitry Andric const_iterator cbegin() const _NOEXCEPT {return begin();} 1820b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 1830b57cec5SDimitry Andric const_iterator cend() const _NOEXCEPT {return end();} 1840b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 1850b57cec5SDimitry Andric const_reverse_iterator crbegin() const _NOEXCEPT {return rbegin();} 1860b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 1870b57cec5SDimitry Andric const_reverse_iterator crend() const _NOEXCEPT {return rend();} 1880b57cec5SDimitry Andric 1890b57cec5SDimitry Andric // capacity: 1900b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY 1910b57cec5SDimitry Andric _LIBCPP_CONSTEXPR size_type size() const _NOEXCEPT {return _Size;} 1920b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY 1930b57cec5SDimitry Andric _LIBCPP_CONSTEXPR size_type max_size() const _NOEXCEPT {return _Size;} 1940b57cec5SDimitry Andric _LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_INLINE_VISIBILITY 195*5ffd83dbSDimitry Andric _LIBCPP_CONSTEXPR bool empty() const _NOEXCEPT {return _Size == 0;} 1960b57cec5SDimitry Andric 1970b57cec5SDimitry Andric // element access: 1980b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 199*5ffd83dbSDimitry Andric reference operator[](size_type __n) _NOEXCEPT { 200*5ffd83dbSDimitry Andric _LIBCPP_ASSERT(__n < _Size, "out-of-bounds access in std::array<T, N>"); 201*5ffd83dbSDimitry Andric return __elems_[__n]; 202*5ffd83dbSDimitry Andric } 2030b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 204*5ffd83dbSDimitry Andric const_reference operator[](size_type __n) const _NOEXCEPT { 205*5ffd83dbSDimitry Andric _LIBCPP_ASSERT(__n < _Size, "out-of-bounds access in std::array<T, N>"); 206*5ffd83dbSDimitry Andric return __elems_[__n]; 207*5ffd83dbSDimitry Andric } 2080b57cec5SDimitry Andric 209*5ffd83dbSDimitry Andric _LIBCPP_CONSTEXPR_AFTER_CXX14 reference at(size_type __n) 210*5ffd83dbSDimitry Andric { 211*5ffd83dbSDimitry Andric if (__n >= _Size) 212*5ffd83dbSDimitry Andric __throw_out_of_range("array::at"); 213*5ffd83dbSDimitry Andric return __elems_[__n]; 214*5ffd83dbSDimitry Andric } 2150b57cec5SDimitry Andric 216*5ffd83dbSDimitry Andric _LIBCPP_CONSTEXPR_AFTER_CXX11 const_reference at(size_type __n) const 217*5ffd83dbSDimitry Andric { 218*5ffd83dbSDimitry Andric if (__n >= _Size) 219*5ffd83dbSDimitry Andric __throw_out_of_range("array::at"); 220*5ffd83dbSDimitry Andric return __elems_[__n]; 221*5ffd83dbSDimitry Andric } 222*5ffd83dbSDimitry Andric 223*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 reference front() _NOEXCEPT {return (*this)[0];} 224*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 const_reference front() const _NOEXCEPT {return (*this)[0];} 225*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 reference back() _NOEXCEPT {return (*this)[_Size - 1];} 226*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 const_reference back() const _NOEXCEPT {return (*this)[_Size - 1];} 2270b57cec5SDimitry Andric 2280b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2290b57cec5SDimitry Andric value_type* data() _NOEXCEPT {return __elems_;} 2300b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2310b57cec5SDimitry Andric const value_type* data() const _NOEXCEPT {return __elems_;} 2320b57cec5SDimitry Andric}; 2330b57cec5SDimitry Andric 2340b57cec5SDimitry Andrictemplate <class _Tp> 2350b57cec5SDimitry Andricstruct _LIBCPP_TEMPLATE_VIS array<_Tp, 0> 2360b57cec5SDimitry Andric{ 2370b57cec5SDimitry Andric // types: 2380b57cec5SDimitry Andric typedef array __self; 2390b57cec5SDimitry Andric typedef _Tp value_type; 2400b57cec5SDimitry Andric typedef value_type& reference; 2410b57cec5SDimitry Andric typedef const value_type& const_reference; 2420b57cec5SDimitry Andric typedef value_type* iterator; 2430b57cec5SDimitry Andric typedef const value_type* const_iterator; 2440b57cec5SDimitry Andric typedef value_type* pointer; 2450b57cec5SDimitry Andric typedef const value_type* const_pointer; 2460b57cec5SDimitry Andric typedef size_t size_type; 2470b57cec5SDimitry Andric typedef ptrdiff_t difference_type; 2480b57cec5SDimitry Andric typedef std::reverse_iterator<iterator> reverse_iterator; 2490b57cec5SDimitry Andric typedef std::reverse_iterator<const_iterator> const_reverse_iterator; 2500b57cec5SDimitry Andric 2510b57cec5SDimitry Andric typedef typename conditional<is_const<_Tp>::value, const char, 2520b57cec5SDimitry Andric char>::type _CharType; 2530b57cec5SDimitry Andric 2540b57cec5SDimitry Andric struct _ArrayInStructT { _Tp __data_[1]; }; 2550b57cec5SDimitry Andric _ALIGNAS_TYPE(_ArrayInStructT) _CharType __elems_[sizeof(_ArrayInStructT)]; 2560b57cec5SDimitry Andric 257*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 258*5ffd83dbSDimitry Andric value_type* data() _NOEXCEPT {return nullptr;} 259*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 260*5ffd83dbSDimitry Andric const value_type* data() const _NOEXCEPT {return nullptr;} 261*5ffd83dbSDimitry Andric 2620b57cec5SDimitry Andric // No explicit construct/copy/destroy for aggregate type 263*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX17 264*5ffd83dbSDimitry Andric void fill(const value_type&) { 2650b57cec5SDimitry Andric static_assert(!is_const<_Tp>::value, 2660b57cec5SDimitry Andric "cannot fill zero-sized array of type 'const T'"); 2670b57cec5SDimitry Andric } 2680b57cec5SDimitry Andric 269*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX17 2700b57cec5SDimitry Andric void swap(array&) _NOEXCEPT { 2710b57cec5SDimitry Andric static_assert(!is_const<_Tp>::value, 2720b57cec5SDimitry Andric "cannot swap zero-sized array of type 'const T'"); 2730b57cec5SDimitry Andric } 2740b57cec5SDimitry Andric 2750b57cec5SDimitry Andric // iterators: 276*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2770b57cec5SDimitry Andric iterator begin() _NOEXCEPT {return iterator(data());} 278*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2790b57cec5SDimitry Andric const_iterator begin() const _NOEXCEPT {return const_iterator(data());} 280*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2810b57cec5SDimitry Andric iterator end() _NOEXCEPT {return iterator(data());} 282*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2830b57cec5SDimitry Andric const_iterator end() const _NOEXCEPT {return const_iterator(data());} 2840b57cec5SDimitry Andric 285*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2860b57cec5SDimitry Andric reverse_iterator rbegin() _NOEXCEPT {return reverse_iterator(end());} 287*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2880b57cec5SDimitry Andric const_reverse_iterator rbegin() const _NOEXCEPT {return const_reverse_iterator(end());} 289*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2900b57cec5SDimitry Andric reverse_iterator rend() _NOEXCEPT {return reverse_iterator(begin());} 291*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2920b57cec5SDimitry Andric const_reverse_iterator rend() const _NOEXCEPT {return const_reverse_iterator(begin());} 2930b57cec5SDimitry Andric 294*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2950b57cec5SDimitry Andric const_iterator cbegin() const _NOEXCEPT {return begin();} 296*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2970b57cec5SDimitry Andric const_iterator cend() const _NOEXCEPT {return end();} 298*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 2990b57cec5SDimitry Andric const_reverse_iterator crbegin() const _NOEXCEPT {return rbegin();} 300*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 3010b57cec5SDimitry Andric const_reverse_iterator crend() const _NOEXCEPT {return rend();} 3020b57cec5SDimitry Andric 3030b57cec5SDimitry Andric // capacity: 3040b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY 3050b57cec5SDimitry Andric _LIBCPP_CONSTEXPR size_type size() const _NOEXCEPT {return 0; } 3060b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY 3070b57cec5SDimitry Andric _LIBCPP_CONSTEXPR size_type max_size() const _NOEXCEPT {return 0;} 3080b57cec5SDimitry Andric _LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_INLINE_VISIBILITY 3090b57cec5SDimitry Andric _LIBCPP_CONSTEXPR bool empty() const _NOEXCEPT {return true;} 3100b57cec5SDimitry Andric 3110b57cec5SDimitry Andric // element access: 312*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 3130b57cec5SDimitry Andric reference operator[](size_type) _NOEXCEPT { 3140b57cec5SDimitry Andric _LIBCPP_ASSERT(false, "cannot call array<T, 0>::operator[] on a zero-sized array"); 3150b57cec5SDimitry Andric _LIBCPP_UNREACHABLE(); 3160b57cec5SDimitry Andric } 3170b57cec5SDimitry Andric 3180b57cec5SDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 3190b57cec5SDimitry Andric const_reference operator[](size_type) const _NOEXCEPT { 3200b57cec5SDimitry Andric _LIBCPP_ASSERT(false, "cannot call array<T, 0>::operator[] on a zero-sized array"); 3210b57cec5SDimitry Andric _LIBCPP_UNREACHABLE(); 3220b57cec5SDimitry Andric } 3230b57cec5SDimitry Andric 324*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 3250b57cec5SDimitry Andric reference at(size_type) { 3260b57cec5SDimitry Andric __throw_out_of_range("array<T, 0>::at"); 3270b57cec5SDimitry Andric _LIBCPP_UNREACHABLE(); 3280b57cec5SDimitry Andric } 3290b57cec5SDimitry Andric 330*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 3310b57cec5SDimitry Andric const_reference at(size_type) const { 3320b57cec5SDimitry Andric __throw_out_of_range("array<T, 0>::at"); 3330b57cec5SDimitry Andric _LIBCPP_UNREACHABLE(); 3340b57cec5SDimitry Andric } 3350b57cec5SDimitry Andric 336*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 3370b57cec5SDimitry Andric reference front() _NOEXCEPT { 3380b57cec5SDimitry Andric _LIBCPP_ASSERT(false, "cannot call array<T, 0>::front() on a zero-sized array"); 3390b57cec5SDimitry Andric _LIBCPP_UNREACHABLE(); 3400b57cec5SDimitry Andric } 3410b57cec5SDimitry Andric 342*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 3430b57cec5SDimitry Andric const_reference front() const _NOEXCEPT { 3440b57cec5SDimitry Andric _LIBCPP_ASSERT(false, "cannot call array<T, 0>::front() on a zero-sized array"); 3450b57cec5SDimitry Andric _LIBCPP_UNREACHABLE(); 3460b57cec5SDimitry Andric } 3470b57cec5SDimitry Andric 348*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 3490b57cec5SDimitry Andric reference back() _NOEXCEPT { 3500b57cec5SDimitry Andric _LIBCPP_ASSERT(false, "cannot call array<T, 0>::back() on a zero-sized array"); 3510b57cec5SDimitry Andric _LIBCPP_UNREACHABLE(); 3520b57cec5SDimitry Andric } 3530b57cec5SDimitry Andric 354*5ffd83dbSDimitry Andric _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 3550b57cec5SDimitry Andric const_reference back() const _NOEXCEPT { 3560b57cec5SDimitry Andric _LIBCPP_ASSERT(false, "cannot call array<T, 0>::back() on a zero-sized array"); 3570b57cec5SDimitry Andric _LIBCPP_UNREACHABLE(); 3580b57cec5SDimitry Andric } 3590b57cec5SDimitry Andric}; 3600b57cec5SDimitry Andric 3610b57cec5SDimitry Andric 3620b57cec5SDimitry Andric#ifndef _LIBCPP_HAS_NO_DEDUCTION_GUIDES 3630b57cec5SDimitry Andrictemplate<class _Tp, class... _Args, 36462cfcf62SDimitry Andric class = _EnableIf<__all<_IsSame<_Tp, _Args>::value...>::value> 3650b57cec5SDimitry Andric > 3660b57cec5SDimitry Andricarray(_Tp, _Args...) 3670b57cec5SDimitry Andric -> array<_Tp, 1 + sizeof...(_Args)>; 3680b57cec5SDimitry Andric#endif 3690b57cec5SDimitry Andric 3700b57cec5SDimitry Andrictemplate <class _Tp, size_t _Size> 3710b57cec5SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY 3720b57cec5SDimitry Andric_LIBCPP_CONSTEXPR_AFTER_CXX17 bool 3730b57cec5SDimitry Andricoperator==(const array<_Tp, _Size>& __x, const array<_Tp, _Size>& __y) 3740b57cec5SDimitry Andric{ 3750b57cec5SDimitry Andric return _VSTD::equal(__x.begin(), __x.end(), __y.begin()); 3760b57cec5SDimitry Andric} 3770b57cec5SDimitry Andric 3780b57cec5SDimitry Andrictemplate <class _Tp, size_t _Size> 3790b57cec5SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY 3800b57cec5SDimitry Andric_LIBCPP_CONSTEXPR_AFTER_CXX17 bool 3810b57cec5SDimitry Andricoperator!=(const array<_Tp, _Size>& __x, const array<_Tp, _Size>& __y) 3820b57cec5SDimitry Andric{ 3830b57cec5SDimitry Andric return !(__x == __y); 3840b57cec5SDimitry Andric} 3850b57cec5SDimitry Andric 3860b57cec5SDimitry Andrictemplate <class _Tp, size_t _Size> 3870b57cec5SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY 3880b57cec5SDimitry Andric_LIBCPP_CONSTEXPR_AFTER_CXX17 bool 3890b57cec5SDimitry Andricoperator<(const array<_Tp, _Size>& __x, const array<_Tp, _Size>& __y) 3900b57cec5SDimitry Andric{ 3910b57cec5SDimitry Andric return _VSTD::lexicographical_compare(__x.begin(), __x.end(), 3920b57cec5SDimitry Andric __y.begin(), __y.end()); 3930b57cec5SDimitry Andric} 3940b57cec5SDimitry Andric 3950b57cec5SDimitry Andrictemplate <class _Tp, size_t _Size> 3960b57cec5SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY 3970b57cec5SDimitry Andric_LIBCPP_CONSTEXPR_AFTER_CXX17 bool 3980b57cec5SDimitry Andricoperator>(const array<_Tp, _Size>& __x, const array<_Tp, _Size>& __y) 3990b57cec5SDimitry Andric{ 4000b57cec5SDimitry Andric return __y < __x; 4010b57cec5SDimitry Andric} 4020b57cec5SDimitry Andric 4030b57cec5SDimitry Andrictemplate <class _Tp, size_t _Size> 4040b57cec5SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY 4050b57cec5SDimitry Andric_LIBCPP_CONSTEXPR_AFTER_CXX17 bool 4060b57cec5SDimitry Andricoperator<=(const array<_Tp, _Size>& __x, const array<_Tp, _Size>& __y) 4070b57cec5SDimitry Andric{ 4080b57cec5SDimitry Andric return !(__y < __x); 4090b57cec5SDimitry Andric} 4100b57cec5SDimitry Andric 4110b57cec5SDimitry Andrictemplate <class _Tp, size_t _Size> 4120b57cec5SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY 4130b57cec5SDimitry Andric_LIBCPP_CONSTEXPR_AFTER_CXX17 bool 4140b57cec5SDimitry Andricoperator>=(const array<_Tp, _Size>& __x, const array<_Tp, _Size>& __y) 4150b57cec5SDimitry Andric{ 4160b57cec5SDimitry Andric return !(__x < __y); 4170b57cec5SDimitry Andric} 4180b57cec5SDimitry Andric 4190b57cec5SDimitry Andrictemplate <class _Tp, size_t _Size> 420*5ffd83dbSDimitry Andricinline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX17 4210b57cec5SDimitry Andrictypename enable_if 4220b57cec5SDimitry Andric< 4230b57cec5SDimitry Andric _Size == 0 || 4240b57cec5SDimitry Andric __is_swappable<_Tp>::value, 4250b57cec5SDimitry Andric void 4260b57cec5SDimitry Andric>::type 4270b57cec5SDimitry Andricswap(array<_Tp, _Size>& __x, array<_Tp, _Size>& __y) 4280b57cec5SDimitry Andric _NOEXCEPT_(noexcept(__x.swap(__y))) 4290b57cec5SDimitry Andric{ 4300b57cec5SDimitry Andric __x.swap(__y); 4310b57cec5SDimitry Andric} 4320b57cec5SDimitry Andric 4330b57cec5SDimitry Andrictemplate <class _Tp, size_t _Size> 4340b57cec5SDimitry Andricstruct _LIBCPP_TEMPLATE_VIS tuple_size<array<_Tp, _Size> > 4350b57cec5SDimitry Andric : public integral_constant<size_t, _Size> {}; 4360b57cec5SDimitry Andric 4370b57cec5SDimitry Andrictemplate <size_t _Ip, class _Tp, size_t _Size> 4380b57cec5SDimitry Andricstruct _LIBCPP_TEMPLATE_VIS tuple_element<_Ip, array<_Tp, _Size> > 4390b57cec5SDimitry Andric{ 4400b57cec5SDimitry Andric static_assert(_Ip < _Size, "Index out of bounds in std::tuple_element<> (std::array)"); 4410b57cec5SDimitry Andric typedef _Tp type; 4420b57cec5SDimitry Andric}; 4430b57cec5SDimitry Andric 4440b57cec5SDimitry Andrictemplate <size_t _Ip, class _Tp, size_t _Size> 4450b57cec5SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 4460b57cec5SDimitry Andric_Tp& 4470b57cec5SDimitry Andricget(array<_Tp, _Size>& __a) _NOEXCEPT 4480b57cec5SDimitry Andric{ 4490b57cec5SDimitry Andric static_assert(_Ip < _Size, "Index out of bounds in std::get<> (std::array)"); 4500b57cec5SDimitry Andric return __a.__elems_[_Ip]; 4510b57cec5SDimitry Andric} 4520b57cec5SDimitry Andric 4530b57cec5SDimitry Andrictemplate <size_t _Ip, class _Tp, size_t _Size> 4540b57cec5SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 4550b57cec5SDimitry Andricconst _Tp& 4560b57cec5SDimitry Andricget(const array<_Tp, _Size>& __a) _NOEXCEPT 4570b57cec5SDimitry Andric{ 4580b57cec5SDimitry Andric static_assert(_Ip < _Size, "Index out of bounds in std::get<> (const std::array)"); 4590b57cec5SDimitry Andric return __a.__elems_[_Ip]; 4600b57cec5SDimitry Andric} 4610b57cec5SDimitry Andric 4620b57cec5SDimitry Andric#ifndef _LIBCPP_CXX03_LANG 4630b57cec5SDimitry Andric 4640b57cec5SDimitry Andrictemplate <size_t _Ip, class _Tp, size_t _Size> 4650b57cec5SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 4660b57cec5SDimitry Andric_Tp&& 4670b57cec5SDimitry Andricget(array<_Tp, _Size>&& __a) _NOEXCEPT 4680b57cec5SDimitry Andric{ 4690b57cec5SDimitry Andric static_assert(_Ip < _Size, "Index out of bounds in std::get<> (std::array &&)"); 4700b57cec5SDimitry Andric return _VSTD::move(__a.__elems_[_Ip]); 4710b57cec5SDimitry Andric} 4720b57cec5SDimitry Andric 4730b57cec5SDimitry Andrictemplate <size_t _Ip, class _Tp, size_t _Size> 4740b57cec5SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 4750b57cec5SDimitry Andricconst _Tp&& 4760b57cec5SDimitry Andricget(const array<_Tp, _Size>&& __a) _NOEXCEPT 4770b57cec5SDimitry Andric{ 4780b57cec5SDimitry Andric static_assert(_Ip < _Size, "Index out of bounds in std::get<> (const std::array &&)"); 4790b57cec5SDimitry Andric return _VSTD::move(__a.__elems_[_Ip]); 4800b57cec5SDimitry Andric} 4810b57cec5SDimitry Andric 4820b57cec5SDimitry Andric#endif // !_LIBCPP_CXX03_LANG 4830b57cec5SDimitry Andric 484*5ffd83dbSDimitry Andric#if _LIBCPP_STD_VER > 17 485*5ffd83dbSDimitry Andric 486*5ffd83dbSDimitry Andrictemplate <typename _Tp, size_t _Size, size_t... _Index> 487*5ffd83dbSDimitry Andric_LIBCPP_INLINE_VISIBILITY constexpr array<remove_cv_t<_Tp>, _Size> 488*5ffd83dbSDimitry Andric__to_array_lvalue_impl(_Tp (&__arr)[_Size], index_sequence<_Index...>) { 489*5ffd83dbSDimitry Andric return {{__arr[_Index]...}}; 490*5ffd83dbSDimitry Andric} 491*5ffd83dbSDimitry Andric 492*5ffd83dbSDimitry Andrictemplate <typename _Tp, size_t _Size, size_t... _Index> 493*5ffd83dbSDimitry Andric_LIBCPP_INLINE_VISIBILITY constexpr array<remove_cv_t<_Tp>, _Size> 494*5ffd83dbSDimitry Andric__to_array_rvalue_impl(_Tp(&&__arr)[_Size], index_sequence<_Index...>) { 495*5ffd83dbSDimitry Andric return {{_VSTD::move(__arr[_Index])...}}; 496*5ffd83dbSDimitry Andric} 497*5ffd83dbSDimitry Andric 498*5ffd83dbSDimitry Andrictemplate <typename _Tp, size_t _Size> 499*5ffd83dbSDimitry Andric_LIBCPP_INLINE_VISIBILITY constexpr array<remove_cv_t<_Tp>, _Size> 500*5ffd83dbSDimitry Andricto_array(_Tp (&__arr)[_Size]) noexcept(is_nothrow_constructible_v<_Tp, _Tp&>) { 501*5ffd83dbSDimitry Andric static_assert( 502*5ffd83dbSDimitry Andric !is_array_v<_Tp>, 503*5ffd83dbSDimitry Andric "[array.creation]/1: to_array does not accept multidimensional arrays."); 504*5ffd83dbSDimitry Andric static_assert( 505*5ffd83dbSDimitry Andric is_constructible_v<_Tp, _Tp&>, 506*5ffd83dbSDimitry Andric "[array.creation]/1: to_array requires copy constructible elements."); 507*5ffd83dbSDimitry Andric return __to_array_lvalue_impl(__arr, make_index_sequence<_Size>()); 508*5ffd83dbSDimitry Andric} 509*5ffd83dbSDimitry Andric 510*5ffd83dbSDimitry Andrictemplate <typename _Tp, size_t _Size> 511*5ffd83dbSDimitry Andric_LIBCPP_INLINE_VISIBILITY constexpr array<remove_cv_t<_Tp>, _Size> 512*5ffd83dbSDimitry Andricto_array(_Tp(&&__arr)[_Size]) noexcept(is_nothrow_move_constructible_v<_Tp>) { 513*5ffd83dbSDimitry Andric static_assert( 514*5ffd83dbSDimitry Andric !is_array_v<_Tp>, 515*5ffd83dbSDimitry Andric "[array.creation]/4: to_array does not accept multidimensional arrays."); 516*5ffd83dbSDimitry Andric static_assert( 517*5ffd83dbSDimitry Andric is_move_constructible_v<_Tp>, 518*5ffd83dbSDimitry Andric "[array.creation]/4: to_array requires move constructible elements."); 519*5ffd83dbSDimitry Andric return __to_array_rvalue_impl(_VSTD::move(__arr), 520*5ffd83dbSDimitry Andric make_index_sequence<_Size>()); 521*5ffd83dbSDimitry Andric} 522*5ffd83dbSDimitry Andric 523*5ffd83dbSDimitry Andric#endif // _LIBCPP_STD_VER > 17 524*5ffd83dbSDimitry Andric 5250b57cec5SDimitry Andric_LIBCPP_END_NAMESPACE_STD 5260b57cec5SDimitry Andric 5270b57cec5SDimitry Andric#endif // _LIBCPP_ARRAY 528