如果你对Windows Workflow Foundation(WF)一无所知,当看到扩展C#与元编程(一)中由MW编译器生成的FirstLook.mw.cs时,也许这么在想:我KAO,这是C#版的汇编语言!

WF到底是什么?可以这么认为:WF runtime是高级版的CLR(CLR上的CLR),activity是高级版的MSIL指令(可以勉强这么比喻),Metah.W是高级版的C#。

Activity可以分为两类:primitive activity和composite activity。Primitive activity继承自System.Activities.NativeActivity, System.Activities.NativeActivity<T>等,用来实现流程控制容器,如sequence, if-else, while, foreach, try-catch-finally等:

namespace System.Activities.Statements {
public sealed class Sequence : NativeActivity {
public Sequence();
public Collection<Variable> Variables { get; }
public Collection<Activity> Activities { get; }
//...
} public sealed class If : NativeActivity {
public If();
public InArgument<bool> Condition { get; set; }
public Activity Then { get; set; }
public Activity Else { get; set; }
//...
} public sealed class While : NativeActivity {
public While();
public Collection<Variable> Variables { get; }
public Activity<bool> Condition { get; set; }
public Activity Body { get; set; }
//...
} public sealed class ForEach<T> : NativeActivity {
public ForEach();
public InArgument<IEnumerable<T>> Values { get; set; }
public ActivityAction<T> Body { get; set; }
//...
} public sealed class TryCatch : NativeActivity {
public TryCatch();
public Activity Try { get; set; }
public Collection<Catch> Catches { get; }
public Activity Finally { get; set; }
//...
}
}

WF这个高级CLR令人拍手称快的特性之一是,你可以自定义流程控制容器(可以想象成自定义MSIL指令),比如高大上的状态机:

namespace System.Activities.Statements {
public sealed class StateMachine : NativeActivity {
public StateMachine();
public Collection<Variable> Variables { get; }
public State InitialState { get; set; }
public Collection<State> States { get; }
//...
}
public sealed class State {
public State();
public bool IsFinal { get; set; }
public Collection<Variable> Variables { get; }
public Activity Entry { get; set; }
public Activity Exit { get; set; }
public Collection<Transition> Transitions { get; }
//...
}
public sealed class Transition {
public Transition();
public Activity Trigger { get; set; }
public Activity<bool> Condition { get; set; }
public Activity Action { get; set; }
public State To { get; set; }
//...
}
}

SecondLook.mw展示了如何使用状态机:



一个statemachine至少包含一个common state及一个final state,每个state由唯一的label标识,如InPark, InNeutral等,break关键字标明这是一个final state,statemachine关键字后的goto clause标明initial common state,当流程进入某common state后,首先执行~>所标识的entry statement,接着执行on关键字标识的trigger statement,然后依顺序评估if关键字标识的condition expression,如果某condition评估为true,则执行<~所标识的exit statement和do关键字标识的action statement(SecondLook.mw中未使用),接着跳转到goto关键字所标识的state,如果所有的condition expression都评估为false,则重新执行该state的trigger statement。如果某final state执行完毕,则该statemachine执行完毕。

MW编译器将activity Drive翻译成下面的C#代码:

//SecondLook.mw.cs, generated by MW compiler
namespace HelloMW.SecondLook
{
class Drive : global::System.Activities.Activity
{
private global::System.Activities.Activity __GetImplementation__()
{
global::System.Activities.Activity __vroot__;
{
var __v__0 = new global::System.Activities.Statements.Sequence();
var isMoved = new global::System.Activities.Variable<bool>();
__v__0.Variables.Add(isMoved);
__v__0.Activities.Add(new global::MetahWActionActivity(__ctx__ =>
{
isMoved.SetEx(__ctx__, false);
} ));
var __v__1 = new global::System.Activities.Statements.While();
__v__1.Condition = new global::MetahWFuncActivity<bool>(__ctx__ => !isMoved.Get(__ctx__));
{
var __v__2 = new global::System.Activities.Statements.Sequence();
{
var __v__3 = new global::System.Activities.Statements.StateMachine();
var action = new global::System.Activities.Variable<DriveAction>();
__v__3.Variables.Add(action);
var __v__4 = new global::System.Activities.Statements.State();
var __v__5 = new global::System.Activities.Statements.Transition();
var __v__6 = new global::System.Activities.Statements.State();
var __v__7 = new global::System.Activities.Statements.Transition();
var __v__8 = new global::System.Activities.Statements.Transition();
var __v__9 = new global::System.Activities.Statements.Transition();
var __v__10 = new global::System.Activities.Statements.State();
var __v__11 = new global::System.Activities.Statements.Transition();
var __v__12 = new global::System.Activities.Statements.State();
var __v__13 = new global::System.Activities.Statements.Transition();
var __v__14 = new global::System.Activities.Statements.State();
{
__v__3.States.Add(__v__4);
__v__4.Entry = new global::MetahWActionActivity(__ctx__ =>
{
Console.WriteLine("Enter InPark");
} );
__v__4.Exit = new global::MetahWActionActivity(__ctx__ =>
{
Console.WriteLine("Exit InPark");
} );
__v__5.Trigger = new GetDriveAction().Initialize(__activity2__ =>
{
__activity2__.Result = new global::System.Activities.OutArgument<global::HelloMW.SecondLook.DriveAction>(new global::MetahWLocationActivity<global::HelloMW.SecondLook.DriveAction>(action));
} );
__v__5.Condition = new global::MetahWFuncActivity<bool>(__ctx__ => action.Get(__ctx__) == DriveAction.Neutral);
__v__4.Transitions.Add(__v__5);
} {
__v__3.States.Add(__v__6);
__v__6.Entry = new global::MetahWActionActivity(__ctx__ =>
{
Console.WriteLine("Enter InNeutral");
} );
__v__6.Exit = new global::MetahWActionActivity(__ctx__ =>
{
Console.WriteLine("Exit InNeutral");
} );
__v__7.Trigger = new GetDriveAction().Initialize(__activity2__ =>
{
__activity2__.Result = new global::System.Activities.OutArgument<global::HelloMW.SecondLook.DriveAction>(new global::MetahWLocationActivity<global::HelloMW.SecondLook.DriveAction>(action));
} );
__v__7.Condition = new global::MetahWFuncActivity<bool>(__ctx__ => action.Get(__ctx__) == DriveAction.Forward);
__v__6.Transitions.Add(__v__7);
__v__8.Trigger = __v__7.Trigger;
__v__8.Condition = new global::MetahWFuncActivity<bool>(__ctx__ => action.Get(__ctx__) == DriveAction.Reverse);
__v__6.Transitions.Add(__v__8);
__v__9.Trigger = __v__7.Trigger;
__v__9.Condition = new global::MetahWFuncActivity<bool>(__ctx__ => action.Get(__ctx__) == DriveAction.TurnOff);
__v__6.Transitions.Add(__v__9);
} {
__v__3.States.Add(__v__10);
__v__10.Entry = new global::MetahWActionActivity(__ctx__ =>
{
Console.WriteLine("Enter InForward");
isMoved.SetEx(__ctx__, true);
} );
__v__10.Exit = new global::MetahWActionActivity(__ctx__ =>
{
Console.WriteLine("Exit InForward");
} );
__v__11.Trigger = new GetDriveAction().Initialize(__activity2__ =>
{
__activity2__.Result = new global::System.Activities.OutArgument<global::HelloMW.SecondLook.DriveAction>(new global::MetahWLocationActivity<global::HelloMW.SecondLook.DriveAction>(action));
} );
__v__11.Condition = new global::MetahWFuncActivity<bool>(__ctx__ => action.Get(__ctx__) == DriveAction.Neutral);
__v__10.Transitions.Add(__v__11);
} {
__v__3.States.Add(__v__12);
__v__12.Entry = new global::MetahWActionActivity(__ctx__ =>
{
Console.WriteLine("Enter InReverse");
isMoved.SetEx(__ctx__, true);
} );
__v__12.Exit = new global::MetahWActionActivity(__ctx__ =>
{
Console.WriteLine("Exit InReverse");
} );
__v__13.Trigger = new GetDriveAction().Initialize(__activity2__ =>
{
__activity2__.Result = new global::System.Activities.OutArgument<global::HelloMW.SecondLook.DriveAction>(new global::MetahWLocationActivity<global::HelloMW.SecondLook.DriveAction>(action));
} );
__v__13.Condition = new global::MetahWFuncActivity<bool>(__ctx__ => action.Get(__ctx__) == DriveAction.Neutral);
__v__12.Transitions.Add(__v__13);
} {
__v__3.States.Add(__v__14);
__v__14.IsFinal = true;
__v__14.Entry = new global::MetahWActionActivity(__ctx__ =>
{
Console.WriteLine("TurnedOff");
} );
} __v__3.InitialState = __v__4;
__v__5.To = __v__6;
__v__7.To = __v__10;
__v__8.To = __v__12;
__v__9.To = __v__14;
__v__11.To = __v__6;
__v__13.To = __v__6;
__v__2.Activities.Add(__v__3);
} __v__2.Activities.Add(new global::MetahWActionActivity(__ctx__ =>
{
Console.WriteLine("isMoved: " + isMoved.Get(__ctx__));
} ));
__v__1.Body = __v__2;
} __v__0.Activities.Add(__v__1);
__vroot__ = __v__0;
} return __vroot__;
} private global::System.Func<global::System.Activities.Activity> __implementation__;
protected override global::System.Func<global::System.Activities.Activity> Implementation
{
get
{
return __implementation__ ?? (__implementation__ = __GetImplementation__);
} set
{
throw new global::System.NotSupportedException();
}
}
}
}

“汇编语言代码”总是冗长无趣的,所以有了Metah.W这样的高级语言。下面是可能的执行结果:

Enter InPark
!action: Neutral
Exit InPark
Enter InNeutral
!action: Reverse
Exit InNeutral
Enter InReverse
!action: TurnOff
!action: Forward
!action: Neutral
Exit InReverse
Enter InNeutral
!action: Forward
Exit InNeutral
Enter InForward
!action: Forward
!action: Forward
!action: Reverse
!action: Neutral
Exit InForward
Enter InNeutral
!action: TurnOff
Exit InNeutral
TurnedOff
isMoved: True
请按任意键继续. . .

Composite activity直接继承自System.Activities.ActivitySystem.Activities.Activity<T>,它由其它primitive activity和/或composite activity组合而成。Metah.W和WF designer只能创作composite activity。

我不知道大家怎么看待微软这家公司,多数时候MS是家专业但缺乏想象力的公司,有时它能创造出一些令人眼前一亮的作品,C#从第二版开始就一直闪亮,WF是个极富想象力的技术,不过,WF现在还是个藏在深山中的璞玉,希望此文能激起你研究WF的兴趣。关于

Metah.W: A Workflow Metaprogramming的更多信息请访问:https://github.com/knat/Metah

待续。

扩展C#与元编程(二)的更多相关文章

  1. 扩展C#与元编程

    扩展C#与元编程 https://www.cnblogs.com/knat/p/4580393.html https://www.cnblogs.com/knat/p/4584023.html 扩展C ...

  2. 扩展C#与元编程(一)

    众所周知,Roslyn project已经开源一年多了.简单的说,Roslyn是:1)用C#/VB写的C#/VB的编译器,以及与IDE集成:2)编译器的功能以API的方式暴露出来(即一组DLL). R ...

  3. C++模板元编程(C++ template metaprogramming)

    实验平台:Win7,VS2013 Community,GCC 4.8.3(在线版) 所谓元编程就是编写直接生成或操纵程序的程序,C++ 模板给 C++ 语言提供了元编程的能力,模板使 C++ 编程变得 ...

  4. 现代c++与模板元编程

    最近在重温<c++程序设计新思维>这本经典著作,感慨颇多.由于成书较早,书中很多元编程的例子使用c++98实现的.而如今c++20即将带着concept,Ranges等新特性一同到来,不得 ...

  5. ES6入门九:Symbol元编程

    JS第七种数据类型:Symbol Symbol的应用场景 11个Symbol静态属性 Symbol元编程 一.JS第七种数据类型:Symbol 在ES6之前的JavaScript的基本数据类型有und ...

  6. python异步IO编程(二)

    python异步IO编程(二) 目录 开门见山 Async IO设计模式 事件循环 asyncio 中的其他顶层函数 开门见山 下面我们用两个简单的例子来让你对异步IO有所了解 import asyn ...

  7. atitit.元编程总结 o99

    atitit.元编程总结 o99.doc 1. 元编程(Metaprogramming) 1 2. 元编程的历史and发展 1 3. 元类型and元数据 1 4. 元编程实现方式 2 4.1. 代码生 ...

  8. C++模板元编程 - 3 逻辑结构,递归,一点列表的零碎,一点SFINAE

    本来想把scanr,foldr什么的都写了的,一想太麻烦了,就算了,模板元编程差不多也该结束了,离开学还有10天,之前几天部门还要纳新什么的,写不了几天代码了,所以赶紧把这个结束掉,明天继续抄轮子叔的 ...

  9. Java并发编程二三事

    Java并发编程二三事 转自我的Github 近日重新翻了一下<Java Concurrency in Practice>故以此文记之. 我觉得Java的并发可以从下面三个点去理解: * ...

随机推荐

  1. POJ1639顶点度限制最小生成树

    题目:http://poj.org/problem?id=1639 见汪汀的<最小生成树问题的拓展>. 大体是先忽略与根节点相连的边,做一遍kruscal,得到几个连通块和一个根节点: 然 ...

  2. Angular 4 路由介绍

    Angular 4 路由 1. 创建工程 ng new router --routing 2. 创建home和product组件 ng g component home ng g component ...

  3. 【python】os模块常用命令

    python编程时,经常和文件.目录打交道,这是就离不了os模块.os模块包含普遍的操作系统功能,与具体的平台无关.以下列举常用的命令 1. os.name()——判断现在正在实用的平台,Window ...

  4. each与list的用法(PHP学习)

    1.each的用法 先看API array each ( array &$array ) api里是这么描述的:each — 返回数组中当前的键/值对并将数组指针向前移动一步 我们先来看看返回 ...

  5. bzoj3685 普通veb树

    Description 设计数据结构支持: 1 x  若x不存在,插入x 2 x  若x存在,删除x 3    输出当前最小值,若不存在输出-1 4    输出当前最大值,若不存在输出-1 5 x   ...

  6. restclient 访问 springmvc java工程接口

    一.tomcat和nginx 配置 /etc/nginx/conf.d/default.conf location /nsx{ proxy_pass http://nsx; proxy_connect ...

  7. DIV+CSS如何让文字垂直居中?(转)

    此篇文章转自网络,但是我忘了原文地址,如果有人知道,麻烦告知一声~ 在说到这个问题的时候,也许有人会问CSS中不是有vertical-align属性来设置垂直居中的吗?即使是某些浏览器不支持我只需做少 ...

  8. Ubuntu终端文件的压缩和解压缩命令

    在Ubntu的终端中压缩和解压缩是每天几乎要用到的命令,由于linux中各种压缩文件类型较多,所以需要记住几个主要的压缩和解压缩命令: 文件类型 执行动作 命令 .tar 解包 tar xvf Fil ...

  9. WCF服务部署

    一.将WCF服务部署到IIS上 1.首先检测电脑上是否安装了IIS,一般来说Win7以上系统自带IIS 2.下面进行IIS服务的开启设置 控制面板=>打开或关闭Windos功能 3.勾选该窗口中 ...

  10. storm的可靠性

    消息确认机制: 在数据发送的过程中可能会数据丢失导致没能接收到,spout有个超时时间(默认是30S),如果30S过去了还是没有接收到数据,也认为是处理失败. 运行结果都是处理成功 参考代码Storm ...