寻找可匹配Mono.Cecil.MethodDefinition与对应BaseMethodDeclarationSyntax节点的类库

问题背景 #

给定一个Mono.Cecil.MethodDefinition实例和Microsoft.CodeAnalysis.SyntaxTree实例，需要在语法树中定位对应的Microsoft.CodeAnalysis.CSharp.Syntax.BaseMethodDeclarationSyntax节点，但存在不少难点：

• 隐式构造函数在语法树中没有对应的基础方法节点，需要定制匹配规则；
• 还需正确映射属性的getter/setter、事件的adder/remover、析构函数及各类运算符。

目前未找到合适的类库，搜索时误匹配结果较多，想了解是否存在这类工具。

回答 #

目前没有成熟的开箱即用类库能直接完成这一映射工作，核心原因是IL层面（Mono.Cecil处理的编译后代码）与语法树层面（Roslyn处理的源代码）存在天然的语义差异：

• 编译器自动生成的合成方法（比如隐式构造函数、属性访问器的底层逻辑）在语法树中可能没有直接对应的声明节点；
• 运算符、析构函数这类元素在IL中的命名规则和语法树中的声明形式完全不同，无法直接通过名称匹配。

如果要实现该功能，需要手动定制匹配逻辑，核心思路如下：

• 按方法类型定制匹配规则：
  • 普通方法：匹配方法名、参数列表、返回值类型，结合所在类型的完全限定名做精准匹配；
  • 属性访问器：通过MethodDefinition.IsGetter/IsSetter标记，反向查找语法树中的PropertyDeclarationSyntax，再关联对应的访问器节点；
  • 事件处理器：利用MethodDefinition.IsAddOn/IsRemoveOn标记，定位EventDeclarationSyntax的对应adder/remover节点；
  • 析构函数：IL中方法名为Finalize，对应语法树中的DestructorDeclarationSyntax；
  • 运算符：IL中方法名以op_前缀开头（如op_Addition对应+运算符），需映射回语法树中的OperatorDeclarationSyntax；
  • 隐式构造函数：语法树中无对应节点，可直接返回null或自定义标记。
• 借助Roslyn语义模型做中间层匹配：
  先将SyntaxTree转换为SemanticModel，通过SemanticModel.GetDeclaredSymbol获取语法节点对应的ISymbol，再对比ISymbol与Mono.Cecil.MethodDefinition的符号信息（如完全限定名、签名哈希等）完成匹配。

内容的提问来源于stack exchange，提问作者mark