查找方法的声明类型

Question

给定一个 MethodDeclarationSyntax 对象，如何找出该方法的声明类型？

我的实际问题是我需要弄清楚引用的方法是否实现了接口方法。

例如，给定下面的代码，如果我有 Dispose() 方法的 MethodDeclarationSyntax，如何断定它是 IDisposable.Dispose() 的实现？

using System;
abstract class InterfaceImplementation : IDisposable
{
    public abstract void Dispose();
}

我尝试获取方法的声明类型（并检查类型）但没有成功（父属性返回 InterfaceImplementation 类）。

我也尝试过获取该方法的语义符号：

var methodSymbol = (MethodSymbol) semanticModel.GetDeclaredSymbol(methodDeclaration);

但找不到任何可以帮助我的东西。

想法？

Answer 1

获得方法符号后，您可以询问给定方法是否在给定类型内实现接口方法。代码相当简单：

MethodSymbol method = ...;
TypeSymbol type = method.ContainingType;
MethodSymbol disposeMethod = (MethodSymbol)c.GetSpecialType(SpecialType.System_IDisposable).GetMembers("Dispose").Single();
bool isDisposeMethod = method.Equals(type.FindImplementationForInterfaceMember(disposeMethod));

请务必注意，这假定包含 Dispose 方法的类型是声明它实现 IDisposable 的类型。在 C# 中，方法可以实现仅在派生类型上声明的接口方法。更具体地说，如果您在上面的代码中省略了“：IDisposable”，并且具有 IDisposable 的派生类型 InterfaceImplementation，则该 Dispose() 方法仍然可以实现它。

Answer 2

语法类型（如MethodDeclarationSyntax）仅在语法级别上操作。在这个级别，不知道方法Dispose 是否实现IDisposable。那是因为你还不知道IDisposable 有什么方法。更何况你甚至不知道IDisposable是否存在，是类还是接口，全名是什么。 （是System.IDisposable？还是MyNamespace.IDisposable？）

如您所料，要获得这样的信息，您需要达到语义级别。

我没有找到直接从方法到接口的任何方法，除非它是显式接口实现（编辑：那是因为它并不总是可能的，请参阅 Kevin 的评论）。但是你可以从一个类型中得到一些具体接口方法的实现。

所以，如果你想知道某个MethodSymbol 实现了IDisposable.Dispose()，你可以这样做：

SyntaxTree unit = SyntaxTree.ParseCompilationUnit(code);

MethodDeclarationSyntax method = …;

var compilation = Compilation.Create("test")
    .AddReferences(new AssemblyFileReference(typeof(object).Assembly.Location))
    .AddSyntaxTrees(unit);

SemanticModel model = compilation.GetSemanticModel(unit);

MethodSymbol methodSymbol = (MethodSymbol)model.GetDeclaredSymbol(method);

var typeSymbol = methodSymbol.ContainingType;

var idisposableDisposeSymbol = model.BindExpression(
    0, Syntax.ParseExpression("System.IDisposable.Dispose()")).Symbol;

var implementation = typeSymbol.FindImplementationForInterfaceMember(
    idisposableDisposeSymbol);

bool methodImplementsDispose = methodSymbol == implementation;