c# - `typeof` 运算符如何在泛型方法中获取类型参数?
问题描述
在 Java 中,此代码不起作用:
public <T> void foo() { print(T.class); } // compile time error
因为泛型类型T
在运行时被擦除。要使用T
,我必须将其用作参数,它将推String.class
入堆栈
public <T> void foo(Class<T> T) { print(T); }
public void bar() { foo(String.class); }
但在 C# 中,我可以在运行时获取类型参数:
public void Foo<T>() { print(typeof(T)); }
它是如何工作的?编译器(或 vm)是否自动转换void Foo<T>()
为void Foo(Type T)
?
更新:
我反汇编了字节码,得到了类似的东西:
ldtoken !!T
call System.Type System.Type::GetTypeFromHandle(System.RuntimeTypeHandle)
由于ldtoken
是“将元数据令牌转换为其运行时表示”的指令,很明显运行时类型T
存储为元数据。
我猜每个方法都有自己的“元数据表”(或类似的东西),所以调用Foo<string>()
并将Foo<object>()
生成两个“方法句柄”和两个“元数据表”,但共享相同的机器代码。是吗?
解决方案
编译器(或 vm)是否自动将 void Foo() 转换为 void Foo(Type T)?
不,它没有。泛型方法的主体是在运行时动态生成的。因此,例如,当您提供T
as时int
,会生成此方法:
public void Foo<int>() { print(typeof(int)); }
每次传递不同类型时都会发生这种情况。但是如果您再次使用相同的类型,CLR 将缓存先前生成的方法并执行它,而不是生成新的方法。