## Introduction

This article will demonstrate how to evaluate complex mathematical expressions by converting them from infix notation to postfix notation and evaluating the expression. In the process we will be using STL's stack and string classes. When finished, the program should be able to evaluate expressions such as:

expr = "(12232+(43*43-(250/(3*8))*44)/12-311) * (5==5)"

## Background

Most programming languages require that you enter expressions in infix notation that is: operators and operands are intermixed, example: "`5*6-3*2*3`

".

The postfix notation, introduced in 1950 by the Polish logician Jan Lukasiewicz, is a method of representing an expression without using parenthesis and still conserving the precedence rules of the original expression. For example, the previous expression could have been written like: "`5 6 * 3 2 * 3 * -`

"

## Explaining the code

Here's is how to convert from an infix notation to postfix notation:

- Initialize an empty stack (string stack), prepare input infix expression and clear RPN string
- Repeat until we reach end of infix expression
- Get token (operand or operator); skip white spaces
- If token is:
- Left parenthesis: Push it into stack
- Right parenthesis: Keep popping from the stack and appending to RPN string until we reach the left parenthesis.

If stack becomes empty and we didn't reach the left parenthesis then break out with error "Unbalanced parenthesis"
- Operator: If stack is empty or operator has a higher precedence than the top of the stack then push operator into stack. Else if operator has lower precedence then we keep popping and appending to RPN string, this is repeated until operator in stack has lower precedence than the current operator.
- An operand: we simply append it to RPN string.

- When the infix expression is finished, we start popping off the stack and appending to RPN string till stack becomes empty.

Now evaluating a postfix (RPN) expression is even easier:

- Initialize stack (integer stack) for storing results, prepare input postfix (or RPN) expression.
- Start scanning from left to right till we reach end of RPN expression
- Get token, if token is:
- An operator:
- Get top of stack and store into variable op2; Pop the stack
- Get top of stack and store into variable op1; Pop the stack
- Do the operation expression in operator on both op1 and op2
- Push the result into the stack

- An operand: stack its numerical representation into our numerical stack.

- At the end of the RPN expression, the stack should only have one value and that should be the result and can be retrieved from the top of the stack.

To use the code:

#include <iostream.h>
#include <string>
#include "ExpressionEvaluator.h"
using std::string;
int main()
{
long result;
double resultdbl;
int err;
string s;
s = "1+2*(1-2-3-4)";
err = ExpressionEvaluator::calculateLong(s, result);
if (err != ExpressionEvaluator::eval_ok)
cout << "Error while evaluating!" << endl;
else
cout << "Evaluation of (int):" << s.c_str() << " yielded: "
<< result << endl;
s = "1.1/5.5+99-(4.1*(2+1)-5)";
err = ExpressionEvaluator::calculateDouble(s, resultdbl);
if (err != ExpressionEvaluator::eval_ok)
cout << "Error while evaluating!" << endl;
else
cout << "Evaluation of (double):" << s.c_str() << " yielded: "
<< resultdbl << endl;
return 0;
}

## Extending the code

This code can be extended to allow you perform other operations, however they must be binary operation (takes two operands). To extended the code simply add a new operator into the "operators" array along with its precedence value. If you introduce a new symbol make sure you add the symbol into the "operators[0]" string too. Precedence is important for generating a proper postfix expression. After adding a new operator, define its behaviour in the "`evaluateRPN`

" function as:

if (token == "PUT YOUR OPERATOR SYMBOL HERE")
r = doMyOperation(op1, op2);

Hope you find this code and article useful.

## References

## History

- Sunday, November 2, 2003
- Monday, November 3, 2003
- Fixed precedence rule of multiplication

- Tuesday, November 4, 2003
- Fixed a bug in
` isOperator() `

- Added support for negative and positive numbers as: -1 or +1

(initially they were supported as: 0-1 or 0+1)
- Added exception handling and foolproof against malformed expression
- Added >=, <=, != operators

Elias (aka lallousx86, @0xeb) has always been interested in the making of things and their inner workings.

His computer interests include system programming, reverse engineering, writing libraries, tutorials and articles.

In his free time, and apart from researching, his favorite reading topics include: dreams, metaphysics, philosophy, psychology and any other human/mystical science.

Former employee of Hex-Rays (the creators of IDA Pro), was responsible about many debugger plugins, IDAPython project ownership and what not.

Elias currently works at Microsoft as a software security engineer.

More articles and blog posts can be found here:

- http://lallousx86.wordpress.com/

- http://0xeb.wordpress.com/

- http://www.hexblog.com/?author=3