Question

我正在通过rust的宏系统尝试在Diesel上制作ORM包装器。通过属于，我发现生锈发出了一个意想不到的错误。请考虑以下代码：

macro_rules! klass {
    (
        $name:ident,
        fields => ($(
            $field:ident : $type:ty = $default:expr,
        )*),
        belongs_to => ($(
            $belong_field:ident : $temp:ty [ $key:expr ],
        )*)
    ) => {
        struct $name {
            $( $field: $type, )*
        }
        impl Default for $name {
            fn default() -> $name {
                $name {
                    $(
                        $field : $default,
                    )*
                }
            }
        }
        impl $name {
            $(
                fn $belong_field(&self) -> $temp {
                    let key = $key;
                    $temp { ..Default::default() }
                }
            )*
        }
    }
}

klass! ( Neat,
        fields => (
            id: i32 = 0,
            name: String = String::from(""),
        ),
        belongs_to => ()
    );

klass!( Bob,
    fields => (
        id: i32 = 0,
        neat_id: i32 = 0,
    ),
    belongs_to => (
        neat: Neat [ "neat_id" ],
    )
);

fn main()
{
    let b = Bob { ..Default::default() };
    let mut n = b.neat();
}

此代码将产生以下结果：

error: expected expression, found `Neat`
  --> macro.rs:27:31
   |
27 |                       $temp { ..Default::default() }
   |

为什么生锈说它想要一个表达而不是整洁？我可以将此代码更改为以下内容，此示例中的所有内容都将编译并运行：

Neat { ..Default::default() }

当插入“Neat”程序按预期运行时，这是否为编译器错误？谢谢，为这主要是代码道歉。

Answer 1

$temp出现在宏扩展的不同上下文中。作为fn $belong_field(&self) -> $temp中的类型和$temp { ..Default::default() }中的结构构造函数。

您已将$temp标记为类型，但它会阻止第二次使用。

更换专栏

$belong_field:ident : $temp:ty [ $key:expr ],

与

$belong_field:ident : $temp:ident [ $key:expr ],

允许代码编译。

锈宏奇怪的错误

1 个答案: