Roslyn分析器优化：非字符串判断泛型Task<T>类型的可行方案

我正在开发一款Roslyn分析器，用于检测async Task<T>被装箱到object变量的场景。示例代码如下：

int GetValue() => ...

void Print(object value) => Console.WriteLine(value);

void Main() {
  Print(GetValue());
}

当将GetValue的返回类型修改为Task<int>后：

-int GetValue() => ...
+Task<int> GetValue() => ...

分析器需要抛出警告。目前开发已接近尾声，我希望优化IsGenericTaskType方法——当前该方法通过字符串比较判断传入的ITypeSymbol是否为System.Threading.Tasks.Task'1，但这种方式不够优雅。ChatGPT给出的方案如下：

type as INamedTypeSymbol)?.ConstructedFrom.SpecialType == SpecialType.System_Threading_Tasks_Task_T;

但我遇到了CS1061错误，因为无法访问SpecialType.System_Threading_Tasks_Task_T这个枚举值。请问是否存在无需使用字符串进行类型比较的可行方法？

原因说明 #

SpecialType枚举仅包含基础类型和部分常用非泛型类型（例如非泛型Task对应SpecialType.System_Threading_Tasks_Task），并不存在泛型Task<T>对应的枚举值，因此ChatGPT的方案无法生效。

推荐实现方式 #

可以通过Roslyn的Compilation.GetTypeByMetadataName获取泛型Task<T>的元数据定义，再使用Roslyn推荐的SymbolEqualityComparer进行符号比较，完全避免字符串匹配：

using Microsoft.CodeAnalysis;
using Microsoft.CodeAnalysis.CSharp;

private bool IsGenericTaskType(ITypeSymbol type)
{
    if (type is not INamedTypeSymbol namedType)
        return false;

    // 获取泛型Task<T>的元数据定义
    var genericTaskDefinition = type.Compilation.GetTypeByMetadataName("System.Threading.Tasks.Task`1");
    if (genericTaskDefinition == null)
        return false;

    // 比较当前类型的构造定义是否与泛型Task的定义匹配
    return namedType.ConstructedFrom.Equals(genericTaskDefinition, SymbolEqualityComparer.Default);
}

补充说明 #

• GetTypeByMetadataName通过元数据名称（包含泛型参数数量标记1）准确获取类型符号，是Roslyn中获取框架类型的标准方式。
• SymbolEqualityComparer.Default是Roslyn提供的符号比较器，能正确处理符号的等价性判断，比直接引用比较更可靠。

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