123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174 |
- // 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 <string>
- template<typename T>
- using term = boost::yap::terminal<boost::yap::expression, T>;
- template<typename T>
- using ref = boost::yap::expression_ref<boost::yap::expression, T>;
- namespace yap = boost::yap;
- namespace bh = boost::hana;
- void compile_x_plus_term()
- {
- using namespace std::literals;
- // char const * string
- {
- term<double> unity{1.0};
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<char const *>, ref<term<double> &>>>
- unevaluated_expr = "3" + unity;
- (void)unevaluated_expr;
- }
- // std::string temporary
- {
- term<double> const unity{1.0};
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<std::string>, ref<term<double> const &>>>
- unevaluated_expr = "3"s + unity;
- (void)unevaluated_expr;
- }
- // arrays
- {
- term<double> unity{1.0};
- int ints[] = {1, 2};
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<int *>, ref<term<double> &>>>
- unevaluated_expr = ints + unity;
- (void)unevaluated_expr;
- }
- {
- term<double> unity{1.0};
- int const ints[] = {1, 2};
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<int const *>, ref<term<double> &>>>
- unevaluated_expr = ints + unity;
- (void)unevaluated_expr;
- }
- {
- term<double> unity{1.0};
- int ints[] = {1, 2};
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<int *>, ref<term<double> &>>>
- unevaluated_expr = std::move(ints) + unity;
- (void)unevaluated_expr;
- }
- // pointers
- {
- term<double> unity{1.0};
- int ints[] = {1, 2};
- int * int_ptr = ints;
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<int *&>, ref<term<double> &>>>
- unevaluated_expr = int_ptr + unity;
- (void)unevaluated_expr;
- }
- {
- term<double> unity{1.0};
- int const ints[] = {1, 2};
- int const * int_ptr = ints;
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<int const *&>, ref<term<double> &>>>
- unevaluated_expr = int_ptr + unity;
- (void)unevaluated_expr;
- }
- {
- term<double> unity{1.0};
- int ints[] = {1, 2};
- int * int_ptr = ints;
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<int *>, ref<term<double> &>>>
- unevaluated_expr = std::move(int_ptr) + unity;
- (void)unevaluated_expr;
- }
- // const pointers
- {
- term<double> unity{1.0};
- int ints[] = {1, 2};
- int * const int_ptr = ints;
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<int * const &>, ref<term<double> &>>>
- unevaluated_expr = int_ptr + unity;
- (void)unevaluated_expr;
- }
- {
- term<double> unity{1.0};
- int const ints[] = {1, 2};
- int const * const int_ptr = ints;
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<int const * const &>, ref<term<double> &>>>
- unevaluated_expr = int_ptr + unity;
- (void)unevaluated_expr;
- }
- {
- term<double> unity{1.0};
- int ints[] = {1, 2};
- int * const int_ptr = ints;
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<int * const>, ref<term<double> &>>>
- unevaluated_expr = std::move(int_ptr) + unity;
- (void)unevaluated_expr;
- }
- // values
- {
- term<double> unity{1.0};
- int i = 1;
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<int &>, ref<term<double> &>>>
- unevaluated_expr = i + unity;
- (void)unevaluated_expr;
- }
- {
- term<double> unity{1.0};
- int const i = 1;
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<int const &>, ref<term<double> &>>>
- unevaluated_expr = i + unity;
- (void)unevaluated_expr;
- }
- {
- term<double> unity{1.0};
- int i = 1;
- yap::expression<
- yap::expr_kind::plus,
- bh::tuple<term<int>, ref<term<double> &>>>
- unevaluated_expr = std::move(i) + unity;
- (void)unevaluated_expr;
- }
- }
|