diff --git a/include/boost/array.hpp b/include/boost/array.hpp index 97c9fb7..f957a7d 100644 --- a/include/boost/array.hpp +++ b/include/boost/array.hpp @@ -1,143 +1,135 @@ -// -*-C++-*- array.hpp -// -// -// -// -// -// -// -// -// -// -// - -// Author: Dietmar Kuehl dietmar.kuehl@claas-solutions.de -// Title: STL container support, including support for built-in arrays -// Version: $Id$ - -// -------------------------------------------------------------------------- - -#if !defined(BOOST_ARRAY_HPP) -#define BOOST_ARRAY_HPP 1 - -// -------------------------------------------------------------------------- +/* The following code declares class array, + * an STL container (as wrapper) for arrays of constant size. + * + * See + * http://www.josuttis.com/cppcode + * for details and the latest version. + * + * (C) Copyright Nicolai M. Josuttis 1999. + * Permission to copy, use, modify, sell and distribute this software + * is granted provided this copyright notice appears in all copies. + * This software is provided "as is" without express or implied + * warranty, and with no claim as to its suitability for any purpose. + * + * Jul 31, 2000 + */ +#ifndef BOOST_ARRAY_HPP +#define BOOST_ARRAY_HPP #include +#include +#include +#include -// -------------------------------------------------------------------------- +#include // for std::size_t and std::ptrdiff_t workarounds -namespace boost -{ +namespace boost { - // --- a general version of container traits ------------------------------ + template + class array { + public: + T elems[N]; // fixed-size array of elements of type T - template - struct array_traits - { - typedef typename Cont::iterator iter_type; - typedef typename Cont::size_type size_type; - static iter_type begin(Cont &cont) { return cont.begin(); } - static iter_type end(Cont &cont) { return cont.end(); } - static size_type size(Cont &cont) { return cont.size(); } + public: + // type definitions + typedef T value_type; + typedef T* iterator; + typedef const T* const_iterator; + typedef T& reference; + typedef const T& const_reference; + typedef std::size_t size_type; + typedef std::ptrdiff_t difference_type; + + // iterator support + iterator begin() { return elems; } + const_iterator begin() const { return elems; } + iterator end() { return elems+N; } + const_iterator end() const { return elems+N; } + + // reverse iterator support + typedef std::reverse_iterator reverse_iterator; + typedef std::reverse_iterator const_reverse_iterator; + reverse_iterator rbegin() { return reverse_iterator(end()); } + const_reverse_iterator rbegin() const { + return const_reverse_iterator(end()); + } + reverse_iterator rend() { return reverse_iterator(begin()); } + const_reverse_iterator rend() const { + return const_reverse_iterator(begin()); + } + + // operator[] + reference operator[](size_type i) { return elems[i]; } + const_reference operator[](size_type i) const { return elems[i]; } + + // at() with range check + // note: rangecheck() is public because we have implemented array + // as aggregate, which forbids non-public members + void rangecheck (size_type i) const { + if (i >= size()) { throw std::range_error("array"); } + } + reference at(size_type i) { rangecheck(i); return elems[i]; } + const_reference at(size_type i) const { rangecheck(i); return elems[i]; } + + // front() and back() + reference front() { return elems[0]; } + const_reference front() const { return elems[0]; } + reference back() { return elems[N-1]; } + const_reference back() const { return elems[N-1]; } + + // size is constant + static size_type size() { return N; } + static bool empty() { return false; } + static size_type max_size() { return N; } + enum { static_size = N }; + + // swap (note: linear complexity) + void swap (array& y) { + std::swap_ranges(begin(),end(),y.begin()); + } + + // direct access to data + const T* data() const { return elems; } + + // assignment with type conversion + //template + //T& operator= (const array& rhs) { + // std::copy (begin(),end(),rhs.begin()); + //} }; - // --- a version of container traits for constant constainer -------------- + // comparisons + template + bool operator== (const array& x, const array& y) { + return std::equal(x.begin(), x.end(), y.begin()); + } + template + bool operator< (const array& x, const array& y) { + return std::lexicographical_compare(x.begin(),x.end(),y.begin(),y.end()); + } + template + bool operator!= (const array& x, const array& y) { + return !(x==y); + } + template + bool operator> (const array& x, const array& y) { + return y + bool operator<= (const array& x, const array& y) { + return !(y + bool operator>= (const array& x, const array& y) { + return !(x - struct array_traits - { - typedef typename Cont::const_iterator iter_type; - typedef typename Cont::size_type size_type; - static iter_type begin(Cont const &cont) { return cont.begin(); } - static iter_type end(Cont const &cont) { return cont.end(); } - static size_type size(Cont const &cont) { return cont.size(); } - }; + // global swap() + template + inline void swap (const array& x, const array& y) { + x.swap(y); + } - // --- a special version for non-const built-in arrays -------------------- +} /* namespace boost */ - template - struct array_traits - { - typedef T* iter_type; - typedef size_t size_type; - static iter_type begin(T (&array)[sz]) { return array; } - static iter_type end(T (&array)[sz]) { return array + sz; } - static size_type size(T (&)[sz]) { return sz; } - }; - - // --- a special version for const built-in arrays ------------------------ - - template - struct array_traits - { - typedef T const* iter_type; - typedef size_t size_type; - static iter_type begin(T const (&array)[sz]) { return array; } - static iter_type end(T const (&array)[sz]) { return array + sz; } - static size_type size(T const (&array)[sz]) { return sz; } - }; - - template - inline char (&sizer(T (&)[sz]))[sz]; - - // --- general version of the global accessor functions --------------------- - - template - inline typename array_traits::iter_type - begin(Cont &cont) { return array_traits::begin(cont); } - - template - inline typename array_traits::iter_type - end(Cont &cont) { return array_traits::end(cont); } - - template - inline typename array_traits::size_type - size(Cont &cont) { return array_traits::size(cont); } - - // --- Actually the above should be sufficient but compilers seem ----------- - // --- to welcome some help. So here we go: - - template - inline typename array_traits::iter_type - begin(T (&a)[sz]) { return array_traits::begin(a); } - - template - inline typename array_traits::iter_type - end(T (&a)[sz]) { return array_traits::end(a); } - - template - inline typename array_traits::size_type - size(T (&a)[sz]) { return array_traits::size(a); } - - // --- Apparently the compilers also need some specific help, --------------- - - // --- EDG-2.39 wants to pass around pointers in some contexts -------------- -#ifdef __EDG__ - template - struct array_traits - { - typedef T* iter_type; - typedef size_t size_type; - }; -#endif - - // --- egcs-1998-11-22 apparently likes an extra const version: ------------- -#ifdef __GNUG__ - template - inline typename array_traits::iter_type - begin(T const(&a)[sz]) { return array_traits::begin(a); } - - template - inline typename array_traits::iter_type - end(T const(&a)[sz]) { return array_traits::end(a); } - - template - inline typename array_traits::size_type - size(T const (&a)[sz]) { return array_traits::size(a); } -#endif - -} - -// ----------------------------------------------------------------------------- - -#endif /* BOOST_ARRAY_HPP */ +#endif /*BOOST_ARRAY_HPP*/