Форум программистов, компьютерный форум, киберфорум
Наши страницы
Boost C++
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.80/10: Рейтинг темы: голосов - 10, средняя оценка - 4.80
Crast
70 / 70 / 5
Регистрация: 10.02.2013
Сообщений: 434
1

Метапрограммирование в boost::proto (boost::spirit)

04.12.2013, 10:06. Просмотров 1853. Ответов 1
Метки нет (Все метки)

В библиотеке boost:: proto есть такой код

C++
1
2
3
calculator<proto::terminal<placeholder<0> >::type> const _1;
calculator<proto::terminal<placeholder<1> >::type> const _2;
double result = ((_2 - _1) / _2 * 100)(45.0, 50.0);
Как получается, что в operator- и operator/ создают новый объект в виде шаблонного дерева?

Полный код


C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
//  Copyright (c) 2001-2011 Hartmut Kaiser
//
//  Distributed under the Boost Software License, Version 1.0. (See accompanying
//  file LICENSE_1_0.txt or copy at [url]http://www.boost.org/LICENSE_1_0.txt[/url])
 
//#include "spirit_test.h"
//#include "spirit_parser.h"
//#include "recursive.h"
//#include "cpptest.h"
 
#include <iostream>
#include <vector>
#include <cmath>
#include <boost/proto/proto.hpp>
#include <boost/proto/core.hpp>
#include <boost/proto/context.hpp>
#include <boost/typeof/std/ostream.hpp>
#include <boost/type.hpp>
#include <complex>
using namespace boost;
 
 
 
 
template<typename Expr>
struct calculator;
 
// Define a placeholder type
template<int I>
struct placeholder
{};
 
struct calculator_grammar
  : proto::or_<
        proto::plus< calculator_grammar, calculator_grammar >
      , proto::minus< calculator_grammar, calculator_grammar >
      , proto::multiplies< calculator_grammar, calculator_grammar >
      , proto::divides< calculator_grammar, calculator_grammar >
      , proto::terminal< proto::_ >
    >
{};
 
 
// the calculator domain will be wrapped in the
// calculator<> expression wrapper.
struct calculator_domain
  : proto::domain< proto::generator<calculator>,calculator_grammar >
{};
 
struct calculator_context
  : proto::callable_context< calculator_context const >
{
    // Values to replace the placeholders
    std::vector<double> args;
 
    // Define the result type of the calculator.
    // (This makes the calculator_context "callable".)
    typedef double result_type;
 
    // Handle the placeholders:
    template<int I>
// Define a calculator domain. Expression within
    double operator()(proto::tag::terminal, placeholder<I>) const
    {
        return this->args[I];
    }
};
 
// Define a calculator expression wrapper. It behaves just like
// the expression it wraps, but with an extra operator() member
// function that evaluates the expression.
template<typename Expr>
struct calculator
  : proto::extends<Expr, calculator<Expr>, calculator_domain>
{
    typedef
        proto::extends<Expr, calculator<Expr>, calculator_domain>
    base_type;
 
    calculator(Expr const &expr = Expr())
      : base_type(expr)
    {}
 
    typedef double result_type;
 
    // Overload operator() to invoke proto::eval() with
    // our calculator_context.
    double operator()(double a1 = 0, double a2 = 0) const
    {
        calculator_context ctx;
        ctx.args.push_back(a1);
        ctx.args.push_back(a2);
 
        return proto::eval(*this, ctx);
    }
};
 
 
int main()
{
 
    // Define the Protofied placeholder terminals
    calculator<proto::terminal<placeholder<0> >::type > const _1;
    calculator<proto::terminal<placeholder<1> >::type   > const _2 ;
 
    calculator_context ctx;
 
    double d =  ((_2 - _1) / _2 * 100)(31,32),k;
 
    std::cout << d << std::endl;
 
    return 0;
}


Тип (_2-_1)/_2*100
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
04.12.2013, 10:06
Ответы с готовыми решениями:

boost::spirit
Пишу парсер на спирите. Задаюсь вопросом как нормально сделать примерно такое ...

boost::mpl и метапрограммирование вцелом
Сейчас сижу любуюсь на mpl::vector. template&lt; typename T0, typename...

Производительность boost::spirit::qi
#include &lt;iostream&gt; #include &lt;sstream&gt; #include &lt;chrono&gt; #include...

Boost::Spirit. Разбор конфигурационного файла
Есть конфигурационный файл, содержащий текстовое описание данных. Каждая...

Boost начало работы: Undefined reference to `boost::system::generic_category() '
Добрый день Собственно говоря возникла необходимость использовать boost в...

1
Crast
70 / 70 / 5
Регистрация: 10.02.2013
Сообщений: 434
05.12.2013, 11:32  [ТС] 2
Так и знал, все написано в абрахамсе. Достаточно каждый operator переопределить со своим тегом. Тема закрыта.
Кликните здесь для просмотра всего текста
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
template <class L, class OpTag, class R>
struct Expression {
 
    Expression (L const& l, R const& r) :l(l),r(r){}
 
    L const& l;
    R const& r;
 
    typedef doublet result_type;
 
    result_type operator()(){
        return OpTag::apply(l,r);
    }
 
};
 
template <class L, class R>
Expression<L,plus,R> operator+(L const& l, R const& r){
    return Expression<L,plus,R>(l,r);
}
 
template <class L, class R>
Expression<L,minus,R> operator-(L const& l, R const& r){
    return Expression<L,minus,R>(l,r);
}
0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
05.12.2013, 11:32

Boost Log - undefined reference to `boost::system::system_category()'
Пытаюсь скомпилировать код из примеров Boost Log:#include...

Использование boost и boost.build с несколькими компиляторами
Здравствуйте! Собрал библиотеку boost и boost.build для двух компиляторов:...

Qt и boost boost::system::generic_category()
Добрый день Не подскажите как настроить Qt на работу с boost? У меня в...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
2
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru