简介
今天,Visual Basic和C#编译器是黑盒子:输入文本然后输出字节,编译管道的中间阶段没有透明性。使用.NET编译器平台(以前称为“Roslyn”),工具和开发人员可以利用编译器使用的完全相同的数据结构和算法来分析和理解代码。
本篇文章,我们将会慢慢熟悉语法API,通过语法API来查看解析器,语法树,用于推理和构造它们的实用程序。
理解语法树
Trivia,Token和Node形成了一个完全代表Visual Basic或C#代码片段中所有内容的树
SyntaxTree
它的实例表示整个解析树。SyntaxTree是一个抽象类,具有特定于语言的派生类。要解析特定语言的语法,您需要使用CSharpSyntaxTree(或VisualBasicSyntaxTree)类上的解析方法。
SyntaxNode
它的实例表示的语法结构如声明,语句,子句和表达式。
SyntaxToken
它代表一个单独的关键字,识别符,操作员或标点符号
SyntaxTrivia
它表示语法上无关紧要的信息,例如令牌之间的空白,预处理指令和注释。
下图示例:SyntaxNode: 蓝色 | SyntaxToken: 绿色 | SyntaxTrivia: 红色
[图片上传失败...(image-9376c5-1540521524947)]
遍历语法树
新建项目“CodeAnalysisDemo”
引入Nuget
Microsoft.CodeAnalysis.CSharp Microsoft.CodeAnalysis.CSharp.Workspaces
命名空间:
using Microsoft.CodeAnalysis;using Microsoft.CodeAnalysis.CSharp;using Microsoft.CodeAnalysis.CSharp.Syntax;
准备要分析的代码
using System;namespace UsingCollectorCS { class Program { static void Main(string[] args) { Console.WriteLine("Hello World"); } } class Student { public string Name { get; set; } } }
核心代码
/// <summary> ///解析语法树 /// </summary> /// <param name="code"></param> /// <returns></returns> public SyntaxNode GetRoot(string code) { var tree = CSharpSyntaxTree.ParseText(code); //SyntaxTree的根root var root = (CompilationUnitSyntax)tree.GetRoot(); //member var firstmember = root.Members[0]; //命名空间Namespace var helloWorldDeclaration = (NamespaceDeclarationSyntax)firstmember; //类 class var programDeclaration = (ClassDeclarationSyntax)helloWorldDeclaration.Members[0]; //方法 Method var mainDeclaration = (MethodDeclarationSyntax)programDeclaration.Members[0]; //参数 Parameter var argsParameter = mainDeclaration.ParameterList.Parameters[0]; //查询方法,查询方法名称为Main的第一个参数。 var firstParameters = from methodDeclaration in root.DescendantNodes() .OfType<MethodDeclarationSyntax>() where methodDeclaration.Identifier.ValueText == "Main" select methodDeclaration.ParameterList.Parameters.First(); var argsParameter2 = firstParameters.Single(); return root; }
入口Main方法
var code = @"using System; namespace UsingCollectorCS { class Program { static void Main(string[] args) { Console.WriteLine(""Hello World""); } } class Student { public string Name { get; set; } } }"; var tree = new AnalysisDemo().GetRoot(code);
Debug调试[图片上传失败...(image-e2bb0a-1540521524947)]
经过对比可知以下部分
利用CSharpSyntaxTree.ParseText(code)获取语法树SyntaxTree
利用(CompilationUnitSyntax)tree.GetRoot()获取语法树的跟节点
利用 (NamespaceDeclarationSyntax)root.Members[0]可获取命名空间
利用 (ClassDeclarationSyntax)helloWorldDeclaration.Members[0]可获取类
利用 (MethodDeclarationSyntax)programDeclaration.Members[0]可获取方法
利用linq查询,可从root.DescendantNodes()节点内查询方法/参数等成员。
SyntaxWalkers
通常,您需要在语法树中查找特定类型的所有节点,例如,文件中的每个属性声明。
通过扩展CSharpSyntaxWalker类并重写VisitPropertyDeclaration方法,您可以在不事先知道其结构的情况下处理语法树中的每个属性声明。
CSharpSyntaxWalker是一种特殊的SyntaxVisitor,它以递归方式访问节点及其每个子节点。
我们先来演示CSharpSyntaxWalker的两个虚virtual方法VisitUsingDirective 和VisitPropertyDeclaration
核心代码如下:
/// <summary> /// 收集器 /// </summary> public class UsingCollector : CSharpSyntaxWalker { public readonly Dictionary<string, List<string>> models = new Dictionary<string, List<string>>(); public readonly List<UsingDirectiveSyntax> Usings = new List<UsingDirectiveSyntax>(); public override void VisitUsingDirective(UsingDirectiveSyntax node) { if (node.Name.ToString() != "System" && !node.Name.ToString().StartsWith("System.")) { this.Usings.Add(node); } } public override void VisitPropertyDeclaration(PropertyDeclarationSyntax node) { var classnode = node.Parent as ClassDeclarationSyntax; if (!models.ContainsKey(classnode.Identifier.ValueText)) { models.Add(classnode.Identifier.ValueText, new List<string>()); } models[classnode.Identifier.ValueText].Add(node.Identifier.ValueText); } } /// <summary> /// 演示CSharpSyntaxWalker /// </summary> /// <param name="code"></param> /// <returns></returns> public UsingCollector GetCollector(string code) { var tree = CSharpSyntaxTree.ParseText(code); var root = (CompilationUnitSyntax)tree.GetRoot(); var collector = new UsingCollector(); collector.Visit(root); return collector; }
Main调用入口:
var code2 = @"using System; using System.Collections.Generic; using System.Linq; using System.Text; using Microsoft.CodeAnalysis; using Microsoft.CodeAnalysis.CSharp; namespace TopLevel { using Microsoft; using System.ComponentModel; namespace Child1 { using Microsoft.Win32; using System.Runtime.InteropServices; class Foo { public string FChildA{get;set;} public string FChildB{get;set;} } } namespace Child2 { using System.CodeDom; using Microsoft.CSharp; class Bar { public string BChildA{get;set;} public string BChildB{get;set;} } } }"; var collector = new AnalysisDemo().GetCollector(code2); foreach (var directive in collector.Usings) { Console.WriteLine($"Name:{directive.Name}"); } Console.WriteLine($"models:{JsonConvert.SerializeObject(collector.models)}");
执行结果
[图片上传失败...(image-d0a70f-1540521524947)]
我们可以得出结论
VisitUsingDirective 主要用于获取Using命名空间
VisitPropertyDeclaration主要用于获取属性。
总结
本篇文章主要讲了
语法树SyntaxTree,以及SyntaxNode,SyntaxToken,SyntaxTrivia。
通过重写CSharpSyntaxWalker的虚方法,可以实现自定义获取。
附上官方截取的部分流程图
Roslyn编译管道功能区
编译管道
API图层
Roslyn由两个主要的API层组成 - 编译器API和工作区API。
API图层
作者:范存威
链接:https://www.jianshu.com/p/e4f412696a89