c# - 在所有情况下将 (Dictionary typeParameterValues) 替换为 ITypeSymbol

Question

我有一个类型参数值的字典:

ImmutableDictionary<string, ITypeSymbol> typeParameterValues;

我如何使用 ITypeSymbol 替换这些类型参数:
例如。 List<T> -> List<string> (如果 T 是字符串)
例如。 Dictionary<K, V>.ValueCollection -> Dictionary<string, int>.ValueCollection (如果 K 是字符串而 V 是整数)
到目前为止，我已经能够使用以下代码使第一个示例工作:

static ITypeSymbol SubstituteGenericArgs (ITypeSymbol type) => type switch {
    ITypeParameterSymbol tps => typeParameterValues[tps.Name]
    INamedTypeSymbol nts when nts.IsGeneric => nts.ConstructedFrom.Construct(
        nts.TypeParameters.Select(SubstituteGenericArgs).ToArray()
    ),
    INamedTypeSymbol ngts when !ngts.IsGeneric => ngts
};

我知道我可以做 nts.ContainingType但问题是一旦我将正确的类型参数替换为包含类型，就无法使用我找到的新包含类型获取原始类型。

Answer 1

这是我想出来的:

public record GenericContext (Dictionary<string, ITypeSymbol> typeParameterValues)
{
    public ITypeSymbol SubstituteGenericArgs (ITypeSymbol type) => type switch
    {
        INamedTypeSymbol nts when nts.ContainingType is {} ct && ct.IsGenericType => SimpleSubstituteGenericArgs(
            SubstituteGenericArgs(ct).GetMembers().OfType<INamedTypeSymbol>().Single(
                gv => gv.OriginalDefinition == nts.OriginalDefinition
            )
        ),
        _ => SimpleSubstituteGenericArgs(type)
    };

    public ITypeSymbol SimpleSubstituteGenericArgs(ITypeSymbol type) => type switch
    {
        ITypeParameterSymbol tps => typeParameterValues[tps.Name],
        INamedTypeSymbol nts when nts.TypeArguments.Length == 0 => nts,
        INamedTypeSymbol nts when nts.TypeArguments.Length >  0 => nts.ConstructedFrom.Construct(
            nts.TypeArguments.Select(SubstituteGenericArgs).ToArray()
        )
    };
}

谢谢 @Jeremy Lakeman .
看这里: https://dotnetfiddle.net/AIlKBw
如果您想到任何改进，请告诉我。我认为这将是一个内置功能。