使用Roslyn获取属性调用者类型时遇到类继承场景问题

你遇到的核心问题是仅靠语法树（Syntax Tree）无法获取成员的实际定义类型——CSharpSyntaxRewriter只处理代码的结构，不知道类型继承关系、成员的实际归属这些语义信息。要解决这个问题，必须结合Roslyn的SemanticModel来做语义分析，它能帮你解析出符号（Symbol）的真实定义位置。

关键思路 #

• 语义模型（SemanticModel）是Roslyn提供的核心组件，能将语法节点绑定到编译后的符号信息，包括成员的定义类型、继承关系等。
• 对于带this.的属性调用（MemberAccessExpressionSyntax），直接获取成员符号的ContainingType即可得到定义它的类。
• 对于不带this.的标识符调用（IdentifierNameSyntax），需要先通过语义模型解析该标识符对应的成员符号，再获取其定义类型。

完整实现示例 #

首先，我们需要创建一个带有SemanticModel的CSharpSyntaxRewriter：

using Microsoft.CodeAnalysis;
using Microsoft.CodeAnalysis.CSharp;
using Microsoft.CodeAnalysis.CSharp.Syntax;

public class PropertyOwnerRewriter : CSharpSyntaxRewriter
{
    private readonly SemanticModel _semanticModel;

    // 通过构造函数注入语义模型
    public PropertyOwnerRewriter(SemanticModel semanticModel)
    {
        _semanticModel = semanticModel;
    }

    // 处理带this.的成员访问（比如this.MyProperty）
    public override SyntaxNode VisitMemberAccessExpression(MemberAccessExpressionSyntax node)
    {
        // 获取成员符号信息
        var symbolInfo = _semanticModel.GetSymbolInfo(node.Name);
        if (symbolInfo.Symbol is IPropertySymbol propertySymbol)
        {
            // 获取属性定义的类型（即使在基类中）
            var ownerType = propertySymbol.ContainingType;
            Console.WriteLine($"Property {node.Name.Identifier.Text} is defined in: {ownerType.Name}");
        }

        return base.VisitMemberAccessExpression(node);
    }

    // 处理不带this.的标识符调用（比如MyProperty）
    public override SyntaxNode VisitIdentifierName(IdentifierNameSyntax node)
    {
        // 只处理方法体内的标识符，避免误处理其他场景
        if (node.Parent is BinaryExpressionSyntax && 
            _semanticModel.GetEnclosingSymbol(node.SpanStart) is IMethodSymbol)
        {
            var symbolInfo = _semanticModel.GetSymbolInfo(node);
            if (symbolInfo.Symbol is IPropertySymbol propertySymbol)
            {
                var ownerType = propertySymbol.ContainingType;
                Console.WriteLine($"Property {node.Identifier.Text} is defined in: {ownerType.Name}");
            }
        }

        return base.VisitIdentifierName(node);
    }
}

然后是使用这个重写器的代码：

// 解析示例代码
var code = @"
class BaseClass { public string MyProperty => ""hello""; }
class DerivedClass : BaseClass {
    void MyMethod() {
        var withThis = this.MyProperty == ""hello"";
        var withoutThis = MyProperty == ""hello"";
    }
}";

var tree = CSharpSyntaxTree.ParseText(code);
var compilation = CSharpCompilation.Create("TestCompilation")
    .AddReferences(MetadataReference.CreateFromFile(typeof(object).Assembly.Location))
    .AddSyntaxTrees(tree);

var semanticModel = compilation.GetSemanticModel(tree);
var root = tree.GetRoot();

var rewriter = new PropertyOwnerRewriter(semanticModel);
rewriter.Visit(root);

代码解释 #

1. 注入SemanticModel：重写器通过构造函数接收语义模型，这是获取符号信息的前提。
2. 处理MemberAccessExpressionSyntax：对于this.MyProperty这种形式，直接访问node.Name的符号，IPropertySymbol.ContainingType会直接返回BaseClass，因为属性是在基类中定义的。
3. 处理IdentifierNameSyntax：对于直接写MyProperty的情况，需要先判断它是否是方法体内的成员引用（避免误处理变量名等其他标识符），然后通过GetSymbolInfo解析到对应的属性符号，再获取其定义类型。
4. 输出结果：运行这段代码会输出两次Property MyProperty is defined in: BaseClass，不管是带this还是不带this的调用，都能正确识别属性的定义类。

注意事项 #

• 确保编译时添加了正确的程序集引用（比如System.Runtime等），否则语义模型无法正确解析类型。
• 对于更复杂的场景（比如多层继承、接口实现、扩展方法等），可以进一步通过propertySymbol.OriginalDefinition获取最原始的定义符号，确保拿到最准确的所有者类型。

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