3

假设您有以下代码：

        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 示例中我无法从 Anonymous 类型中获得正确的参数类型？

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

4

1 回答 1

6

我认为如果我问与您相同的问题，但使用List<T>而不是异常类型会更清楚：

如果我这样做new List<int>().GetType().GetGenericArguments()了，我会得到int我所期望的。但是如果我查看Listmscorlib 中的类型，它会显示泛型类型T，而不是int. 为什么？

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

如果您想知道为什么所有异常类型都是泛型的，请阅读Eric Lippert 的文章为什么匿名类型是泛型的？

于 2013-09-25T21:56:16.207 回答