問題タブ [rust-proc-macros]

手続き型マクロで、文字列が有効な変数名であり、キーワードではないことを確認できるようにしたいと考えています。

proc_macro2::Ident無効な変数名を使用しようとするとパニックになりますが、許可したくないキーワードを許可します。パニックに陥る前に、適切で便利なエラー メッセージを表示してエラーを処理することもできます。

文字列が変数名に関する規則に従っていることを確認するマクロまたは関数 (クレート内またはその他) はありますか? おそらく正規表現でそれを行うことができますが、ドラゴンは正規表現に住んでいます。

これの使用例は、ガベージ文字列を含む可能性があるユーザー入力文字列の処理です。

手続き型マクロを作成していて、非常に長い識別子を複数回発行する必要があります (たとえば、衛生上の理由による可能性があります)。以前は sをquote!作成してTokenStreamいましたが、長い識別子を何度も繰り返したくありません。

たとえば、次のコードを生成したいとします。

Identを作成して補間できることを知っていますquote!：

ここまでは順調ですが、コード ベース全体の多くの関数でその識別子を使用する必要があります。constどこでも使えるものにしたい。ただし、これは失敗します。

このエラーで：

constこれらの関数がすぐにマークされるとは思えません。

文字列自体を定数にすることができます。

しかし、識別子を使用したい場合はどこでも を呼び出す必要がありIdent::new(IDENT, Span::call_site())、これはかなり面倒です。呼び出しに書きたいだけです#IDENT。quote!どうにかして機能させることはできますか？

すべてのメソッドの呼び出し元のソースの場所を取得する必要があります。proc_macro_attribute場所をキャプチャして印刷するを作成しようとしています。