如何利用Roslyn从方法参数中的调用表达式获取方法返回类型？

当然可行！而且完全不用手动去扫描Factory类的代码——Roslyn的语义分析功能就能帮你轻松搞定这件事，比手动解析高效得多，还能处理接口实现、方法重载这类复杂场景。

先回顾一下你的代码场景：

public class Test { 
    private readonly IFactory _factory; 
    private readonly ISomeClass _someClass; 
    public Test(IFactory factory, ISomeClass someClass) { 
        _factory = factory; 
        _someClass = someClass; 
    } 
    // ...
    public void TestMethod() { 
        _someClass.Do(_factory.CreateSomeObject()); // 就是这个CreateSomeObject调用需要解析返回类型
    } 
} 
public class Factory { 
    public SomeObject CreateSomeObject() { 
        return new SomeObject(); 
    } 
} 
public class SomeClass { 
    public void Do(SomeObject obj){ /* ... */ } 
}

具体实现步骤 #

你不需要手动遍历解决方案里的Factory类，只需要利用Roslyn的SemanticModel（语义模型）来绑定语法节点和编译时的类型信息：

1. 从ArgumentSyntax拿到InvocationExpressionSyntax
   如果你已经有了_someClass.Do(...)中对应的ArgumentSyntax列表，那么只需要取出目标参数的Expression属性，就能得到_factory.CreateSomeObject()对应的InvocationExpressionSyntax节点：

   // 假设你已经拿到了arguments列表（比如从InvocationExpressionSyntax的ArgumentList中获取）
   ArgumentSyntax targetArg = arguments.FirstOrDefault();
   if (targetArg?.Expression is InvocationExpressionSyntax createInvocation)
   {
       // 这里的createInvocation就是_factory.CreateSomeObject()的语法节点
   }
   

2. 用SemanticModel获取方法的返回类型
   通过SemanticModel的GetSymbolInfo方法，你可以拿到这个方法调用对应的语义符号（IMethodSymbol），然后直接获取返回类型：

   // 假设你已经获取到了SemanticModel实例（可以从Compilation或者SyntaxTree的GetSemanticModel方法获取）
   if (semanticModel.GetSymbolInfo(createInvocation).Symbol is IMethodSymbol createMethodSymbol)
   {
       // 获取返回类型的ITypeSymbol
       ITypeSymbol returnType = createMethodSymbol.ReturnType;
       // 如果你需要可读的类型名称，可以用ToDisplayString()
       string typeName = returnType.ToDisplayString();
       // 这里会输出"SomeObject"（根据你的代码场景）
   }
   

为什么这个方法更靠谱？ #

• 自动处理接口与实现：哪怕你调用的是IFactory接口的方法，SemanticModel会根据编译上下文自动解析到实际实现类（Factory）的方法返回类型，不用你手动关联接口和实现。
• 支持方法重载：如果CreateSomeObject有多个重载版本，语义模型会自动识别当前调用的是哪一个，返回对应的类型。
• 实时更新：如果后续CreateSomeObject的返回类型修改了，只要重新编译，SemanticModel就能拿到最新的类型信息，不用你修改解析逻辑。

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