Roslyn中如何通过MemberAccessExpressionSyntax获取ObjectCreationExpressionSyntax的SymbolInfo

错误原因 #

你在AnalyzeObjectCreation方法中调用SemanticModel.GetSymbolInfo(expression.Type)时抛出ArgumentException，核心原因是：GetSymbolInfo方法的参数要求是ExpressionSyntax或AttributeSyntax类型的节点，而expression.Type是TypeSyntax（此处为GenericNameSyntax），不符合方法的参数要求。

正确实现方式 #

要获取Dictionary<int, int>对应的ITypeSymbol，应该使用SemanticModel.GetTypeInfo方法，它专门用于解析类型语法节点的语义信息。修改后的AnalyzeObjectCreation方法如下：

private static void AnalyzeObjectCreation(
    SyntaxNodeAnalysisContext context, ObjectCreationExpressionSyntax expression, Location location, object arg)
{
    // 使用GetTypeInfo获取TypeSyntax对应的类型信息
    var typeInfo = context.SemanticModel.GetTypeInfo(expression.Type, context.CancellationToken);
    if (typeInfo.Type is ITypeSymbol typeSymbol)
    {
        MyAnalysis(context.Compilation, typeSymbol);
    }

    var initializerExpressions = expression.Initializer?.Expressions.ToArray() ?? Array.Empty<ExpressionSyntax>();
    foreach (var expressionSyntax in initializerExpressions)
    {
        AnalyzeExpression(context, expressionSyntax, location, arg);
    }
}

补充说明 #

• 如果需要获取该类型的定义符号（比如Dictionary类的元数据符号），可以在得到ITypeSymbol后，通过typeSymbol.OriginalDefinition或直接访问typeSymbol的属性来获取。
• 递归分析逻辑中，AnalyzeExpression处理MemberAccessExpressionSyntax时，当前代码只处理了memberAccess.Expression是ObjectCreationExpressionSyntax的情况，若需要更全面的分析，可以继续递归分析memberAccess.Expression本身（比如调用AnalyzeExpression(context, memberAccess.Expression, location, arg)），避免遗漏嵌套的表达式节点。

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