Evaluating CLEF expressions
Forming expressions is nice, but completely useless unless one can evaluate them by affecting some values to the placeholder and actually do the computation.
Expressions are evaluated with the eval function
eval ( expression , placeholder_1 = value_1, placeholder_2 = value_2, ...)
The evaluation can be :
complete: when a value has been affected to every placeholder, so the result is not an expression any more, but the result of the computation….
partial: when some placeholder are still free (no value has been affected to them). The result is another expression where the parts that could be computed have been computed.
Complete evaluation
#include <nda/clef.hpp>
using namespace nda::clef;
int main() {
placeholder<1> x_;
placeholder<2> y_;
std::cout << eval(x_ + 2 * y_, x_ = 1, y_ = 2) << std::endl;
std::cout << eval(x_ + 2 * y_, y_ = 2, x_ = 1) << std::endl;
}
Note that:
The order of placeholder does not matter in calling eval.
It is an error to put the same placeholder twice.
The correct version of eval is found by ADL (Argument Dependent Lookup) in the nda::clef namespace.
Partial evaluation
The evaluation can also be partial, in which case the compiler replaces the placeholder whose value is provided and rebuild a new expression tree.
Example
auto e1 = x_ + 2*y_;
// return type ---> value
auto r = eval( e1 , x_ =1); // expression ---> 1 + (2 * y_)
auto e2 = eval( e1 , x_ =x_ + y_); // expression ---> ((x_ + y_) + (2 * y_))
auto r = eval( e2, x_ = 1, y_ = 2); // int ---> 7
During the partial evaluation, all subtrees that can evaluated are evaluated. For example
eval(x_ + f(y_) , y_=1); // --> x + f(1)
In this case, the function f is called by eval.