Rust Lang Book Ch.19 Function Pointers, Returing Closures, macros

Function Pointers

fn类型与Fn特性不一样,fn被称为function pointer,使用方法和Fn相似。但是在与C的FFI交互的时候,只能用fn。

fn add_one(x: i32) -> i32 {
    x + 1
}

fn do_twice(f: fn(i32) -> i32, arg: i32) -> i32 {
    f(arg) + f(arg)
}

fn main() {
    let answer = do_twice(add_one, 5);

    println!("The answer is: {}", answer);
}

  

这里用了fn ToString::to_string而不是closure: |i|i.to_string()

    let list_of_numbers = vec![1, 2, 3];
    let list_of_strings: Vec<String> =
        list_of_numbers.iter().map(ToString::to_string).collect();

  

Returing Closure

可以直接返回fn作为返回值,但是若要返回Closure,因为Closure的大小是未定的,所以只能用Box<dyn 包裹。

fn returns_closure() -> Box<dyn Fn(i32) -> i32> {
    Box::new(|x| x + 1)
}

  

Macros

宏有三类:

1. #[derive],允许structs和enum上自动添加写好的代码

2. Attribute-like:在任意item上自定义属性

3. function-like:虽然像是函数,但是用token作为参数。

declarative macros

declarative macros允许编写一些类似match表达式的宏,以vec!的定义为例:

#[macro_export]
macro_rules! vec {
    ( $( $x:expr ),* ) => {
//这里有一个模式,如果被匹配,那么就会执行后面的代码快
//$x:expr匹配Rust的任意表达式 { let mut temp_vec = Vec::new(); $( temp_vec.push($x); )* temp_vec } }; }

  

#[macro_export]:如果没有这个注解,该宏就不能被用在作用域中

( $( $x:expr ),* ) =>。如果模式匹配,该相关代码块将被执行。$() 之后的逗号说明一个可有可无的逗号分隔符可以出现在 $() 所匹配的代码之后。紧随逗号之后的 * 说明该模式匹配零个或更多个 * 之前的任何模式。

procedural macros

更像函数,而不是直接替换。derive, attribute-like macros和function-like macros都是procedural macros。

derive

可以定义一个derive_a_macro库。

例如hello_macro。

1. 为自定义派生宏crate: hello_macro_derive的Cargo.toml添加必要依赖库’

[lib]
proc-macro = true#编译器用来读取和操作Rust代码

[dependencies]
syn = "0.14.4"#将代码解析为AST
quote = "0.6.3"#将AST转化为Rust代码

2.   构建AST树,从树中取元素,构造新元素,写入AST树,转为rust代码

extern crate proc_macro;

use crate::proc_macro::TokenStream;
use quote::quote;
use syn;

#[proc_macro_derive(HelloMacro)]
pub fn hello_macro_derive(input: TokenStream) -> TokenStream {
    // 构建 Rust 代码所代表的语法树
    // 以便可以进行操作
    let ast = syn::parse(input).unwrap();

    // 构建 trait 实现
    impl_hello_macro(&ast)
}

fn impl_hello_macro(ast: &syn::DeriveInput) -> TokenStream {
    let name = &ast.ident;
    let gen = quote! {
        impl #name {
            fn hello_macro() {
                println!("Hello, Macro! My name is {}", stringify!(#name));
            }
        }
    };
    gen.into()
}

  

3. 使用

use hello_macro_derive::HelloMacro;

#[derive(HelloMacro)]
struct Pancakes;

fn main() {
    Pancakes::hello_macro();
}

 

[dependencies]
=hello_macro_derive = { path = "../hello_macro/hello_macro_derive" }

 

Attribute-like macros

这些宏允许建立新的attribute,此外,attribute-like macros可以对函数,structs,enum都生效。

使用示例

#[route(GET, "/")]
fn index() {

  

定义示例

#[proc_macro_attribute]
pub fn route(attr: TokenStream, item: TokenStream) -> TokenStream {

  

Function-like macros

宏的好处在于可以使用未知数量的参数,但是,只能遵循宏的语法。这些宏的输入是TokenStream,输出也是TokenStream,不过可以使用Rust代码来操作这些token。

使用示例

let sql = sql!(SELECT * FROM posts WHERE id=1

定义示例

#[proc_macro]
pub fn sql(input: TokenStream) -> TokenStream {

  

原文地址:https://www.cnblogs.com/xuesu/p/13888758.html