rust元编程

目录

一,宏的分类

二,声明宏

1,声明宏的匹配语法

2,匹配范畴

3,声明宏的调用

4,多入参匹配

5,常见声明宏

6,声明宏的卫生性

三,函数宏

四,属性宏

五,派生宏


一,宏的分类

rust的宏分为声明宏、过程宏。

过程宏又分为函数宏、属性宏、派生宏

二,声明宏

1,声明宏的匹配语法

声明宏的作用类似于代码替换,匹配语法和match很像。

cpp 复制代码
macro_rules! my_show {
    () => {
        println!("run to here");
    };
    ($sth:expr)=>{
        println!("run to here {}", $sth);
    }
}

fn gcd(x:i32, y:i32) ->i32{
    if y < 0 {
        my_show!(y);
        return gcd(-x,-y);
    }
    if y == 0 {
        my_show!();
        return x;
    }
    return gcd(y, x%y);
}
 
fn main() {
    gcd(15,-18);
    println!("{:#?}",5);
}

2,匹配范畴

上面的$sth:expr表示匹配到一个表达式,expr是表示表达式这个范畴。

  • item:语言项。比如一个函数、结构体、模块等
  • block:代码块。比如一系列由花括号包裹的表达式和语句
  • stmt:语句。比如一个赋值语句
  • pat:模式
  • expr:表达式。
  • ty:类型。比如 Vec
  • ident:标识符。比如一个变量名
  • path:路径。比如:foo、::std::mem::replacetransmute::<_, int>
  • meta:元数据。一般是在 #[...] 和 #![...] 属性内部的数据
  • tt:单个的 token 树
  • vis:可能为空的一个 Visibility 修饰符。比如 pub、pub(crate)
  • literal :字面量
  • lifetime :生命周期

3,声明宏的调用

!()也可以 ![]也可以 !{}也可以

4,多入参匹配

cpp 复制代码
macro_rules! my_vec {
    () => {
        Vec::new();
    };
    ($x:expr;$n:expr,$($y:expr),*)=>({
        let mut v = Vec::new();
        for i in 0..$n {
            v.push($x);
        }
        $(v.push($y);)*
        v
    });
}
 
fn main() {
    let v:Vec<i32> = my_vec!();
    assert_eq!(v.len(), 0);
    let v = my_vec!(1;6,2,3,4);
    assert_eq!(v, Vec::from([1,1,1,1,1,1,2,3,4]));
    println!("end");
}

这里其实相当于是传了3个参数,1和6之间用;连接, 6和"2,3,4"之间有逗号连接,用什么连接取决于宏的匹配格式里面写的是什么。

而2,3,4匹配的是(y:expr),*这个类似正则表达式的东西,表示可以匹配任意多个表达式,用,连接起来

5,常见声明宏

println:

cpp 复制代码
macro_rules! println {
    () => {
        $crate::print!("\n")
    };
    ($($arg:tt)*) => {{
        $crate::io::_print($crate::format_args_nl!($($arg)*));
    }};
}

assert_eq:

cpp 复制代码
macro_rules! assert_eq {
    ($left:expr, $right:expr $(,)?) => {
        match (&$left, &$right) {
            (left_val, right_val) => {
                if !(*left_val == *right_val) {
                    let kind = $crate::panicking::AssertKind::Eq;
                    // The reborrows below are intentional. Without them, the stack slot for the
                    // borrow is initialized even before the values are compared, leading to a
                    // noticeable slow down.
                    $crate::panicking::assert_failed(kind, &*left_val, &*right_val, $crate::option::Option::None);
                }
            }
        }
    };
    ($left:expr, $right:expr, $($arg:tt)+) => {
        match (&$left, &$right) {
            (left_val, right_val) => {
                if !(*left_val == *right_val) {
                    let kind = $crate::panicking::AssertKind::Eq;
                    // The reborrows below are intentional. Without them, the stack slot for the
                    // borrow is initialized even before the values are compared, leading to a
                    // noticeable slow down.
                    $crate::panicking::assert_failed(kind, &*left_val, &*right_val, $crate::option::Option::Some($crate::format_args!($($arg)+)));
                }
            }
        }
    };
}

6,声明宏的卫生性

声明宏是半卫生宏,变量标识符不会造成符号冲突,符合卫生性。

但是在宏内部定义的泛型和生命周期标识符是不卫生的。

三,函数宏

四,属性宏

五,派生宏

相关推荐
shootero@126.com5 分钟前
R语言开发记录,一
开发语言·r语言
勤奋的知更鸟8 分钟前
Java 编程之状态模式
java·开发语言·状态模式
error_cn12 分钟前
unxz命令与版本控制集成
后端
Cache技术分享13 分钟前
124. Java 泛型 - 有界类型参数
前端·后端
一头小阿牛13 分钟前
一个生产环境线程池问题解决与调优实践
后端
tony_cto13 分钟前
pandora-cloud集成 AJ-Captcha行为验证码
后端
自由的疯15 分钟前
实现 PC 端前后分离微信二维码扫码登录全攻略
后端
Victor35615 分钟前
MySQL(116)如何监控负载均衡状态?
后端
houseme15 分钟前
RustFS: 高性能分布式对象存储的优雅之选
后端
沐知全栈开发17 分钟前
R 列表:深入解析与高效应用
开发语言