hash2/test/is_uniquely_represented.cpp

// Copyright 2017, 2019 Peter Dimov.
// Distributed under the Boost Software License, Version 1.0.

#include <boost/hash2/is_uniquely_represented.hpp>
#include <boost/hash2/byte_type.hpp>
#include <boost/core/lightweight_test_trait.hpp>
#include <boost/config.hpp>
#include <cstddef>

class X;

struct Y
{
};

enum E
{
    v
};

template<class T> void test_true_()
{
    using boost::hash2::is_uniquely_represented;

    BOOST_TEST_TRAIT_TRUE((is_uniquely_represented<T>));
    BOOST_TEST_TRAIT_TRUE((is_uniquely_represented<T const>));
    BOOST_TEST_TRAIT_TRUE((is_uniquely_represented<T[2]>));
    BOOST_TEST_TRAIT_TRUE((is_uniquely_represented<T const [2]>));
}

template<class T> void test_false_()
{
    using boost::hash2::is_uniquely_represented;

    BOOST_TEST_TRAIT_FALSE((is_uniquely_represented<T>));
    BOOST_TEST_TRAIT_FALSE((is_uniquely_represented<T const>));
    BOOST_TEST_TRAIT_FALSE((is_uniquely_represented<T[2]>));
    BOOST_TEST_TRAIT_FALSE((is_uniquely_represented<T const [2]>));
}

template<class T> void test_true()
{
    test_true_<T>();
    test_true_<T*>();
    test_true_<T[2]>();
    test_true_<T[2][2]>();
}

template<class T> void test_false()
{
    test_false_<T>();
    test_true_<T*>();
    test_false_<T[2]>();
    test_false_<T[2][2]>();
}

int main()
{
    test_true_<bool>();

    test_true_<char>();
    test_true_<signed char>();
    test_true_<unsigned char>();
    test_true_<wchar_t>();

#if !defined(BOOST_NO_CXX11_CHAR16_T)
    test_true_<char16_t>();
#endif

#if !defined(BOOST_NO_CXX11_CHAR32_T)
    test_true_<char32_t>();
#endif

    test_true_<short>();
    test_true_<unsigned short>();
    test_true_<int>();
    test_true_<unsigned int>();
    test_true_<long>();
    test_true_<unsigned long>();
    test_true_<unsigned short>();

    test_false_<float>();
    test_false_<double>();
    test_false_<long double>();

#if !defined(BOOST_NO_CXX11_NULLPTR)
    test_false_<std::nullptr_t>();
#endif

    test_true_<void*>();
    test_true_<void const*>();

    test_true_<void(*)()>();

    test_true_<E>();

    test_false_<X>();
    test_false_<Y>();

    test_true_<boost::hash2::byte_type>();

    return boost::report_errors();
}