如何检测托管程序集中类型的方法是否调用指定方法（如InterlockedExchange.Compare）？

你猜的完全没错——仅靠.NET自带的反射API根本做不到这件事。反射只能帮你拿到类型、方法的元数据信息（比如名字、参数列表、访问修饰符），但没法钻进方法内部去看它到底调用了哪些其他方法。要检测方法内部的调用关系，必须用能解析IL代码的工具，Mono.Cecil或者Roslyn都是这类场景下的常用选择，下面我给你详细讲讲怎么实现。

方案一：用Mono.Cecil分析已编译程序集 #

Mono.Cecil是专门用来读写.NET程序集、解析IL代码的轻量库，非常适合分析已编译好的DLL/EXE。

首先你需要通过NuGet安装Mono.Cecil包，然后可以写这样的代码来检测目标类型是否有方法调用Interlocked.CompareExchange：

using Mono.Cecil;
using Mono.Cecil.Cil;
using System;
using System.Linq;

private static bool HasOneOrMoreMethodsThatCallInterlockedExchangeCompare(Type type)
{
    if (type == null)
        throw new ArgumentNullException(nameof(type));
    if (!type.IsClass)
        return false;

    // 加载目标类型所在的程序集
    var assemblyPath = type.Assembly.Location;
    using var assembly = AssemblyDefinition.ReadAssembly(assemblyPath);
    
    // 找到对应的类型定义
    var typeDefinition = assembly.MainModule.Types.First(t => t.FullName == type.FullName);
    if (typeDefinition == null)
        return false;

    // 遍历该类型的所有方法（包括私有、静态、实例方法等）
    foreach (var method in typeDefinition.Methods)
    {
        // 跳过没有IL代码的方法（比如抽象方法、P/Invoke方法）
        if (!method.HasBody)
            continue;

        // 遍历方法的每一条IL指令
        foreach (var instruction in method.Body.Instructions)
        {
            // 检查是否是调用方法的指令（call用于静态/值类型方法，callvirt用于引用类型虚方法）
            if (instruction.OpCode == OpCodes.Call || instruction.OpCode == OpCodes.Callvirt)
            {
                // 获取被调用的方法引用
                var calledMethod = instruction.Operand as MethodReference;
                if (calledMethod != null)
                {
                    // 匹配Interlocked.CompareExchange（支持所有重载）
                    if (calledMethod.DeclaringType.FullName == "System.Threading.Interlocked" &&
                        calledMethod.Name == "CompareExchange")
                    {
                        return true;
                    }
                }
            }
        }
    }

    return false;
}

代码要点说明： #

• 先加载目标类型所在的程序集，找到对应的类型定义
• 跳过没有IL体的方法（这类方法没有实际代码可分析）
• 检查IL指令中的call/callvirt操作码，这两个是.NET中调用方法的核心指令
• 通过对比被调用方法的声明类型和名称，判断是否匹配目标方法

方案二：用Roslyn分析源代码 #

如果你的场景是有C#源代码，而不是已编译的程序集，那么Roslyn（.NET编译器平台）会更合适——它能直接解析源代码的语法树，从语义层面分析调用关系。

首先需要安装Microsoft.CodeAnalysis.CSharp NuGet包，示例代码如下：

using Microsoft.CodeAnalysis;
using Microsoft.CodeAnalysis.CSharp;
using Microsoft.CodeAnalysis.CSharp.Syntax;
using System;
using System.Linq;
using System.Threading;

private static bool HasMethodCallingInterlockedCompareExchange(string sourceCode)
{
    // 把源代码解析成语法树
    var syntaxTree = CSharpSyntaxTree.ParseText(sourceCode);
    var root = syntaxTree.GetRoot();

    // 遍历所有方法声明
    var methodDeclarations = root.DescendantNodes().OfType<MethodDeclarationSyntax>();

    foreach (var method in methodDeclarations)
    {
        // 找到方法内部的所有调用表达式
        var invocationExpressions = method.DescendantNodes().OfType<InvocationExpressionSyntax>();
        foreach (var invocation in invocationExpressions)
        {
            // 创建临时编译上下文，获取语义模型
            var compilation = CSharpCompilation.Create("TempCompilation")
                .AddReferences(MetadataReference.CreateFromFile(typeof(Interlocked).Assembly.Location))
                .AddSyntaxTrees(syntaxTree);
            var semanticModel = compilation.GetSemanticModel(syntaxTree);

            // 获取调用表达式对应的方法符号
            var symbolInfo = semanticModel.GetSymbolInfo(invocation.Expression);
            var methodSymbol = symbolInfo.Symbol as IMethodSymbol;

            // 匹配目标方法
            if (methodSymbol != null &&
                methodSymbol.ContainingType.FullName == "System.Threading.Interlocked" &&
                methodSymbol.Name == "CompareExchange")
            {
                return true;
            }
        }
    }

    return false;
}

代码要点说明： #

• 先将源代码解析为语法树，遍历所有方法节点
• 在每个方法内部查找调用表达式，通过语义模型获取调用的方法符号（语义模型能处理别名、扩展方法等语法细节）
• 对比方法符号的所属类型和名称，判断是否匹配Interlocked.CompareExchange

总结 #

• 分析已编译程序集选Mono.Cecil：轻量高效，不需要源代码，直接操作IL指令
• 分析源代码选Roslyn：能精准处理语法层面的各种情况，支持重构、代码分析等高级场景
• 原生反射确实无法实现这类需求，因为它不暴露方法内部的IL执行逻辑

内容的提问来源于stack exchange，提问作者Water Cooler v2