Rustの文字列とidentを区別する方法はありますか？

Question

macro_rules! mtc { 
    ($ident:ident) => ("ident"); 
    ($string:expr) => ("string"); 
} 

fn main() { 
    println!("{}", mtc!("hi")); 
    println!("{}", mtc!(a)); 
} 

これは機能しません。それは失敗します：

<anon>:7:25: 7:29 error: expected ident, found "hi" 
<anon>:7  println!("{}", mtc!("hi")); 

Answer 1

問題は、macro_rules!機械がキャプチャから取り戻せないことです。 キャプチャに一致するようにを試行すると、成功するか、マクロの呼び出し全体が失敗します。

これを実行するには、がルールを区別するために使用できるキャプチャに、より先にという種類のリテラルマッチを提供する必要があります。たとえば：

また

macro_rules! mtc { 
    (ident $ident:ident) => ("ident"); 
    (expr $string:expr) => ("string"); 
} 

は、暗黙の質問に答えるために：いいえ、特にが文字列リテラル、またはリテラルの実際には任意の他種類と一致に方法はありません。