[转载]细说CodeDom(8):分支与循环

作者:老周,原文地址

有人会问,为啥 CodeDom 不会生成 switch 语句,为啥没生成 while 语句之类。要注意,CodeDom只关心代码逻辑,而不是语法,语法是给写代码的人用的。如果用.net的“反编译”工具的朋友会知道,你用while语句写了一段代码,然后编译生成程序集,再用工具把代码“反”出来,此时你会发现,你原来写的是while语句,但出来的是for语句,道理是一样的,“反编译”工具只关心代码的执行逻辑,而不是语法。所以,你自然无法用 CodeDom 来生成var关键字来声明变量,也无法生成用 Lambda 表达式表示的方法,也不能生成仅有get和set的属性定义语法。

因此,大家不要把语法和逻辑搞混。

先来介绍一下分支,分支语句类似 if 语句,由 CodeConditionStatement 类表示,它需要三个要素:

  1. 条件,用于判断给定的表达式是否为true。
  2. 当条件成立时所执行的代码。
  3. 当条件不成立时所执行的代码。

下面举个例子,让某数除以2,并取模(即取余),如果结果为0,即为偶数,否则为奇数。代码如下。

// 取模运算
CodeBinaryOperatorExpression modexp = new CodeBinaryOperatorExpression();
modexp.Operator = CodeBinaryOperatorType.Modulus;
modexp.Left = new CodePrimitiveExpression(6);
modexp.Right = new CodePrimitiveExpression(2);
// 相等运算
CodeBinaryOperatorExpression eqexp = new CodeBinaryOperatorExpression();
eqexp.Operator = CodeBinaryOperatorType.IdentityEquality;
eqexp.Left = modexp;
eqexp.Right = new CodePrimitiveExpression(0);
// 分支语句
CodeConditionStatement codst = new CodeConditionStatement();
// 设置判断条件
codst.Condition = eqexp;
// 如果为真
codst.TrueStatements.Add(new CodeMethodInvokeExpression(new CodeMethodReferenceExpression(new CodeTypeReferenceExpression(typeof(Console)), nameof(Console.WriteLine)), new CodePrimitiveExpression("这是偶数。")));
// 如果为假
codst.FalseStatements.Add(new CodeMethodInvokeExpression(new CodeMethodReferenceExpression(new CodeTypeReferenceExpression(typeof(Console)), nameof(Console.WriteLine)), new CodePrimitiveExpression("这是奇数。")));

CodeDomProvider provider = CodeDomProvider.CreateProvider("cs");
provider.GenerateCodeFromStatement(codst, Console.Out, null);

生成的代码如下:

if (((6%2)
        ==0)) {
    System.Console.WriteLine("这是偶数。");
}
else {
    System.Console.WriteLine("这是奇数。");
}

有时候,代码只需要判断条件成立并进行处理,而忽略条件不成立的情形,这时候 FalseStatements 中可以不添加任何语句。如下面例子。

// 定义变量
CodeVariableDeclarationStatement varst = new CodeVariableDeclarationStatement(typeof(string), "str", new CodePrimitiveExpression("i-s-h-e-j-d-u"));
// 访问变量实例的属性
CodePropertyReferenceExpression prpref = new CodePropertyReferenceExpression(new CodeVariableReferenceExpression(varst.Name), nameof(string.Length));
// 生成判断条件的表达式
CodeBinaryOperatorExpression codexp = new CodeBinaryOperatorExpression();
codexp.Operator = CodeBinaryOperatorType.GreaterThan;
codexp.Left = prpref;
codexp.Right = new CodePrimitiveExpression(5);
// 分支语句
CodeConditionStatement codstatement = new CodeConditionStatement();
codstatement.Condition = codexp;
// 条件成立时
CodeMethodInvokeExpression invmeth = new CodeMethodInvokeExpression();
nvmeth.Method = new CodeMethodReferenceExpression(new CodeTypeReferenceExpression(typeof(Console)), nameof(Console.WriteLine));
invmeth.Parameters.Add(new CodePrimitiveExpression("字符串长度超出范围。"));
codstatement.TrueStatements.Add(invmeth);

CodeDomProvider prd = CodeDomProvider.CreateProvider("cs");
prd.GenerateCodeFromStatement(varst, Console.Out, null);
prd.GenerateCodeFromStatement(codstatement, Console.Out, null);

这个例子生成代码为:声明一个字符串类型变量,并初始化。然后判断其长度,并按条件执行输出。生成的代码如下。

string str = "i-s-h-j-d-u";
if ((str.Length > 5)) {
    System.Console.WirteLine("字符串长度超出范围。");
}

循环语句的生成也不难,它由 CodeIterationStatement 类负责生成,其结构类似于 for 语句,由个要素组成:

  1. 循环条件的初始值。
  2. 判断是否执行循环的条件。
  3. 对循环条件的更改。

下面通过示例,生成一个标准的for循环。

CodeIterationStatement its = new CodeIterationStatement();
// 初始化条件
its.InitStatement = new CodeVariableDeclarationStatement(typeof(int), "i", new CodePrimitiveExpression(0));
// 条件检查
its.TestExpression = new CodeBinaryOperatorExpression(new CodeVariableReferenceExpression("i"), CodeBinaryOperatorType.LessThan, new CodePrimitiveExpression(9));
// 每一轮循环后对条件的更改
its.IncrementStatement = new CodeAssignStatement(new CodeVariableReferenceExpression("i"), new CodeBinaryOperatorExpression(new CodeVariableReferenceExpression("i"), CodeBinaryOperatorType.Add, new CodePrimitiveExpression(2)));
// 循环体
its.Statements.Add(new CodeCommentStatement("循环体代码"));

CodeDomProvider prd = CodeDomProvider.CreateProvider("vb");
prd.GenerateCodeFromStatement(its, Console.Out, null);

初始化一个变量i,条件是它小于9时发生循环,每次循环后会把条件加上2。

这时候会发现,生成的 VB 代码是While循环。

Dim i As Integer = 0
Do While (i < 9)
    '循环体代码
    i = (i + 2)
Loop

而生成的C#代码则是for循环。

for (int i = 0; (i < 9); i = (i + 2)) {
    //循环体代码
}

你甭管它是什么语法格式,只要逻辑上对了就行,这是生成代码,不是写代码,不要患有强迫症。

想不想来个死循环,其实,死循环只要让 TestExpression 永远为true,并且, IncrementStatement 不会更改条件的值就行了。比如这样。

CodeIterationStatement itsmt = new CodeIterationStatement();
itsmt.InitStatement = new CodeVariableDeclarationStatement(typeof(bool), "n", new CodePrimitiveExpression(true));
itsmt.TestExpression = new CodeVariableReferenceExpression("n");
itsmt.IncrementStatement = new CodeAssignStatement(new CodeVariableReferenceExpression("n"), new CodePrimitiveExpression(true));
itsmt.Statements.Add(new CodeCommentStatement("无限作死……"));

CodeDomProvider prd = CodeDomProvider.CreateProvider("cs");
prd.GenerateCodeFromStatement(itsmt, Console.Out, null);

初始化变量为true,并每一轮循环后都让它为true。生成代码如下:

for (bool n = true; n; n = true) {
    //无限作死........
}

其实,还可以更简单一点。

CodeIterationStatement itsmt = new CodeIterationStatement();
itsmt.InitStatement = new CodeSnippetStatement("");
itsmt.TestExpression = new CodePrimitiveExpression(true);
itsmt.IncrementStatement = new CodeSnippetStatement("");
itsmt.Statements.Add(new CodeCommentStatement("无限作死……"));

CodeDomProvider prd = CodeDomProvider.CreateProvider("cs");
prd.GenerateCodeFromStatement(itsmt, Console.Out, null);

老周在前面介绍过,CodeSnippetStatement 类可以用原义文本生成代码,这里我们把原义文本用空字符表示,就会生成空白语句。

所以,生成的C#代码是这样的:

for (
; true;
) {
    //无限作死......
}

生成的 VB 代码是这样的:

Do While true
    '无限作死......

Loop

生成的C++代码是这样的:

for (
; true;
) {
    //无限作死......
}

好了,有关分支和循环的逻辑代码的生成就介绍到此了,下一篇文章,咱们就开始说说编译代码的事。

One thought on “[转载]细说CodeDom(8):分支与循环

发表评论

您的电子邮箱地址不会被公开。 必填项已用*标注

1 × 1 =