advance/macro

[sunface]

https://course.rs/advance/macro.html

[gzeronet]

通俗易懂，感谢。

[dafu-wu]

赞，意犹未尽

[qq906907952]

过程宏的描述和例子太简单了，这里面还有很多内容，例如怎么去解析语法树。

[starrys147]

别的地方学吧，一般情况下除非开发一个crate否则用不到这些知识的（主要是开发一个过程宏太麻烦了，而且在项目中也不一定用得到。）
而要是你都能开发一个包了，还看这个入门教程干嘛（）

[zy010101]

如无必要，不要开发一个过程宏。开发和维护过程宏很麻烦。

[lnb-wxqy]

一脸懵逼

[csx12588]

建议把最后的一段话放在最前面

[iscas-zac]

pub fn my_default(input: TokenStream) -> TokenStream {
     ...
}

里面那段代码完整吗？field_ast 在返回值里没有用到，for 循环中的两个 quote! 也是空的。如果不完整能不能加个注解

[qq906907952]

这个应该是md解析的问题，# 后面的消失了 不知道什么原因

[wyb10a10]

示例代码有错

use proc_macro::TokenStream;
use syn::{self, Data};
use quote::{quote};
use syn::{parse_macro_input, DeriveInput};

#[proc_macro_derive(MyDefault)]
pub fn my_default(input: TokenStream) -> TokenStream {
    let ast: DeriveInput = syn::parse(input).unwrap();
    let id = ast.ident;

    if let Data::Struct(s) = ast.data {
        // 声明一个新的ast，用于动态构建字段赋值的token
        let mut field_ast = quote! {};

        // 这里就是要动态添加token的地方了，需要动态完成Self的字段赋值
        for (idx, f) in s.fields.iter().enumerate() {
            let (field_id, field_ty) = (&f.ident, &f.ty);

            if let Some(field_id) = field_id {
                // 对于命名字段，都需要添加 `#field_name: #field_type::default(),` 这样的代码
                field_ast.extend(quote! { #field_id: <#field_ty>::default(), });
            } else {
                let field_idx = syn::Index::from(idx);
                let fty = &f.ty;
                //对于匿名字段，都需要添加 `#field_idx: <#field_type as std::default::Default>::default(),` 这样的代码
                field_ast.extend(quote! { #field_idx: <#fty>::default(), });
            }
        }

        let result = quote! {
            impl std::default::Default for #id {
                fn default() -> Self {
                    Self { #field_ast }
                }
            }
        }
        .into();

        result
    } else {
        panic!("MyDefault derive macro must use in struct");
    }
}

[qq906907952]

你是指少了
#field_id: <#field_ty>::default()
#field_idx: <#fty>::default()
#field_ast
这三行？ 这个源码是有的，不知道为什么这里 # 后面的消失了

[Pro741]

是因为那个小眼睛!, 它把所有以#开头的这一行代码给隐藏了

[yuhao00]

($($x:expr),*)

这种方式并不能匹配结尾逗号

[roushanyyzz]

少了点代码

#[proc_macro_derive(MyDefault)]
pub fn my_default(input: TokenStream) -> TokenStream {
    let ast: DeriveInput = syn::parse(input).unwrap();
    let id = ast.ident;

    let Data::Struct(s) = ast.data else {
        panic!("MyDefault derive macro must use in struct");
    };

    let mut field_ast = quote!();

    for (idx, f) in s.fields.iter().enumerate() {
        let (field_id, field_ty) = (&f.ident, &f.ty);

        // 逗号不要忽略了
        if field_id.is_none() {
            let field_idx = syn::Index::from(idx);
            field_ast.extend(quote! {#field_idx:<#field_ty>::default(),})
        } else {
            field_ast.extend(quote! {#field_id:<#field_ty>::default(),})
        }
    }

    quote! {
        impl Default for #id{
            fn default() -> Self{
                Self {#field_ast}
            }
        }
    }
    .into()
}

[Xiaobaishushu25]

宏强大归强大，但是用起来ide没有提示也太草蛋了，跟用记事本写一样，clion和vscode都不太好使

[uyplayer]

 ( $( $x:expr ),* )

上面的宏无法匹配

1, 2, 3,

只匹配一下的表达式

1, 2, 3

如果想匹配

1, 2, 3,

那就表达式

($($x:expr,)*)

[Pro741]

一般的解决方法是 ( $( $x:expr ),* $(,)? )

[AirAirAirAirAirAir]

好了，成功地不认识“宏”字了

[tjw123hh]

《hell_macro()》

[ptrzs3]

cargo expand命令发生变化了，应该执行cargo expand --bin hello_macro，具体用法cargo expand --help

[ZLD1819858]

thanks.

[Ray-lyy]

好难，不求甚解过一遍都好难，以后如果用到了再回来翻可能会好点

[ceamanz]

提点小建议：

模式解析
第3点：$() 之后的逗号，意味着1 和 2 之间可以使用逗号进行分割，也意味着 3 既可以没有逗号，也可以有逗号：vec![1, 2, 3,]

上面这段话有点小问题，按本文例子，3后面如果有括号是匹配不到的，会报错；只有3后面没有逗号才可以通过编译。
实际应该写成：( $( $k:expr ),* $(,)* ) 才能匹配到最后一个元素后面的逗号。

感谢此文，声明宏终于入门了一点点，功德无量。

[iamtaojin]

通俗，难懂！

[pk111and222]

居然如此强大，岂不是可以利用宏的结构来自己定义一套语言了

[Wyatex]

感觉是的，只要会写parser就啥语言都能转rust😂

[LoserJL]

把宏设计成这样，真是个鬼才，设计的人不经常使用岂不是浪费了

[QuarkPixel]

这里就比较好理解了，$() 中的 temp_vec.push() 将根据模式匹配的次数生成对应的代码，当调用 vec![1, 2, 3] 时，下面这段生成的代码将替代传入的源代码，也就是替代 vec![1, 2, 3] :

{
    let mut temp_vec = Vec::new();
    temp_vec.push(1);
    temp_vec.push(2);
    temp_vec.push(3);
    temp_vec
}

这里为什么是一个一个 `push()` 的？这样是否会造成由于 capacity 不够导致的反复开辟新空间从而造成的性能浪费？为什么这里没有用 `Vec::new(with_capacity)` 呢？还是说这段代码在编译阶段就会被优化之类的？

[QuarkPixel]

写错了，刚才写的时候没检查，应该是
Vec::with_capacity(n);

[QuarkPixel]

刚才对比下源代码又回来看，发现这个宏只是一个简单实现，算是我没有认真看了😂

[zhang12295]

error: missing parameters for function definition
--> src/main.rs:4:20
|
4 | #[derive(HelloMacro)]
| ^
|
= note: this error originates in the derive macro HelloMacro (in Nightly builds, run with -Z macro-backtrace for more info)

依赖导入不了怎么解决，求大佬指点