1

このコードを通すにはどうすればよいでしょうか

mod module {
    pub trait Trait<T> {}
}

struct Type();

macro_rules! impl_trait {
    ($trait:path,$type:ty) => {
        impl $trait<i32> for $type {}
//                       ~~~ expected `::`
    };
}

impl_trait!(module::Trait, Type);

2 件の回答 2

2

path だとあとから要素を足せなくなるので tt を使うとコンパイルが通ります。
このときに $(tt)* の後ろにカンマがあるとパースエラーになるので path の方を最後にもってくる必要があります。

mod module {
    pub trait Trait<T> {}
}

struct Type();

macro_rules! impl_trait {
    ($type: ty, $($trait:tt)*) => {
        impl $($trait)* ::<i32> for $type {}
    }
}

impl_trait!(Type, module::Trait);

fn main() {}
1

別解として、paste というクレートを用いた解決策を紹介します。

https://github.com/dtolnay/paste

paste は元々不安定な組み込みマクロである concat_idents!() を安定板のコンパイラで模倣するためのクレートであり、手続き的マクロを用いて実装されています。手続き的マクロを経由する際に TokenStream への変換が挟まれることで本来マクロのメタ変数が持っているフラグメント指定子が失われ、今回の例のような通常のマクロでは許容されない結合を行うことが出来るようになります。

今回の場合生成されるコードはトレイトの実装であるため、paste::item! で生成したいコード片を囲むことでコンパイルが通るようになります。

macro_rules! impl_trait {
    ($trait:path, $type:ty) => {
        paste::item! {
            impl $trait<i32> for $type {}
        }
    };
}

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。