// Copyright 2025 Peter Dimov
// Distributed under the Boost Software License, Version 1.0.
// https://www.boost.org/LICENSE_1_0.txt

#include <boost/array.hpp>
#include <boost/core/lightweight_test.hpp>
#include <iterator>
#include <cstddef>

template<class T, std::size_t N> void test1()
{
    {
        boost::array<T, N> a = {{}};

        BOOST_TEST_EQ( a.size(), N );
        BOOST_TEST_EQ( a.empty(), N == 0 );
        BOOST_TEST_EQ( a.max_size(), N );

        (void)a; // msvc-12.0
    }

    {
        boost::array<T, N> const a = {{}};

        BOOST_TEST_EQ( a.size(), N );
        BOOST_TEST_EQ( a.empty(), N == 0 );
        BOOST_TEST_EQ( a.max_size(), N );

        (void)a; // msvc-12.0
    }
}

template<class T, std::size_t N> void test2()
{
    typedef boost::array<T, N> A;

    BOOST_TEST_EQ( A().size(), N );
    BOOST_TEST_EQ( A().empty(), N == 0 );
    BOOST_TEST_EQ( A().max_size(), N );
}

// the functions are static, which deviates from the standard
template<class T, std::size_t N> void test3()
{
    typedef boost::array<T, N> A;

    BOOST_TEST_EQ( A::size(), N );
    BOOST_TEST_EQ( A::empty(), N == 0 );
    BOOST_TEST_EQ( A::max_size(), N );

    BOOST_TEST_EQ( A::static_size, N );
}

int main()
{
    test1<int, 0>();
    test1<int, 1>();
    test1<int, 7>();

    test1<int const, 0>();
    test1<int const, 1>();
    test1<int const, 7>();

    test2<int, 0>();
    test2<int, 1>();
    test2<int, 7>();

    test3<int, 0>();
    test3<int, 1>();
    test3<int, 7>();

    test3<int const, 0>();
    test3<int const, 1>();
    test3<int const, 7>();

    return boost::report_errors();
}