使用 Roslyn 时如何验证方法中参数的类型

Question

我正在使用 Roslyn 进行代码分析，以验证即使我有以下签名

public void MyMethod(object anObject, MyCustomObject customObject);

我只想接收来自 MyCustomObject 的字符串（第一个）和子元素（第二个）作为参数。我对签名没有权力，无法更改。

这是我评估我的方法所做的事情（这是一个片段）

    public void OnMethodInvocation(SyntaxNodeAnalysisContext context)
    {
        var invocation= context.Node as InvocationExpressionSyntax;
        var symbol = context.SemanticModel.GetSymbolInfo(invocation).Symbol as IMethodSymbol;

        if (symbol?.Name.ToString()== "MyMethod")
        {
            var parameterList = invocation.Parameters;
        }

截至目前，我可以通过属性参数 (symbol.Parameters) 操作 IParameterSymbol 对象。我没有得到的是以下内容：我已经检查了包含两个参数的结果 IEnumerable，但由于方法签名，它期望接收一个对象和一个 MyCustomObject 实例。我（目前）无法确定第一个参数确实是一个对象而不是字符串（只是一个例子，可能是其他任何东西），并且当我期待 MyCustomObject 的子级时，如果我给它一个空值，我想知道它是一个空参数。

我将感激任何能让我摆脱困境的人！

更新

以下是当我进入 ArgumentSyntax 对象时向我提供的信息类型：

ArgumentSyntax Argument exception
    ContainsAnnotations: false
    ContainsDiagnostics: false
    ContainsDirectives: false
    ContainsSkippedText: false
    Expression: IdentifierNameSyntax IdentifierName exception
    FullSpan: {[550..559)}
    HasLeadingTrivia: false
    HasStructuredTrivia: false
    HasTrailingTrivia: false
    IsMissing: false
    IsStructuredTrivia: false
    KindText: "Argument"
    Language: "C#"
    NameColon: null
    Parent (Microsoft.CodeAnalysis.SyntaxNode): ArgumentListSyntax ArgumentList (exception,exception)
    ParentTrivia: SyntaxTrivia None 
    RawKind: 8638
    RefOrOutKeyword: SyntaxToken None 
    Span: {[550..559)}
    SpanStart: 550

Answer 1

您应该做的是获取参数（不是参数——它们是不同的东西！）并调用SemanticModel.GetTypeInfo()ArgumentSyntax。这将为您提供正在传递的表达式的类型。从那里您可以进行任何您需要的检查。