如何将Dictionary<string,ITypeSymbol>类型参数值替换到任意ITypeSymbol实例中

解决方案 #

你遇到的核心问题是原代码未处理嵌套类型的外层包含类型泛型替换逻辑，只需拆分嵌套类型和普通命名类型的处理流程，先递归替换外层包含类型，再从替换后的外层类型中匹配对应嵌套类型即可，修正后代码如下：

static ITypeSymbol SubstituteGenericArgs(ITypeSymbol type) => type switch
{
    // 泛型参数直接查表替换
    ITypeParameterSymbol tps => typeParameterValues[tps.Name],
    INamedTypeSymbol nts => 
        // 存在外层包含类型时走嵌套类型处理逻辑
        nts.ContainingType != null 
            ? SubstituteNestedType(nts)
            : SubstituteNamedType(nts),
    // 如需支持数组、指针等其他类型可在此扩展对应分支
    _ => type
};

// 处理非嵌套的命名类型
static INamedTypeSymbol SubstituteNamedType(INamedTypeSymbol nts)
{
    if (!nts.IsGenericType)
        return nts;
    var substitutedArgs = nts.TypeArguments.Select(SubstituteGenericArgs).ToArray();
    return nts.ConstructedFrom.Construct(substitutedArgs);
}

// 处理嵌套类型
static INamedTypeSymbol SubstituteNestedType(INamedTypeSymbol nestedType)
{
    // 先递归替换外层包含类型的所有泛型参数
    var substitutedContainingType = (INamedTypeSymbol)SubstituteGenericArgs(nestedType.ContainingType);
    // 从替换后的外层类型中匹配名称、自身泛型参数数量一致的嵌套类型定义
    var targetNestedDef = substitutedContainingType.GetTypeMembers()
        .First(m => m.Name == nestedType.Name && m.Arity == nestedType.Arity);
    // 嵌套类型本身是泛型的话，替换自身泛型参数后构造
    if (nestedType.IsGenericType)
    {
        var substitutedNestedArgs = nestedType.TypeArguments.Select(SubstituteGenericArgs).ToArray();
        return targetNestedDef.Construct(substitutedNestedArgs);
    }
    return targetNestedDef;
}

逻辑说明 #

1. 优先处理外层包含类型的泛型替换，得到完全替换后的外层类型实例
2. 从替换后的外层类型中按「名称+自身泛型参数数量」匹配对应嵌套类型，避免替换外层后找不到嵌套类型的问题
3. 嵌套类型自身的泛型参数单独处理，和外层泛型参数隔离，不会出现替换冲突
4. 完全兼容你给出的两个示例场景，非嵌套泛型、嵌套非泛型场景都能正常输出预期结果

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