らりお (進捗垢) @loliconductor@mastodon.cardina1.red

Stabilize `!` in Rust 1.40.0 by Centril · Pull Request #65355 · rust-lang/rust
https://github.com/rust-lang/rust/pull/65355

！！！！！

Announcing "proc-macro-error" crate - announcements - The Rust Programming Language Forum
https://users.rust-lang.org/t/announcing-proc-macro-error-crate/33402

ほう！

さて、このライブラリを使って XML 用の文字列型をゴリゴリ実装していきます

procedural macros を使ったアプローチでも結局満足な形で問題が解決できていなかったので、結局構文木を型付きで弄れる程度のメリットしかないなという気持ちですね:

* custom derive を使っても、パラメータや実装対象の選択に複数パターンありうる場合のバリエーション指定が結局独自構文になって面倒
* procedural macros を使っても、型情報をうまいこと取ってくることはできない (たとえば特定の associated type がローカル型かとか public な型かとかはわからない)

575

今までにも https://github.com/lo48576/opaque_typedef や https://github.com/lo48576/custom-slice で似たようなことをしてきたんだけど、今回は完全に declarative なマクロです

validated-slice - crates.io: Rust Package Registry
https://crates.io/crates/validated-slice

カスタムで定義した配列や文字列型について std のありがちなトレイトを自動的に実装するライブラリみたいなのをリリースしました🎉

何とは言わないノベルゲームしながらドキュメント書くか (自分が並列に作業できない性質であることを完全に失念している)

あとはドキュメントを書けば今書いてるライブラリひとまずリリースできそう

Rust の macro が early expansion されなくてつらいという問題と向き合っている (つらい)

declarative macro でトークンひとつずつ食っていくパーサを書くという手もあるけど、嫌すぎるな……

いっそマクロ中では諦めて型パラメータは何もかも () とかで表現することにしてもいいんだけど、ダサい……

というのも、型パラメータの区切りに使われる <> が macro 的には括弧ではないので、 <$($tt:tt)*> ができないため

impl_foo! {
AsRef<[u8]>;
AsRef<str>;
AsRef<{Custom}>;
PartialEq<{&Custom}>;
};
みたいな構文を思い付いたんだけど、どうにも declarative macro では難しそう (procedural macro ならいけるはず)

端的には
poyo!(foo, bar)
と
poyo!(foo, foo) や poyo!(bar, bar)
で異なる実装を利用したいんだけど、まあ declarative macro では無理っぽい (procedural ならトークン単位での判別はできるはずだけど)

AsRef<[u8]> for Custom と AsRef<Custom> for Custom を同じ構文で選択させるのが難しくて、何故なら [u8] でなく Custom がここでいろいろ弄りたい特殊な型であるという判定と分岐がマクロでは困難だから

たとえば
impl<'a> std::convert::TryFrom<&'a Inner> for &'a Custom
みたいなのとか
impl AsRef<Custom> for Custom
とか

実装したいトレイトの対象とパラメータをどううまく選択するかというのがいい感じのインターフェースにできないんだよなぁ