C# Roslyn代码分析方法详解

Roslyn 分析器是嵌入编译管道的实时诊断组件，区别于传统静态分析（如DLL扫描），它在CSharpCompilation阶段介入，可访问语法树、语义模型和符号信息，支持精确类型推导而非文本模式匹配。

什么是 Roslyn 分析器，它和传统静态分析有什么区别

Roslyn 分析器不是编译后扫描 DLL 的工具，而是直接嵌入编译管道的实时诊断组件。它在 CSharpCompilation 构建过程中介入，能访问完整的语法树（SyntaxTree）、语义模型（SemanticModel）甚至符号信息（ISymbol）。这意味着你能精确知道某个 var 实际推导出什么类型，而不仅是匹配文本模式。

常见误区是把它当正则替换工具——比如只靠 IdentifierNameSyntax 找变量名，却不检查其 Symbol 是否为 string 类型，结果误报泛型方法参数或字段名。

创建 Analyzer 项目并注册语法/语义分析节点

用 Visual Studio 创建「Analyzer with Code Fix (.NET Standard)」模板最稳妥，它会自动配置 Microsoft.CodeAnalysis.CSharp 和 SDK 风格项目。关键不是写逻辑，而是选对挂载点：

• SyntaxNodeAction：适合检查 if 条件是否恒真/恒假，但拿不到变量实际值
• SyntaxNodeAction：适合检测 == null 比较，但要注意 is null 是不同节点类型
• RegisterSemanticModelAction：必须在这里才能调用 semanticModel.GetSymbolInfo(node)，否则 GetTypeInfo 返回空

漏掉 RegisterSemanticModelAction 是新手最常踩的坑——写了语义判断却始终得不到符号，因为没等语义模型就绪就提前执行了。

如何安全地获取类型信息并避免 NullReferenceException

所有从 SemanticModel 获取的信息都可能为 null，尤其在不完整代码（如用户正在输入时）场景下。不能直接链式调用 GetSymbolInfo(...).Symbol.ContainingType。

正确做法是逐层判空 + 使用 C# 8+ 的空合并运算符：

var symbol = semanticModel.GetSymbolInfo(expression).Symbol;
if (symbol?.ContainingType?.SpecialType == SpecialType.System_String)
{
    // 安全进入
}

还要注意：泛型类型（如 List）的 SpecialType 是 None，得用 symbol.ContainingType?.IsString() || symbol.Type?.IsString() 辅助判断。

发布与调试：为什么本地测试通过，CI 上却失效

Roslyn 分析器默认只在 IDE 中启用，若要让 dotnet build 或 CI 流水线触发，必须显式引用 NuGet 包并开启分析器：

• 在目标项目中添加
• 确保 PrivateAssets="all"，否则 analyzer dll 不会被 MSBuild 加载
• CI 环境若用 dotnet build -p:AnalysisLevel=latest，需确认你的分析器未被 AnalysisMode 过滤（如设为 Recommended 会跳过自定义规则）

最容易被忽略的是：调试时用 F5 启动 VSIX，但发布后用户没装对应版本的 Visual Studio —— 此时分析器仅在 CLI 编译生效，IDE 里不亮灯，让人误以为失效。