Question

我正在使用宏来实现特征作为我的库的一部分。此实现要求结构至少有一个附加字段。

pub trait Trait {
    fn access_var(&mut self, var: bool);
}

macro_rules! impl_trait {
    (for $struct:ident) => {
        impl Trait for $struct {
            pub fn access_var(&mut self, var: bool) {
                self.var = var; // requires self to have a field 'var'
            }
        }
    }
}

我想阻止用户每次都必须添加这些附加字段。由于Rust编译器不允许字段定义中的宏（我没有这个来源，所以如果我错了请纠正我），这样的事情不起作用。

macro_rules! variables_for_trait {
    () => {
        var: bool,
    }   
};

struct Foo {
    variables_for_trait!(); // error: expected ':' found '!'
    additional_var: i64,
}

我想我可以创建一个支持这样的

的宏

bar!(Foo with additional_var: i64, other_var: u64);

在解析宏之后

看起来像这样：

pub struct Foo {
   var: bool,
   additional_var: i64,
   other_var: u64,
}

impl Trait for Foo {
   pub fn access_var(&mut self, var: bool) {
        self.var = var;
   }
}

有没有更好的方法来解决这个问题，如果没有，你能给我一个bar!的示例语法吗？

P.S：像bar!这样的好名字是什么？

Answer 1

我最终用2个不同的宏来解决问题：

// I simply copied it from my project and changed some names,
// But due to the fact that I couldn't think of better names for my macros,
// I just ended up using the original names, even though they don't quite fit

macro_rules! new_object_type {
    ($struct:ident {$( $field:ident:$type:ty ),*}) =>{
        pub struct $struct {
            var: bool,
            $(
                $field: $type,
            )*
        }

        impl Trait for $struct {
            pub fn access_var(&mut self, var: bool) {
                self.var = var;
            }
        }
    };
}

macro_rules! construct_object {
    ($struct:ident {$( $field:ident:$value:expr ),*}) => {
        $struct {
           var: false,
           $(
               $field: $value, 
           )*
       }
    };
}

要创建一个实现Trait的新结构，现在编写：

new_object_type!(Foo {
    additional_var: i64,
    other_var: u64,
});

要创建Foo的新实例，请编写：

construct_object!(Foo {
    additional_var: 42,
    other_var: 82000,
})

现在可以使用Trait而无需与var互动。

这种方法的问题：

它不像我希望的那样干净，如果没有适当的文档，它很难使用，特别是如果用户对Rust来说还是新手。
有两个相同的字段可能会有一些问题，因为用户没有看到所有已实现的变量（这可以通过将var的名称更改为类似T7dkD3S3O8的内容来解决这不太可能发生这种情况）
由于结构的定义和构造都在宏内部，因此错误消息可能难以理解

是否可以自动定义结构的字段？

1 个答案:

这种方法的问题：