Trung tâm cá nhân
sách gpt4 ai đã đi

rust - 是否可以只使用 `macro_rules!` 来实现这个宏？

In lại 作者：行者123 更新时间：2023-12-05 09:05:43 25 4
mua khóa gpt4 Nike

我正在尝试制作一个宏，让我遍历类型列表以减少 trait impl 样板。 (我目前正在使用不同的基于宏的解决方案，但如果不添加依赖项可能的话，这似乎更具可读性。)

这是我的目标语法:

trait MyTrait {}

tfor! {
    for Ty in [i32, u32] {
        impl MyTrait for Ty {}
    }
}

我的尝试:

macro_rules! tfor {
    (for $ty:ident in [$($typ:ident),*] $tt:tt) => {
        (
            type $ty = $typ;
            tfor! { @extract $tt }
        )*
    };
    (@extract { $($tt:tt)* }) => {
        $($tt)*
    };
}

这会产生错误，因为两次迭代都在同一范围内定义了一个名为 Ty 的类型:

   |
4 | type $ty = $typ;
   | ^^^^^^^^^^^^^^^^
   | |
   | `Ty` redefined here
   | previous definition of the type `Ty` here

Playground

有解决办法吗？我能否以某种方式生成一个随机标识符来代替 Ty，以便在不使用 proc 宏或依赖项的情况下进行编译？

1 Câu trả lời

您可以在 hằng số 声明中确定 trait 实现的范围。这样您就可以重复使用 Ty 名称而不会引起冲突。

macro_rules! tfor {
    (for $ty:ident in [$($typ:ident),*] $tt:tt) => {
        (
            const _: () = {
                type $ty = $typ;
                tfor! { @extract $tt }
            };
        )*
    };
    (@extract { $($tt:tt)* }) => {
        $($tt)*
    };
}

trait MyTrait {}

tfor! {
    for Ty in [i32, u32] {
        impl MyTrait for Ty {}
    }
}

关于rust - 是否可以只使用 `macro_rules!` 来实现这个宏？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/66842217/

25 4 0
Bài viết được đề xuất: c - 在 c 中使用 malloc 时的自由变量
Bài viết được đề xuất: Lệnh Docker để xóa mọi thứ
Bài viết được đề xuất: reactjs - 将附加参数传递给 React Ant Design Select 组件的 onSelect 方法
Bài viết được đề xuất: python - 为什么 Python 编译这段代码没有抛出错误？
行者123
Hồ sơ cá nhân

Tôi là một lập trình viên xuất sắc, rất giỏi!

Nhận phiếu giảm giá Didi Taxi miễn phí
Mã giảm giá Didi Taxi
Các bài viết nóng hổi trên toàn bộ trang web
Giấy chứng nhận ICP Bắc Kinh số 000000
Hợp tác quảng cáo: 1813099741@qq.com 6ren.com