array.hpp

Go to the documentation of this file.

 
/*
 * This file is part of Algorithms library toolkit.
 * Copyright (C) 2017 Jan Travnicek (jan.travnicek@fit.cvut.cz)
 
 * Algorithms library toolkit is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 
 * Algorithms library toolkit is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 
 * You should have received a copy of the GNU General Public License
 * along with Algorithms library toolkit.  If not, see <http://www.gnu.org/licenses/>.
 */
 
#pragma once
 
#include <array>
 
#include <ext/ostream>
 
#include <extensions/range.hpp>
 
namespace std {
 
namespace experimental {
 
namespace details {
 
template <class D, class...> struct return_type_helper { using type = D; };
template <class... Types>
struct return_type_helper<void, Types...> : std::common_type<Types...> {};
 
template <class D, class... Types>
using return_type = std::array<typename return_type_helper<D, Types...>::type,
                                 sizeof...(Types)>;
}
 
template < class D = void, class... Types>
constexpr details::return_type<D, Types...> make_array(Types&&... t) {
  return {{std::forward<Types>(t)... }};
}
 
} /* namespace experimental */
 
} /* namespace std */ //FIXME remove whole thing when make_array gets from experimental to the standard
 
namespace ext {
 
template < class T, std::size_t N >
class array : public std::array < T, N > {
public:
    using std::array < T, N >::array; // NOLINT(modernize-use-equals-default)
 
    using std::array < T, N >::operator =;
 
#ifndef __clang__
 
    array ( ) = default;
 
    array ( const array & other ) = default;
 
    array ( array && other ) = default;
 
    array & operator = ( array && other ) = default;
 
    array & operator = ( const array & other ) = default;
 
#endif
 
    template < class ... Types >
    requires ( std::is_same < T, typename std::remove_reference < Types >::type >::value && ... )
    explicit array ( Types && ... args ) : std::array < T, N > ( std::experimental::make_array ( std::forward < Types > ( args ) ... ) ) {
    }
 
    auto begin ( ) & {
        return std::array < T, N >::begin ( );
    }
 
    auto begin ( ) const & {
        return std::array < T, N >::begin ( );
    }
 
    auto begin ( ) && {
        return make_move_iterator ( this->begin ( ) );
    }
 
    auto end ( ) & {
        return std::array < T, N >::end ( );
    }
 
    auto end ( ) const & {
        return std::array < T, N >::end ( );
    }
 
    auto end ( ) && {
        return make_move_iterator ( this->end ( ) );
    }
 
    auto range ( ) & {
        auto endIter = end ( );
        auto beginIter = begin ( );
        return ext::iterator_range < decltype ( endIter ) > ( beginIter, endIter );
    }
 
    auto range ( ) const & {
        auto endIter = end ( );
        auto beginIter = begin ( );
        return ext::iterator_range < decltype ( endIter ) > ( beginIter, endIter );
    }
 
    auto range ( ) && {
        auto endIter = std::move ( * this ).end ( );
        auto beginIter = std::move ( * this ).begin ( );
        return ext::iterator_range < decltype ( endIter ) > ( beginIter, endIter );
    }
};
 
template< class T, std::size_t N >
ext::ostream& operator<<(ext::ostream& out, const ext::array < T, N > & array) {
    out << "[";
 
    bool first = true;
    for(const T& item : array) {
        if(!first) out << ", ";
        first = false;
        out << item;
    }
 
    out << "]";
    return out;
}
 
template < typename Base, typename ... Types >
constexpr array < typename std::remove_reference < Base >::type, sizeof ... ( Types ) + 1 > make_array ( Base && first, Types && ... other ) {
    return array < typename std::remove_reference < Base >::type, sizeof ... ( Types ) + 1 > ( std::forward < Base > ( first ), std::forward < Types > ( other ) ... );
}
 
template < typename Base >
constexpr array < typename std::remove_reference < Base >::type, 0 > make_array ( ) {
    return array < typename std::remove_reference < Base >::type, 0 > ( );
}
 
} /* namespace ext */