69 lines
2.3 KiB
C++
69 lines
2.3 KiB
C++
/*=============================================================================
|
|
Copyright (c) 2017 Paul Fultz II
|
|
identity.cpp
|
|
Distributed under the Boost Software License, Version 1.0. (See accompanying
|
|
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
==============================================================================*/
|
|
#include <boost/hof/identity.hpp>
|
|
#include <boost/hof/is_invocable.hpp>
|
|
#include <boost/hof/detail/move.hpp>
|
|
#include "test.hpp"
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::identity(10) == 10);
|
|
BOOST_HOF_TEST_CHECK(boost::hof::identity(10) == 10);
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
int i = 3;
|
|
BOOST_HOF_TEST_CHECK(boost::hof::identity(i) == 3);
|
|
BOOST_HOF_TEST_CHECK(&boost::hof::identity(i) == &i);
|
|
static_assert(std::is_lvalue_reference<decltype(boost::hof::identity(i))>::value, "Not lvalue");
|
|
static_assert(!std::is_lvalue_reference<decltype(boost::hof::identity(3))>::value, "Not rvalue");
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
auto ls = boost::hof::identity({1, 2, 3, 4});
|
|
std::vector<int> v{1, 2, 3, 4};
|
|
BOOST_HOF_TEST_CHECK(std::equal(ls.begin(), ls.end(), v.begin()));
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(std::vector<int>(boost::hof::identity({1, 2, 3})) == std::vector<int>{1, 2, 3});
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
static_assert(boost::hof::is_invocable<decltype(boost::hof::identity), int>::value, "Identiy callable");
|
|
static_assert(!boost::hof::is_invocable<decltype(boost::hof::identity), int, int>::value, "Identiy not callable");
|
|
static_assert(!boost::hof::is_invocable<decltype(boost::hof::identity)>::value, "Identiy not callable");
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
static_assert(noexcept(boost::hof::identity({1, 2, 3})), "Noexcept identity");
|
|
static_assert(noexcept(boost::hof::identity(1)), "Noexcept identity");
|
|
int i = 5;
|
|
static_assert(noexcept(boost::hof::identity(i)), "Noexcept identity");
|
|
}
|
|
|
|
struct copy_throws
|
|
{
|
|
copy_throws() {}
|
|
copy_throws(copy_throws const&) {}
|
|
copy_throws(copy_throws&&) noexcept {}
|
|
};
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
copy_throws ct{};
|
|
static_assert(noexcept(boost::hof::identity(ct)), "Noexcept identity");
|
|
static_assert(noexcept(boost::hof::identity(boost::hof::move(ct))), "Noexcept identity");
|
|
static_assert(!noexcept(boost::hof::identity(copy_throws{})), "Noexcept identity");
|
|
}
|
|
|