如何通过Roslyn识别using static引入的nameof编译时依赖？

我开发C#类型依赖识别工具时也碰到过完全一样的问题：二进制分析抓不到常量、nameof这类编译内联的依赖，纯语法分析撑不住复杂场景，只能靠Roslyn语义模型，但using static导入的成员在nameof里就是识别不了——INameOfOperation根本拿不到对应的类型符号，必须额外做上下文分析才能覆盖这类场景。

核心问题原因 #

Roslyn的INameOfOperation处理无类型限定的nameof时，只会优先绑定当前上下文的局部符号、实例成员，或者普通using导入的类型成员，不会主动遍历using static导入的静态成员池，导致这类跨类型依赖被漏识别。

通用解决方案步骤 #

要覆盖这种场景，需要结合语法节点遍历和语义符号查找，分三步处理：

• 收集当前编译单元的using static导入类型：从nameof所在的语法树里，把所有using static指令对应的类型符号提取出来，作为候选匹配池。
• 解析nameof的目标标识符：提取nameof(xxx)里的简单标识符节点（排除带类型限定的情况）。
• 在候选池中匹配成员符号：遍历所有导入的静态类型，查找是否存在同名的字段、属性或方法，找到后即可关联对应的依赖类型。

示例代码实现 #

// 假设已获取到目标nameof语法节点和对应的语义模型
var nameOfExpr = syntaxNode as NameOfExpressionSyntax;
var semanticModel = compilation.GetSemanticModel(nameOfExpr.SyntaxTree);

if (nameOfExpr?.Argument.Expression is IdentifierNameSyntax identifier)
{
    // 1. 收集当前语法树中所有using static导入的类型符号
    var staticImportTypes = nameOfExpr.SyntaxTree.GetRoot()
        .DescendantNodes()
        .OfType<UsingDirectiveSyntax>()
        .Where(d => d.StaticKeyword != null)
        .Select(d => semanticModel.GetSymbolInfo(d.Name).Symbol as INamedTypeSymbol)
        .Where(t => t != null);

    // 2. 先检查当前上下文的局部/实例符号，避免误匹配
    var localSymbol = semanticModel.GetSymbolInfo(identifier).Symbol;
    if (localSymbol != null && !(localSymbol is IStaticSymbol))
    {
        // 目标是局部变量或实例成员，无跨类型依赖
        return;
    }

    // 3. 在using static导入的类型中查找匹配的成员
    foreach (var staticType in staticImportTypes)
    {
        var matchedMember = staticType.GetMembers(identifier.Identifier.Text)
            .FirstOrDefault(m => m is IFieldSymbol || m is IPropertySymbol || m is IMethodSymbol);
        
        if (matchedMember != null)
        {
            // 成功识别跨类型依赖
            var declaringType = semanticModel.GetDeclaredSymbol(
                nameOfExpr.Ancestors().OfType<ClassDeclarationSyntax>().First()
            ) as INamedTypeSymbol;
            
            // 这里可根据需求记录依赖关系：declaringType -> staticType
            break;
        }
    }
}

额外注意事项 #

• 作用域优先级：必须先检查当前上下文的局部符号、实例成员，避免把局部变量误判为using static导入的成员。
• 冲突处理：如果多个using static导入了同名成员，工具可标记为模糊依赖，或结合编译错误信息进一步确认。
• 兼容现有逻辑：对于带类型限定或using别名的nameof，Roslyn本身已支持识别，无需额外处理。

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