fn a() {}
似乎满足了预期 fn
的解析规则,然后是其他一些东西。 item
应该可以是函数定义,对吧?所以他们应该工作,对吧?
macro_rules! multi_impl {
(for $base:ty :
$($t:ty {
$($i:item);*
}),+) =>
{
$(
impl $t for $base
{
$( $i )*
}
)+
}
}
trait A {
fn a();
}
trait B {
fn b();
}
struct S;
multi_impl! {
for S:
A {
fn a() {}
}, B {
fn b() {}
}
}
fn main() {
S::a();
S::b();
}
有问题的错误:
error: expected one of `const`, `default`, `extern`, `fn`, `pub`, `type`, `unsafe`, or `}`, found `fn a() { }`
--> <anon>:11:20
|
11 | $( $i )*
| ^^
制作它$( fn $i)*
只会改变错误来提示在 fn
之后需要一个标识符,这是有道理的,但最初的错误并没有(至少对我而言)。
对于源代码中的代码与通过宏放入源代码中的代码,解析器是否存在差异?
最佳答案
问题不在于 fn
不是项目,而是 impl
的主体 不 包含项目。它包含“实现项目”。它提示的是你试图将方形 block 放入圆孔中,而不是 block 颜色错误。
是的,这是两个不同的东西。不,您不能在宏中捕获“impl items”。不,你不能把一个项目变成一个 impl 项目。因为宏捕获 AST 节点,而不是 token 。好吧,方法可以有一个 self
参数,而常规函数则没有。我不知道,大概当时这似乎是个好主意。
抛开假设的来回,这种情况下的解决方案是不要费心尝试匹配特定中的任何内容,而只匹配任何内容。
macro_rules! multi_impl
{
(for $base:ty :
$($t:ty {
$($body:tt)*
}),+) =>
{
$(
impl $t for $base
{
$($body)*
}
)+
}
}
关于rust - 尝试在宏扩展中实现特征时出现宏错误,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/44426175/