2016-10-31 04:58:32 +00:00
|
|
|
Rust Quasi-Quoting
|
|
|
|
==================
|
2016-09-03 05:35:18 +00:00
|
|
|
|
2016-09-07 15:39:43 +00:00
|
|
|
[![Build Status](https://api.travis-ci.org/dtolnay/quote.svg?branch=master)](https://travis-ci.org/dtolnay/quote)
|
|
|
|
[![Latest Version](https://img.shields.io/crates/v/quote.svg)](https://crates.io/crates/quote)
|
2016-11-24 20:15:20 +00:00
|
|
|
[![Rust Documentation](https://img.shields.io/badge/api-rustdoc-blue.svg)](https://docs.rs/quote/)
|
2016-09-07 15:39:43 +00:00
|
|
|
|
2018-01-06 18:41:09 +00:00
|
|
|
This crate provides the [`quote!`] macro for turning Rust syntax tree data
|
|
|
|
structures into tokens of source code.
|
|
|
|
|
|
|
|
[`quote!`]: https://docs.rs/quote/0.4/quote/macro.quote.html
|
|
|
|
|
|
|
|
Procedural macros in Rust receive a stream of tokens as input, execute arbitrary
|
|
|
|
Rust code to determine how to manipulate those tokens, and produce a stream of
|
|
|
|
tokens to hand back to the compiler to compile into the caller's crate.
|
|
|
|
Quasi-quoting is a solution to one piece of that -- producing tokens to return
|
|
|
|
to the compiler.
|
|
|
|
|
|
|
|
The idea of quasi-quoting is that we write *code* that we treat as *data*.
|
|
|
|
Within the `quote!` macro, we can write what looks like code to our text editor
|
|
|
|
or IDE. We get all the benefits of the editor's brace matching, syntax
|
|
|
|
highlighting, indentation, and maybe autocompletion. But rather than compiling
|
|
|
|
that as code into the current crate, we can treat it as data, pass it around,
|
|
|
|
mutate it, and eventually hand it back to the compiler as tokens to compile into
|
|
|
|
the macro caller's crate.
|
|
|
|
|
|
|
|
This crate is motivated by the procedural macro use case, but is a
|
|
|
|
general-purpose Rust quasi-quoting library and is not specific to procedural
|
|
|
|
macros.
|
|
|
|
|
|
|
|
*Version requirement: Quote supports any compiler version back to Rust's very
|
|
|
|
first support for procedural macros in Rust 1.15.0.*
|
2016-09-03 05:35:18 +00:00
|
|
|
|
|
|
|
```toml
|
|
|
|
[dependencies]
|
2018-01-06 18:41:09 +00:00
|
|
|
quote = "0.4"
|
2016-09-03 05:35:18 +00:00
|
|
|
```
|
|
|
|
|
|
|
|
```rust
|
|
|
|
#[macro_use]
|
|
|
|
extern crate quote;
|
|
|
|
```
|
|
|
|
|
2016-12-31 08:53:44 +00:00
|
|
|
## Syntax
|
|
|
|
|
2018-01-06 18:41:09 +00:00
|
|
|
The quote crate provides a [`quote!`] macro within which you can write Rust code
|
|
|
|
that gets packaged into a [`quote::Tokens`] and can be treated as data. You
|
|
|
|
should think of `Tokens` as representing a fragment of Rust source code. Call
|
|
|
|
`to_string()` on a `Tokens` to get back the fragment of source code as a string,
|
|
|
|
or call `into()` to stream them as a `TokenStream` back to the compiler in a
|
|
|
|
procedural macro.
|
|
|
|
|
|
|
|
[`quote::Tokens`]: https://docs.rs/quote/0.4/quote/struct.Tokens.html
|
2016-12-31 08:53:44 +00:00
|
|
|
|
|
|
|
Within the `quote!` macro, interpolation is done with `#var`. Any type
|
2018-01-06 18:41:09 +00:00
|
|
|
implementing the [`quote::ToTokens`] trait can be interpolated. This includes
|
|
|
|
most Rust primitive types as well as most of the syntax tree types from [`syn`].
|
|
|
|
|
|
|
|
[`quote::ToTokens`]: https://docs.rs/quote/0.4/quote/trait.ToTokens.html
|
|
|
|
[`syn`]: https://github.com/dtolnay/syn
|
2016-09-03 05:35:18 +00:00
|
|
|
|
|
|
|
```rust
|
|
|
|
let tokens = quote! {
|
|
|
|
struct SerializeWith #generics #where_clause {
|
|
|
|
value: &'a #field_ty,
|
|
|
|
phantom: ::std::marker::PhantomData<#item_ty>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl #generics serde::Serialize for SerializeWith #generics #where_clause {
|
|
|
|
fn serialize<S>(&self, s: &mut S) -> Result<(), S::Error>
|
|
|
|
where S: serde::Serializer
|
|
|
|
{
|
|
|
|
#path(self.value, s)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
SerializeWith {
|
|
|
|
value: #value,
|
|
|
|
phantom: ::std::marker::PhantomData::<#item_ty>,
|
|
|
|
}
|
|
|
|
};
|
|
|
|
```
|
|
|
|
|
2018-01-06 18:41:09 +00:00
|
|
|
## Repetition
|
2016-09-03 05:35:18 +00:00
|
|
|
|
2018-01-06 18:41:09 +00:00
|
|
|
Repetition is done using `#(...)*` or `#(...),*` similar to `macro_rules!`. This
|
|
|
|
iterates through the elements of any variable interpolated within the repetition
|
|
|
|
and inserts a copy of the repetition body for each one. The variables in an
|
|
|
|
interpolation may be anything that implements `IntoIterator`, including `Vec` or
|
|
|
|
a pre-existing iterator.
|
|
|
|
|
|
|
|
- `#(#var)*` — no separators
|
|
|
|
- `#(#var),*` — the character before the asterisk is used as a separator
|
|
|
|
- `#( struct #var; )*` — the repetition can contain other things
|
|
|
|
- `#( #k => println!("{}", #v), )*` — even multiple interpolations
|
2016-09-03 05:35:18 +00:00
|
|
|
|
2017-05-10 17:52:49 +00:00
|
|
|
Note that there is a difference between `#(#var ,)*` and `#(#var),*`—the latter
|
|
|
|
does not produce a trailing comma. This matches the behavior of delimiters in
|
|
|
|
`macro_rules!`.
|
2017-05-10 17:43:34 +00:00
|
|
|
|
2018-01-06 18:41:09 +00:00
|
|
|
## Hygiene
|
2016-10-17 18:37:45 +00:00
|
|
|
|
2018-01-06 18:41:09 +00:00
|
|
|
Any interpolated tokens preserve the `Span` information provided by their
|
|
|
|
`ToTokens` implementation. Tokens that originate within a `quote!` invocation
|
|
|
|
are spanned with [`Span::def_site()`].
|
|
|
|
|
2018-01-08 16:08:42 +00:00
|
|
|
[`Span::def_site()`]: https://docs.rs/proc-macro2/0.2/proc_macro2/struct.Span.html#method.def_site
|
2016-10-17 18:37:45 +00:00
|
|
|
|
2018-01-06 18:41:09 +00:00
|
|
|
A different span can be provided explicitly through the [`quote_spanned!`]
|
|
|
|
macro.
|
2017-03-10 03:22:57 +00:00
|
|
|
|
2018-01-06 18:41:09 +00:00
|
|
|
[`quote_spanned!`]: https://docs.rs/quote/0.4/quote/macro.quote_spanned.html
|
2017-03-10 03:22:57 +00:00
|
|
|
|
2018-01-06 18:41:09 +00:00
|
|
|
### Recursion limit
|
2017-03-10 03:22:57 +00:00
|
|
|
|
2016-11-07 03:19:49 +00:00
|
|
|
The `quote!` macro relies on deep recursion so some large invocations may fail
|
|
|
|
with "recursion limit reached" when you compile. If it fails, bump up the
|
|
|
|
recursion limit by adding `#![recursion_limit = "128"]` to your crate. An even
|
2017-01-13 08:43:13 +00:00
|
|
|
higher limit may be necessary for especially large invocations. You don't need
|
|
|
|
this unless the compiler tells you that you need it.
|
2016-11-07 03:19:49 +00:00
|
|
|
|
2016-09-03 05:35:18 +00:00
|
|
|
## License
|
|
|
|
|
|
|
|
Licensed under either of
|
|
|
|
|
|
|
|
* Apache License, Version 2.0 ([LICENSE-APACHE](LICENSE-APACHE) or http://www.apache.org/licenses/LICENSE-2.0)
|
|
|
|
* MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)
|
|
|
|
|
|
|
|
at your option.
|
|
|
|
|
|
|
|
### Contribution
|
|
|
|
|
|
|
|
Unless you explicitly state otherwise, any contribution intentionally submitted
|
|
|
|
for inclusion in this crate by you, as defined in the Apache-2.0 license, shall
|
|
|
|
be dual licensed as above, without any additional terms or conditions.
|