Ненавязчивая замена пользовательского типа на дерево выражений

Я пытаюсь ввести ленивую оценку в существующий проект кода. Ядро проекта в основном состоит из большого количества вычислений, использующих пользовательский тип (он действует как двойной, но выполняет дополнительную работу в фоновом режиме).

Наша цель — представить концепцию отложенной оценки с использованием boost proto in Order для оптимизации существующих выражений.

Ограничения:

• Существующие расчеты не могут быть затронуты
• Используемый тип определяется typedef, поэтому замена самого типа возможна

Мы пытались реализовать простое доказательство концепции, но не смогли заставить код вести себя так, как хотелось бы. Это то, что мы получили так далеко:

#include <boost/proto/proto.hpp>
#include <complex>
#include <iostream>

using namespace std;
using namespace boost;
using namespace boost::proto;

// The custom implemented Type
typedef std::complex<double> my_type;

// The Basic expression wrapper
template< typename Expr = proto::terminal< my_type >::type >
struct MyDoubleExpr
: proto::extends< Expr, MyDoubleExpr< Expr >, proto::default_domain >
{
typedef
proto::extends< Expr, MyDoubleExpr< Expr >, proto::default_domain >
base_type;

MyDoubleExpr( Expr const &expr = Expr() )
: base_type( expr )
{}

// Overloading of all Constructors supported by the custom type
typedef typename proto::terminal< my_type >::type expr_type;
MyDoubleExpr( double const &d)
: base_type( expr_type::make(my_type(d)))
{}

// Lazy assignment is desired
BOOST_PROTO_EXTENDS_USING_ASSIGN(MyDoubleExpr)

};

// unintrusively replace the existing type with
// the expression template
typedef MyDoubleExpr<> replaced_type;int main() {

replaced_type a = 2.0, b = 1.5;

proto::default_context ctx;

// The replaced type is created as template specialisation
// proto::terminal< my_type >::type -> cannot store expressions
replaced_type c;
c = (a + b) * 2.0;
std::cout << "c: " << proto::eval(c,ctx) << endl << endl;
proto::display_expr(c);

// Initialisation does not work directly ?
//replaced_type d = a+b;

// using auto works fine, so the expression basically works
auto e = (a + b) * 2.0;
std::cout << "e: " << proto::eval(e,ctx) << endl;
proto::display_expr(e);

getchar();
return 0;
}

Наша главная проблема заключается в том, что мы не можем определить тип, который работает как с литералами, так и с выражениями. В этом примере c является выражением типа proto :: Terminal и игнорирует присвоение выражения. При использовании авто для сохранения выражения все работает нормально. Также прямая инициализация невозможна.

Если я правильно понимаю нашу проблему, нам потребуются два разных типа для выражений и литералов, что невозможно, поскольку мы можем только изменить существующий тип.

Мы также рассмотрели другие варианты, такие как использование BOOST_PROTO_DEFINE_OPERATORS (…), чтобы сделать наш пользовательский тип терминалом ненавязчивым, но ленивое присваивание также невозможно.

Итак, наш вопрос: можем ли мы достичь того, чего хотим, или нам нужно изменить существующий код, чтобы ввести ленивую оценку?

Спасибо за вашу помощь,
Матиасenter code here