元数据是描述数据的数据。例如抽象,密封这些类的修饰关键字,都是在描述这个类。
在使用程序集获取所有类型后,可以再检验元数据筛选出想要的Type,再用Type构建值。
查看类型的元数据
这是两个叠了一堆buff的类。
namespace Tesk.Type
{
public abstract class Class<T>
{
public ref struct Struct
{
}
}
}
var type1 = typeof(Tesk.Type.Class<>);
var type2 = typeof(Tesk.Type.Class<>.Structr);
Console.WriteLine(type1.FullName);//获取全名,泛型会以`1的数字依次列出
//Tesk.Type.Class`1
Console.WriteLine(type2.FullName);//内部类会以+号表示
//Tesk.Type.Class`1 + Structr
Console.WriteLine(type1.IsAbstract);//是抽象的
Console.WriteLine(type1.IsSealed);//是密封的
Console.WriteLine(type1.IsPublic);//是公开的顶级类(不是嵌套类)
Console.WriteLine(type1.IsTypeDefinition);//是定义出来的类(数组,填充了类型参数的泛型类不算)
Console.WriteLine(type1.IsArray);//是数组
Console.WriteLine(type1.IsClass);//是类(用class关键字声明的)
Console.WriteLine(type1.IsEnum);//是枚举
Console.WriteLine(type1.IsInterface);//是接口
Console.WriteLine(type1.IsValueType);//是值类型(结构或枚举)
Console.WriteLine(type1.IsByRef);//是数组,指针,或类似的东西
Console.WriteLine(type1.IsByRefLike);//是ref结构
Console.WriteLine(type2.Name);//获取类名
Console.WriteLine(type2.Namespace);//获取命名空间
Console.WriteLine(type2.FullName);//获取完整名字
var v3 = type2.DeclaringType;//获取声明类,如果不是内部类则为null
Console.WriteLine(v3 == type1);
检查多态
使用反射时无法判断类型,得到的值如果不是反射相关的类型,那就基本都是object。
在反射时,进行带有多态的类型检查,需要查找一个类的基类和接口。
interface IInter1 { }
interface IInter2 { }
class Base { }
class Child : Base, IInter1, IInter2 { }
获取类的基类和接口
Type t1 = typeof(Child);
var t2 = t1.BaseType;//获取类的直接基类
var t3 = t1.GetInterface(typeof(IInter1).FullName);//搜索指定名字的接口(完全限定名)
Type[] t4 = t1.GetInterfaces();//获取所有接口构成的数组。
给定一个Type,判断能否赋值给某类型的变量
var b1=typeof(Base).IsAssignableFrom(t1);
Console.WriteLine(b1);
此方法需要从基类型点出来,参数写检查的类型。
如果是类,会检查是否从自身派生。
如果是接口,则检查是否实现了自己。
如果带有泛型,则检查是否符合泛型约束。
检查特性
Type t1 = typeof(Class<>);
bool b1 = t1.IsDefined(typeof(DisplayAttribute), false);//第二个参数是查找类(不是特性)的祖上是否有此特性
DisplayAttribute display = t1.GetCustomAttribute<DisplayAttribute>();//通过泛型方法查找特性
var attribute = t1.GetCustomAttribute(typeof(DisplayAttribute));//通过Type参数查找特性
一般手动调用会调用泛型方法直接得到指定类型的特性。
但如果连要找的特性都是反射出来的Type,那就只能通过传参Type来找