Any

可以通过运行时反射动态获取任何’static类型。

任何一个本身都可用于获取TypeId,并且在用作trait对象时具有更多功能。 As&Any(借用的trait对象),它具有isdowncast_ref方法,用于测试包含的值是否属于给定类型,并获取对内部值的引用作为类型。 As&mut Any,还有downcast_mut方法,用于获取内部值的可变引用。 Box <Any>添加了downcast方法,该方法尝试转换为Box <T>。请注意,&Any仅限于测试值是否为指定的具体类型,并且不能用于测试类型是否实现trait。

某些路径里加载配置文件。我们可能提供一个配置文件路径,好吧,这是个字符串(String)。但是,当我想要传入多个配置文件的路径的时候,我们传入了一个数组。

  1. use std::any::Any;
  2. use std::fmt::Debug ;
  3. fn load_config<T:Any+Debug>(value: &T) -> Vec<String>{
  4. let mut cfgs: Vec<String>= vec![];
  5. let value = value as &Any;
  6. match value.downcast_ref::<String>() {
  7. Some(cfp) => cfgs.push(cfp.clone()),
  8. None => (),
  9. };
  10. match value.downcast_ref::<Vec<String>>() {
  11. Some(v) => cfgs.extend_from_slice(&v),
  12. None =>(),
  13. }
  14. if cfgs.len() == 0 {
  15. panic!("No Config File");
  16. }
  17. cfgs
  18. }
  19. fn main() {
  20. let cfp = "/etc/wayslog.conf".to_string();
  21. assert_eq!(load_config(&cfp), vec!["/etc/wayslog.conf".to_string()]);
  22. let cfps = vec!["/etc/wayslog.conf".to_string(),
  23. "/etc/wayslog_sec.conf".to_string()];
  24. assert_eq!(load_config(&cfps),
  25. vec!["/etc/wayslog.conf".to_string(),
  26. "/etc/wayslog_sec.conf".to_string()]);
  27. }

我们来重点分析一下中间这个函数:

  1. fn load_config<T:Any+Debug>(value: &T) -> Vec<String>{..}

首先,这个函数接收一个泛型T类型,T必须实现了AnyDebug

这里可能有同学疑问了,你不是说只能反射 'static 生命周期的变量么?我们来看一下Any限制:

  1. pub trait Any: 'static + Reflect {
  2. fn get_type_id(&self) -> TypeId;
  3. }

看,Any在定义的时候就规定了其生命周期,而Reflect是一个Marker,默认所有的Rust类型都会实现他!注意,这里不是所有原生类型,而是所有类型。

好的,继续,由于我们无法判断出传入的参数类型,因此,只能从运行时候反射类型。

  1. let value = value as &Any;

首先,我们需要将传入的类型转化成一个 trait Object, 当然了,你高兴的话用 UFCS 也是可以做的,参照本章最后的附录。

这样,value 就可以被堪称一个 Any 了。然后,我们通过 downcast_ref 来进行类型推断。如果类型推断成功,则 value 就会被转换成原来的类型。

有的同学看到这里有点懵,为什么你都转换成 Any 了还要转回来?

其实,转换成 Any 是为了有机会获取到他的类型信息,转换回来,则是为了去使用这个值本身。

最后,我们对不同的类型处以不同的处理逻辑。最终,一个反射函数就完成了。

Rust的反射只能被用作类型推断,绝对不能被用作接口断言!