7 与mint库对象互转宏（macros.rs）

news2025/2/7 1:49:17

macros.rs代码定义了一个Rust宏mint_vec，它用于在启用mint特性时，为特定的向量类型实现与mint库中对应类型的相互转换。mint库是一个提供基本数学类型（如点、向量、矩阵等）的Rust库，旨在与多个图形和数学库兼容。这个宏通过减少重复代码，使得为自定义向量类型添加与mint库中类型的转换变得更加方便。

一、macros.rs源码

macro_rules! mint_vec {
    ($name:ident [ $($field:ident),* ] = $std_name:ident) => {
        #[cfg(feature = "mint")]
        impl<T, U> From<mint::$std_name<T>> for $name<T, U> {
            fn from(v: mint::$std_name<T>) -> Self {
                $name {
                    $( $field: v.$field, )*
                    _unit: PhantomData,
                }
            }
        }
        #[cfg(feature = "mint")]
        impl<T, U> From<$name<T, U>> for mint::$std_name<T> {
            fn from(v: $name<T, U>) -> Self {
                mint::$std_name {
                    $( $field: v.$field, )*
                }
            }
        }
    }
}

二、宏定义

1、宏定义签名：

macro_rules! mint_vec { … }定义了一个名为mint_vec的宏。

2、宏输入参数：

($name:ident [ $($ field:ident),* ] = $std_name:ident)是宏的参数列表。这里：

name:ident是一个标识符（ident），表示要生成实现的自定义向量类型的名称。
[ $($ field:ident),* ] ，是一个可变长度的标识符列表，表示向量中的字段名称。这里的*表示这是一个重复的模式，可以匹配零个或多个字段。
std_name:ident是另一个标识符，表示mint库中对应的标准向量类型的名称。

3、宏体

宏的主体包含了两部分impl块，分别用于实现From转换。

第一部分实现了从mint库中的向量类型（mint::std_name）到自定义向量类型（name<T, U>）的转换。
第二部分实现了反向的转换，即从自定义向量类型（name<T, U>）到mint库中的向量类型（mint::std_name）的转换。
在这两个实现中，field: v.是宏的重复语法，用于将自定义向量类型的每个字段映射到mint库向量类型的对应字段上。这使得转换能够直接复制字段值，而不需要手动编写每个字段的转换代码。