4d9990c3e1
* VS2017 support workarounds * TST: call_expr: Removed unused function This also make the test compilable on VS2017 * TST: reference_returns: Make test compilable on VS2017 * TST: comma: Make test compilable on VS2017 * TST: print: Fix TTI differences between MSVC and Clang/GCC
90 lines
2.5 KiB
C++
90 lines
2.5 KiB
C++
// Copyright (C) 2016-2018 T. Zachary Laine
|
|
//
|
|
// 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/yap/expression.hpp>
|
|
|
|
#include <boost/mpl/assert.hpp>
|
|
|
|
#include <boost/test/minimal.hpp>
|
|
|
|
|
|
template<typename T>
|
|
using term = boost::yap::terminal<boost::yap::expression, T>;
|
|
|
|
namespace yap = boost::yap;
|
|
|
|
namespace reference_returning {
|
|
|
|
struct number
|
|
{
|
|
double value;
|
|
};
|
|
|
|
number a_result{3.0};
|
|
number const the_result{13.0};
|
|
|
|
number const & operator+(number a, number b) { return the_result; }
|
|
|
|
number & operator-(number a, number b) { return a_result; }
|
|
}
|
|
|
|
int test_main(int, char * [])
|
|
{
|
|
{
|
|
term<reference_returning::number> unity = {{1.0}};
|
|
auto plus_expr = unity + reference_returning::number{1.0};
|
|
|
|
{
|
|
reference_returning::number const & n = evaluate(plus_expr);
|
|
BOOST_CHECK(&n == &reference_returning::the_result);
|
|
}
|
|
|
|
using plus_eval_type = decltype(evaluate(plus_expr));
|
|
BOOST_MPL_ASSERT((std::is_same<
|
|
plus_eval_type,
|
|
reference_returning::number const &>));
|
|
|
|
auto minus_expr = unity - reference_returning::number{1.0};
|
|
|
|
{
|
|
reference_returning::number & n = evaluate(minus_expr);
|
|
BOOST_CHECK(&n == &reference_returning::a_result);
|
|
}
|
|
|
|
using minus_eval_type = decltype(evaluate(minus_expr));
|
|
BOOST_MPL_ASSERT((std::is_same<
|
|
minus_eval_type,
|
|
reference_returning::number &>));
|
|
|
|
using namespace yap::literals;
|
|
|
|
{
|
|
reference_returning::number & n =
|
|
evaluate(1_p, reference_returning::a_result);
|
|
BOOST_CHECK(&n == &reference_returning::a_result);
|
|
}
|
|
|
|
using a_eval_type = decltype(evaluate(1_p, reference_returning::a_result));
|
|
BOOST_MPL_ASSERT(
|
|
(std::is_same<
|
|
a_eval_type,
|
|
reference_returning::number &>));
|
|
|
|
{
|
|
reference_returning::number const & n =
|
|
evaluate(1_p, reference_returning::the_result);
|
|
BOOST_CHECK(&n == &reference_returning::the_result);
|
|
}
|
|
|
|
using the_eval_type = decltype(evaluate(1_p, reference_returning::the_result));
|
|
BOOST_MPL_ASSERT(
|
|
(std::is_same<
|
|
the_eval_type,
|
|
reference_returning::number const &>));
|
|
}
|
|
|
|
return 0;
|
|
}
|