Question

假设您有下一个代码：

        var house = new {Color = "White", Area = 150};
        var typeHouse = house.GetType();
        var argumentTypes = typeHouse.GetGenericArguments();

argumentTypes 数组有两种类型：string和int ...没关系：）

但是，如果我有下一个使用Roslyn编译器的代码：

            var tree = SyntaxTree.ParseText(@"
            namespace TestRoslyn {
                public class MyClass {
                    public void GetHouse(){
                        var house = new {Color = 'W', Area = 150};
                    }
                }
            }");

        byte[] assembly;
        var compiler = Compilation.Create("Test", new CompilationOptions(outputKind: OutputKind.DynamicallyLinkedLibrary,
                                                                 usings: new[] { "System" }))
            .AddSyntaxTrees(tree)
            .AddReferences(new MetadataFileReference(typeof(object).Assembly.Location));

        using (var stream = new MemoryStream())
        {
            var result = compiler.Emit(stream);
            if (!result.Success)
                throw new Exception("You have an error! :( ");
            assembly = stream.ToArray();
        }
        Type[] types = Assembly.Load(assembly).GetTypes();
        var argumentTypes = types[0].GetGenericArguments(); //types [0] returns the <>f__AnonymousType

然后 argumentTypes 数组显示两个泛型类型，如“Color j_ TPar”和“Area j _TPar”...... :(

我的问题是：为什么在Roslyn示例中我无法从匿名类型中获取正确的参数类型？

如何获得“正确”的参数类型？

Answer 1

我认为如果我像你一样问同样的问题会更清楚，但使用List<T>而不是有点类型：

如果我new List<int>().GetType().GetGenericArguments()，我会按照我的预期得到int。但是，如果我查看mscorlib中的List类型，则会显示泛型类型T，而不是int。为什么呢？

你看到了区别吗？在第一种情况下，您有一个构造类型（例如List<int>）。但是当您查看程序集时，您将只看到泛型类型定义（例如List<T>）。仅当您使用某些通用参数实际设置泛型类型定义时，才会创建构造的类型。

如果您有兴趣了解为什么所有类型都是通用的，请阅读Eric Lippert's article Why are anonymous types generic?

在Roslyn程序集中获取匿名类型的通用参数类型

1 个答案: