运算表达式在编程中是一个很重要的概念,但是实际工作中,需要使用到运算表达式的机会并不太多。但是日前在研究报表系统的时候,发现了它的用处,于是就研究了一下,做了一个比较运算表达式类。
表达式类的实现主要使用了visitor模式。
运算表达式类的原理及其实现
运算表达式在编程中是一个很重要的概念,但是实际工作中,需要使用到运算表达式的机会并不太多。但是日前在研究报表系统的时候,发现了它的用处,于是就研究了一下,做了一个比较运算表达式类。
我的表达式类的实现主要使用了visitor模式。这个类的实现核心分为两个部分,一个部分是具体的表达式类,比如 AddExpression,EqExpression类,他们的工作就是保存语义,把 +、-、*、/等操作记住。另外一部分就是具体的转换类,这里叫做Calculator,他们负责把表达式运算为所需要的结果,通过使用不同的Calculator,我们可以运算出整个表达式的值,也可以把表达式转化为其他的表示形式,比如xml格式等等。我们先看一个例子:
[代码1]
void Sample
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
Expression expr;
ICalculator cal = new Expressions.AlgorithmCalculator();
IContext context = Expression.DefaultContext;
![](/Images/OutliningIndicators/InBlock.gif)
expr = (Expression)3 + (Expression)4;
Console.WriteLine(expr.ToXml());
string text = "<add><int>3</int><int>4</int></add>";
expr = Expression.FromXml(text);
![](/Images/OutliningIndicators/InBlock.gif)
Console.WriteLine(expr.ToXml());
}
![](/Images/OutliningIndicators/None.gif)
这个例子是从我的测试用例中摘录下来的。表达式类的基本用法就和代码中的表达式形式差不多,目的是为了直观和简单使用。代码1中的工作是把表达式变成xml形式并从xml形式中重新构造一个新的表达式。虽然从中我们不能很明显看出表达式的两个部分的关系,但是这一段代码应该可以让你看得很明显,这是Expression.FromXml和ToXml的实现代码:
[代码2]
static public Expression FromXml(XmlNode root,
)
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
XmlExpression xe = new XmlExpression(root);
Expression expr = new Expression(xe);
![](/Images/OutliningIndicators/InBlock.gif)
![](/Images/dot.gif)
return (Expression) xe.Evaluate(new FromXmlCalculator(), new XmlContext(expr));
}
![](/Images/OutliningIndicators/None.gif)
public DataElement ToDataElement()
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
return (DataElement)Evaluate(new XmlCalculator(), new XmlContext(this));
}
public string ToXml()
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
DataElement element = ToDataElement();
return element.ToString();
}
![](/Images/OutliningIndicators/None.gif)
![](/Images/OutliningIndicators/None.gif)
大家从代码2中就可以看到,原来Expression的ToXml和FromXml就是用专门的Calculator来实现出来的。既然Calculator可以实现这样的效果,其他效果我们也一定可以实现。在文章的源代码中,我提供了两个实现:MSSQLCalaulator负责把表达式变成Microsoft SQL Server 2000格式的sql语句,HibernteExpressionCalculator负责把表达式变成NHibernate的表达式形式。
我是如何实现的?如果您有好奇心的话,一定会想这样问我。别着急,这就给您慢慢道来。首先看一下所有表达式类的基类定义:
[代码3]
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
/**//// <summary>
/// 抽象的运算表达式接口
/// </summary>
public interface IOperation
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
![](/Images/OutliningIndicators/ExpandedSubBlockStart.gif)
/**//// <summary>
/// 计算表达式的值
/// </summary>
/// <param name="cal">计算器</param>
/// <returns>计算之后的值</returns>
/// <remarks>
/// 计算器是专门根据不同类型的需求,实际进行操作运算的接口
/// </remarks>
object Evaluate( ICalculator cal, IContext context );
}
![](/Images/OutliningIndicators/None.gif)
从这个接口我派生出来了ConstValueExpression,UnaryExpression,BinaryExpression,TripleExpression。他们之间的差别仅仅是内涵的参数不同而已,分别是0个,1个,2个和3个参数,用来避免我写重复代码而已,并不重要,重要的是IOperation中的函数Evaluate。
Evaluate是最重要的函数,它负责传递给表达式Calculator和Context,上文已经说过Calculator的用处了,您可以把Context看成是一个参数的容器,因为IOperation或者Calculator在工作的时候,或多或少需要知道一些调用环境的特殊信息,Context的作用就是把这些信息传过来,至于到底传哪些信息,就看使用者您的需要了,大家看IContext的接口定义可以知道的更清楚:
[代码4]
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
/**//// <summary>
/// 负责为计算时候提供额外的信息
/// </summary>
public interface IContext
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
}
![](/Images/OutliningIndicators/None.gif)
原来接口IContext定义里边就是空的,不过为了实现上文的Expression的XML存取,我倒是实现了自己专用的Context,它负责把Calculator不认识的表达式或者xml节点放到事件中撒播出去,让用户自己去处理,我的 Context 如下:
[代码5]
public class XmlContext : IContext
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
Expression m_Expr;
private XmlNode m_Node;
![](/Images/OutliningIndicators/InBlock.gif)
![](/Images/OutliningIndicators/ExpandedSubBlockStart.gif)
/**//// <summary>
/// 当前的节点
/// </summary>
![](/Images/OutliningIndicators/ExpandedSubBlockStart.gif)
public XmlNode Node
{ get
{ return m_Node; } set
{ m_Node = value; } }
![](/Images/OutliningIndicators/InBlock.gif)
![](/Images/OutliningIndicators/ExpandedSubBlockStart.gif)
public XmlContext(Expression expr)
{m_Expr = expr;}
![](/Images/OutliningIndicators/InBlock.gif)
public IOperation UnknownXmlNode(string operation, object[] parameters)
![](/Images/OutliningIndicators/ExpandedSubBlockStart.gif)
{
return m_Expr.OnUnknownXmlNode(m_Node, operation, this, parameters);
}
![](/Images/OutliningIndicators/InBlock.gif)
public DataElement UnknownOperation(string operation, object[] parameters)
![](/Images/OutliningIndicators/ExpandedSubBlockStart.gif)
{
return m_Expr.OnUnknownOperation(operation, this, parameters);
}
}
![](/Images/OutliningIndicators/None.gif)
![](/Images/OutliningIndicators/None.gif)
大家看到了吗?我的这个Context就是把不认识的节点撒播出去,让程序员自己挂接事件来处理这些不认识的东西,它和我专用的Calculator配合的很好:
[代码6]
public object Extension(string operation, IContext context, params object[] parameters)
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
if( context is Expression.XmlContext )
![](/Images/OutliningIndicators/ExpandedSubBlockStart.gif)
{
Expression.XmlContext xc = (Expression.XmlContext)context;
return xc.UnknownOperation(operation, parameters);
}
![](/Images/OutliningIndicators/InBlock.gif)
throw new NotSupportedException("不能支持操作:" + operation);
}
![](/Images/OutliningIndicators/None.gif)
![](/Images/OutliningIndicators/None.gif)
提了事件当然就不能不提表达式类的扩展性了,我们先看看表达式本身有哪些限制,看一下ICalculator的定义吧:
[代码7]
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
/**//// <summary>
/// ICalculator 的摘要说明。
/// 负责把表达式变成实际结果的抽象接口
/// </summary>
public interface ICalculator
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
object Add(object left, object right, IContext context);
![](/Images/dot.gif)
object Mod(object left, object right, IContext context);
![](/Images/OutliningIndicators/InBlock.gif)
object Eq(object left, object right, IContext context);
![](/Images/dot.gif)
object LessEq(object left, object right, IContext context);
![](/Images/OutliningIndicators/InBlock.gif)
object And(object left, object right, IContext context);
object Or(object left, object right, IContext context);
![](/Images/OutliningIndicators/InBlock.gif)
object BitAnd(object left, object right, IContext context);
object BitOr(object left, object right, IContext context);
object BitNot(object val, IContext context);
![](/Images/OutliningIndicators/InBlock.gif)
object Plus(object val, IContext context);
object Neg(object val, IContext context);
![](/Images/OutliningIndicators/InBlock.gif)
object Not(object val, IContext context);
![](/Images/OutliningIndicators/InBlock.gif)
object BoolValue(bool val, IContext context);
![](/Images/dot.gif)
object DateTimeValue(DateTime val, IContext context);
object MemberRefValue(Member val, IContext context);
object MemberRefValue(LooseMember val, IContext context);
![](/Images/OutliningIndicators/InBlock.gif)
object Extension(string operation, IContext context, params object[] parameters);
}
![](/Images/OutliningIndicators/None.gif)
![](/Images/OutliningIndicators/None.gif)
熟悉设计模式的大虾立马就可以看出来了,典型的visitor模式。ICalculator实现了几乎所有的运算操作接口,而那些AddExpression之类的东西所作的事情无非就是把自己的参数传递给ICalculator适当的接口函数中去而已。既然是visitor模式,当然ICalculator就有visitor模式固有的缺陷:扩展性不好!
如果我要实现一个between的操作,我就要来修改 ICalculator 接口的定义,增加一个接口
object Between(object cond, object low, object high, IContext);
然后还要到每一个实现了ICalculator的类中增加这个Between的实现,哦,这样做简直就是噩梦!为了避免这个噩梦,我在ICalculator中增加了Extension接口函数,让所有自己定义的表达式都来调用Extension。看看我扩展的BetweenExpression吧:
[代码8]
public class BetweenExpression
: TripleExpression
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
![](/Images/dot.gif)
override public object Evaluate( ICalculator cal, IContext context )
![](/Images/OutliningIndicators/ExpandedSubBlockStart.gif)
{
return cal.Extension( BETWEEN, context
,base.m_Left.Evaluate(cal, context)
,base.m_Middle.Evaluate(cal, context)
,base.m_Right.Evaluate(cal, context), context);
}
}
然后在实现自己的Calculator中把Extension实现一下就可以了,我的 MSSQLCalculator 的实现如下:
[代码9]
public object Extension(string operation, IContext context, params object[] parameters)
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
if( operation == LikeExpression.LIKE )
return Like(parameters[0], parameters[1], context);
else if( operation == BetweenExpression.BETWEEN )
return Between(parameters[0], parameters[1], parameters[2], context);
else if( context is Expressions.ICallbackContext )
return ((ICallbackContext)context).OnCalculateExtension(operation, parameters);
![](/Images/OutliningIndicators/InBlock.gif)
throw new NotSupportedException("不能支持操作:" + operation);
}
![](/Images/OutliningIndicators/None.gif)
大家要注意代码9中的第二个else if语句,对 ICallbackContext 的回调一定要加上,这样就可以支持其他形式的扩展了。至于如何扩展法,不妨自己动手试一下吧。
附带源代码到这里下载。