#include template using term = boost::yap::terminal; namespace yap = boost::yap; namespace bh = boost::hana; void compile_term_plus_expr () { // values { term unity{1.0}; term i = {1}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &> > > expr = unity + i; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &>, yap::expression_ref &> > > &> > > unevaluated_expr = unity + expr; (void)unevaluated_expr; } { term unity{1.0}; term i = {1}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &> > > expr = unity + i; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &>, yap::expression_ref &> > > &> > > unevaluated_expr = unity + expr; (void)unevaluated_expr; } { term unity{1.0}; term i = {1}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, term > > expr = unity + std::move(i); yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &>, term > > &> > > unevaluated_expr = unity + expr; (void)unevaluated_expr; } // const value terminals/expressions { term unity{1.0}; term const i = {1}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref const &> > > const expr = unity + i; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &>, yap::expression_ref const &> > > const &> > > unevaluated_expr = unity + expr; (void)unevaluated_expr; } { term unity{1.0}; term i = {1}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &> > > const expr = unity + i; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &>, yap::expression_ref &> > > const &> > > unevaluated_expr = unity + expr; (void)unevaluated_expr; } // lvalue refs { term unity{1.0}; int i_ = 1; term i{i_}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &> > > expr = unity + i; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &>, yap::expression_ref &> > > &> > > unevaluated_expr = unity + expr; (void)unevaluated_expr; } { term unity{1.0}; int i_ = 1; term i{i_}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &> > > expr = unity + i; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &>, yap::expression_ref &> > > &> > > unevaluated_expr = unity + expr; (void)unevaluated_expr; } { term unity{1.0}; int i_ = 1; term i{i_}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, term > > expr = unity + std::move(i); yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &>, term > > &> > > unevaluated_expr = unity + expr; (void)unevaluated_expr; } { term unity{1.0}; int i_ = 1; term i{i_}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &> > > expr = unity + i; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &> > > > > unevaluated_expr = unity + std::move(expr); (void)unevaluated_expr; } { term unity{1.0}; int i_ = 1; term i{i_}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &> > > expr = unity + i; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression_ref &> > > > > unevaluated_expr = unity + std::move(expr); (void)unevaluated_expr; } { term unity{1.0}; int i_ = 1; term i{i_}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, term > > expr = unity + std::move(i); yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, term > > > > unevaluated_expr = unity + std::move(expr); (void)unevaluated_expr; } // rvalue refs { term unity{1.0}; int i_ = 1; term i{std::move(i_)}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, term > > expr = unity + std::move(i); yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, term > > > > unevaluated_expr = unity + std::move(expr); (void)unevaluated_expr; } { term unity{1.0}; int i_ = 1; term i{std::move(i_)}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, term > > expr = unity + std::move(i); yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, term > > > > unevaluated_expr = unity + std::move(expr); (void)unevaluated_expr; } { term unity{1.0}; int i_ = 1; term i{std::move(i_)}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, term > > expr = unity + std::move(i); yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, term > > > > unevaluated_expr = unity + std::move(expr); (void)unevaluated_expr; } { term unity{1.0}; int i_ = 1; term i{std::move(i_)}; yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, term > > expr = unity + std::move(i); yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, yap::expression< yap::expr_kind::plus, bh::tuple< yap::expression_ref &>, term > > > > unevaluated_expr = unity + std::move(expr); (void)unevaluated_expr; } }