casting.md 2.0 KB

类型转换库API

  内核提供了一些函数来帮助你在不同的类型之间进行转换。包括以下类型:

  • 数值类型转换 (使用num-traits库)
  • Arc类型转换

  上述没有特殊标明的函数,都是在kernel/src/libs/casting.rs中实现的。

1. 数值类型转换

1.1. 整数类型与枚举类型之间的转换

  您可以使用num-traits库提供的宏,实现枚举类型和整数类型之间的转换。 SystemError枚举类型使用了这种方式,您可以在kernel/src/syscall/mod.rs中找到它的用法。

  它首先继承了FromPrimitive, ToPrimitive两个trait,然后这样转换:

impl SystemError {
    /// @brief 把posix错误码转换为系统错误枚举类型。
    pub fn from_posix_errno(errno: i32) -> Option<SystemError> {
        // posix 错误码是小于0的
        if errno >= 0 {
            return None;
        }
        return <Self as FromPrimitive>::from_i32(-errno);
    }

    /// @brief 把系统错误枚举类型转换为负数posix错误码。
    pub fn to_posix_errno(&self) -> i32 {
        return -<Self as ToPrimitive>::to_i32(self).unwrap();
    }
}

  这两个函数很好的说明了如何使用这两个trait。

2. Arc类型转换

2.1 从Arc转换为Arc

  当我们需要把一个Arc<dyn U>转换为Arc<T>的具体类型指针时,我们要为U这个trait实现DowncastArctrait。这个trait定义在kernel/src/libs/casting.rs中。它要求trait U实现Any + Sync + Sendtrait.

  为trait U: Any + Send + Sync实现DowncastArctrait,需要这样做:

impl DowncastArc for dyn U {
    fn as_any_arc(self: Arc<Self>) -> Arc<dyn Any> {
        return self;
    }
}

  使用DowncastArctrait,我们可以这样转换:

let arc: Arc<dyn U> = ...;
let arc_t: Arc<T> = arc.downcast_arc::<T>().unwrap();

  如果arc的具体类型不是Arc<T>,那么downcast_arc::<T>()会返回None