//! A punctuated sequence of syntax tree nodes separated by punctuation. //! //! Lots of things in Rust are punctuated sequences. //! //! - The fields of a struct are `Punctuated<Field, Token![,]>`. //! - The segments of a path are `Punctuated<PathSegment, Token![::]>`. //! - The bounds on a generic parameter are `Punctuated<TypeParamBound, //! Token![+]>`. //! - The arguments to a function call are `Punctuated<Expr, Token![,]>`. //! //! This module provides a common representation for these punctuated sequences //! in the form of the [`Punctuated<T, P>`] type. We store a vector of pairs of //! syntax tree node + punctuation, where every node in the sequence is followed //! by punctuation except for possibly the final one. //! //! [`Punctuated<T, P>`]: Punctuated //! //! ```text //! a_function_call(arg1, arg2, arg3); //! ~~~~^ ~~~~^ ~~~~ //! ```
usecrate::drops::{NoDrop, TrivialDrop}; #[cfg(feature = "parsing")] usecrate::error::Result; #[cfg(feature = "parsing")] usecrate::parse::{Parse, ParseStream}; #[cfg(feature = "parsing")] usecrate::token::Token; #[cfg(feature = "extra-traits")] use std::fmt::{self, Debug}; #[cfg(feature = "extra-traits")] use std::hash::{Hash, Hasher}; #[cfg(any(feature = "full", feature = "derive"))] use std::iter; use std::ops::{Index, IndexMut}; use std::option; use std::slice; use std::vec;
/// **A punctuated sequence of syntax tree nodes of type `T` separated by /// punctuation of type `P`.** /// /// Refer to the [module documentation] for details about punctuated sequences. /// /// [module documentation]: self pubstruct Punctuated<T, P> {
inner: Vec<(T, P)>,
last: Option<Box<T>>,
}
/// Determines whether this punctuated sequence is empty, meaning it /// contains no syntax tree nodes or punctuation. pubfn is_empty(&self) -> bool { self.inner.len() == 0 && self.last.is_none()
}
/// Returns the number of syntax tree nodes in this punctuated sequence. /// /// This is the number of nodes of type `T`, not counting the punctuation of /// type `P`. pubfn len(&self) -> usize { self.inner.len() + ifself.last.is_some() { 1 } else { 0 }
}
/// Borrows the first element in this sequence. pubfn first(&self) -> Option<&T> { self.iter().next()
}
/// Mutably borrows the first element in this sequence. pubfn first_mut(&mutself) -> Option<&mut T> { self.iter_mut().next()
}
/// Borrows the last element in this sequence. pubfn last(&self) -> Option<&T> { self.iter().next_back()
}
/// Mutably borrows the last element in this sequence. pubfn last_mut(&mutself) -> Option<&mut T> { self.iter_mut().next_back()
}
/// Borrows the element at the given index. pubfn get(&self, index: usize) -> Option<&T> { iflet Some((value, _punct)) = self.inner.get(index) {
Some(value)
} elseif index == self.inner.len() { self.last.as_deref()
} else {
None
}
}
/// Mutably borrows the element at the given index. pubfn get_mut(&mutself, index: usize) -> Option<&mut T> { let inner_len = self.inner.len(); iflet Some((value, _punct)) = self.inner.get_mut(index) {
Some(value)
} elseif index == inner_len { self.last.as_deref_mut()
} else {
None
}
}
/// Returns an iterator over borrowed syntax tree nodes of type `&T`. pubfn iter(&self) -> Iter<T> {
Iter {
inner: Box::new(NoDrop::new(PrivateIter {
inner: self.inner.iter(),
last: self.last.as_ref().map(Box::as_ref).into_iter(),
})),
}
}
/// Returns an iterator over mutably borrowed syntax tree nodes of type /// `&mut T`. pubfn iter_mut(&mutself) -> IterMut<T> {
IterMut {
inner: Box::new(NoDrop::new(PrivateIterMut {
inner: self.inner.iter_mut(),
last: self.last.as_mut().map(Box::as_mut).into_iter(),
})),
}
}
/// Returns an iterator over the contents of this sequence as borrowed /// punctuated pairs. pubfn pairs(&self) -> Pairs<T, P> {
Pairs {
inner: self.inner.iter(),
last: self.last.as_ref().map(Box::as_ref).into_iter(),
}
}
/// Returns an iterator over the contents of this sequence as mutably /// borrowed punctuated pairs. pubfn pairs_mut(&mutself) -> PairsMut<T, P> {
PairsMut {
inner: self.inner.iter_mut(),
last: self.last.as_mut().map(Box::as_mut).into_iter(),
}
}
/// Returns an iterator over the contents of this sequence as owned /// punctuated pairs. pubfn into_pairs(self) -> IntoPairs<T, P> {
IntoPairs {
inner: self.inner.into_iter(),
last: self.last.map(|t| *t).into_iter(),
}
}
/// Appends a syntax tree node onto the end of this punctuated sequence. The /// sequence must already have a trailing punctuation, or be empty. /// /// Use [`push`] instead if the punctuated sequence may or may not already /// have trailing punctuation. /// /// [`push`]: Punctuated::push /// /// # Panics /// /// Panics if the sequence is nonempty and does not already have a trailing /// punctuation. pubfn push_value(&mutself, value: T) {
assert!( self.empty_or_trailing(), "Punctuated::push_value: cannot push value if Punctuated is missing trailing punctuation",
);
self.last = Some(Box::new(value));
}
/// Appends a trailing punctuation onto the end of this punctuated sequence. /// The sequence must be non-empty and must not already have trailing /// punctuation. /// /// # Panics /// /// Panics if the sequence is empty or already has a trailing punctuation. pubfn push_punct(&mutself, punctuation: P) {
assert!( self.last.is_some(), "Punctuated::push_punct: cannot push punctuation if Punctuated is empty or already has trailing punctuation",
);
let last = self.last.take().unwrap(); self.inner.push((*last, punctuation));
}
/// Removes the last punctuated pair from this sequence, or `None` if the /// sequence is empty. pubfn pop(&mutself) -> Option<Pair<T, P>> { ifself.last.is_some() { self.last.take().map(|t| Pair::End(*t))
} else { self.inner.pop().map(|(t, p)| Pair::Punctuated(t, p))
}
}
/// Removes the trailing punctuation from this punctuated sequence, or /// `None` if there isn't any. pubfn pop_punct(&mutself) -> Option<P> { ifself.last.is_some() {
None
} else { let (t, p) = self.inner.pop()?; self.last = Some(Box::new(t));
Some(p)
}
}
/// Determines whether this punctuated sequence ends with a trailing /// punctuation. pubfn trailing_punct(&self) -> bool { self.last.is_none() && !self.is_empty()
}
/// Returns true if either this `Punctuated` is empty, or it has a trailing /// punctuation. /// /// Equivalent to `punctuated.is_empty() || punctuated.trailing_punct()`. pubfn empty_or_trailing(&self) -> bool { self.last.is_none()
}
/// Appends a syntax tree node onto the end of this punctuated sequence. /// /// If there is not a trailing punctuation in this sequence when this method /// is called, the default value of punctuation type `P` is inserted before /// the given value of type `T`. pubfn push(&mutself, value: T) where
P: Default,
{ if !self.empty_or_trailing() { self.push_punct(Default::default());
} self.push_value(value);
}
/// Inserts an element at position `index`. /// /// # Panics /// /// Panics if `index` is greater than the number of elements previously in /// this punctuated sequence. pubfn insert(&mutself, index: usize, value: T) where
P: Default,
{
assert!(
index <= self.len(), "Punctuated::insert: index out of range",
);
if index == self.len() { self.push(value);
} else { self.inner.insert(index, (value, Default::default()));
}
}
/// Clears the sequence of all values and punctuation, making it empty. pubfn clear(&mutself) { self.inner.clear(); self.last = None;
}
/// Parses zero or more occurrences of `T` separated by punctuation of type /// `P`, with optional trailing punctuation. /// /// Parsing continues until the end of this parse stream. The entire content /// of this parse stream must consist of `T` and `P`. #[cfg(feature = "parsing")] #[cfg_attr(docsrs, doc(cfg(feature = "parsing")))] pubfn parse_terminated(input: ParseStream) -> Result<Self> where
T: Parse,
P: Parse,
{ Self::parse_terminated_with(input, T::parse)
}
/// Parses zero or more occurrences of `T` using the given parse function, /// separated by punctuation of type `P`, with optional trailing /// punctuation. /// /// Like [`parse_terminated`], the entire content of this stream is expected /// to be parsed. /// /// [`parse_terminated`]: Punctuated::parse_terminated #[cfg(feature = "parsing")] #[cfg_attr(docsrs, doc(cfg(feature = "parsing")))] pubfn parse_terminated_with(
input: ParseStream,
parser: fn(ParseStream) -> Result<T>,
) -> Result<Self> where
P: Parse,
{ letmut punctuated = Punctuated::new();
loop { if input.is_empty() { break;
} let value = parser(input)?;
punctuated.push_value(value); if input.is_empty() { break;
} let punct = input.parse()?;
punctuated.push_punct(punct);
}
Ok(punctuated)
}
/// Parses one or more occurrences of `T` separated by punctuation of type /// `P`, not accepting trailing punctuation. /// /// Parsing continues as long as punctuation `P` is present at the head of /// the stream. This method returns upon parsing a `T` and observing that it /// is not followed by a `P`, even if there are remaining tokens in the /// stream. #[cfg(feature = "parsing")] #[cfg_attr(docsrs, doc(cfg(feature = "parsing")))] pubfn parse_separated_nonempty(input: ParseStream) -> Result<Self> where
T: Parse,
P: Token + Parse,
{ Self::parse_separated_nonempty_with(input, T::parse)
}
/// Parses one or more occurrences of `T` using the given parse function, /// separated by punctuation of type `P`, not accepting trailing /// punctuation. /// /// Like [`parse_separated_nonempty`], may complete early without parsing /// the entire content of this stream. /// /// [`parse_separated_nonempty`]: Punctuated::parse_separated_nonempty #[cfg(feature = "parsing")] #[cfg_attr(docsrs, doc(cfg(feature = "parsing")))] pubfn parse_separated_nonempty_with(
input: ParseStream,
parser: fn(ParseStream) -> Result<T>,
) -> Result<Self> where
P: Token + Parse,
{ letmut punctuated = Punctuated::new();
loop { let value = parser(input)?;
punctuated.push_value(value); if !P::peek(input.cursor()) { break;
} let punct = input.parse()?;
punctuated.push_punct(punct);
}
impl<T, P> FromIterator<T> for Punctuated<T, P> where
P: Default,
{ fn from_iter<I: IntoIterator<Item = T>>(i: I) -> Self { letmut ret = Punctuated::new();
ret.extend(i);
ret
}
}
impl<T, P> Extend<T> for Punctuated<T, P> where
P: Default,
{ fn extend<I: IntoIterator<Item = T>>(&mutself, i: I) { for value in i { self.push(value);
}
}
}
impl<T, P> FromIterator<Pair<T, P>> for Punctuated<T, P> { fn from_iter<I: IntoIterator<Item = Pair<T, P>>>(i: I) -> Self { letmut ret = Punctuated::new();
do_extend(&mut ret, i.into_iter());
ret
}
}
impl<T, P> Extend<Pair<T, P>> for Punctuated<T, P> where
P: Default,
{ fn extend<I: IntoIterator<Item = Pair<T, P>>>(&mutself, i: I) { if !self.empty_or_trailing() { self.push_punct(P::default());
}
do_extend(self, i.into_iter());
}
}
fn do_extend<T, P, I>(punctuated: &mut Punctuated<T, P>, i: I) where
I: Iterator<Item = Pair<T, P>>,
{ letmut nomore = false; for pair in i { if nomore {
panic!("punctuated extended with items after a Pair::End");
} match pair {
Pair::Punctuated(a, b) => punctuated.inner.push((a, b)),
Pair::End(a) => {
punctuated.last = Some(Box::new(a));
nomore = true;
}
}
}
}
impl<T, P> IntoIterator for Punctuated<T, P> { type Item = T; type IntoIter = IntoIter<T>;
/// An iterator over owned pairs of type `Pair<T, P>`. /// /// Refer to the [module documentation] for details about punctuated sequences. /// /// [module documentation]: self pubstruct IntoPairs<T, P> {
inner: vec::IntoIter<(T, P)>,
last: option::IntoIter<T>,
}
impl<T, P> Iterator for IntoPairs<T, P> { type Item = Pair<T, P>;
/// An iterator over owned values of type `T`. /// /// Refer to the [module documentation] for details about punctuated sequences. /// /// [module documentation]: self pubstruct IntoIter<T> {
inner: vec::IntoIter<T>,
}
impl<T> Clone for IntoIter<T> where
T: Clone,
{ fn clone(&self) -> Self {
IntoIter {
inner: self.inner.clone(),
}
}
}
/// An iterator over borrowed values of type `&T`. /// /// Refer to the [module documentation] for details about punctuated sequences. /// /// [module documentation]: self pubstruct Iter<'a, T: 'a> {
inner: Box<NoDrop<dyn IterTrait<'a, T> + 'a>>,
}
impl<'a, T, I> IterMutTrait<'a, T> for I where
T: 'a,
I: DoubleEndedIterator<Item = &'a mut T> + ExactSizeIterator<Item = &'span>a mut T> + 'a,
{
}
/// A single syntax tree node of type `T` followed by its trailing punctuation /// of type `P` if any. /// /// Refer to the [module documentation] for details about punctuated sequences. /// /// [module documentation]: self pubenum Pair<T, P> {
Punctuated(T, P),
End(T),
}
impl<T, P> Pair<T, P> { /// Extracts the syntax tree node from this punctuated pair, discarding the /// following punctuation. pubfn into_value(self) -> T { matchself {
Pair::Punctuated(t, _) | Pair::End(t) => t,
}
}
/// Borrows the syntax tree node from this punctuated pair. pubfn value(&self) -> &T { matchself {
Pair::Punctuated(t, _) | Pair::End(t) => t,
}
}
/// Mutably borrows the syntax tree node from this punctuated pair. pubfn value_mut(&mutself) -> &mut T { matchself {
Pair::Punctuated(t, _) | Pair::End(t) => t,
}
}
/// Borrows the punctuation from this punctuated pair, unless this pair is /// the final one and there is no trailing punctuation. pubfn punct(&self) -> Option<&P> { matchself {
Pair::Punctuated(_, p) => Some(p),
Pair::End(_) => None,
}
}
/// Mutably borrows the punctuation from this punctuated pair, unless the /// pair is the final one and there is no trailing punctuation. /// /// # Example /// /// ``` /// # use proc_macro2::Span; /// # use syn::punctuated::Punctuated; /// # use syn::{parse_quote, Token, TypeParamBound}; /// # /// # let mut punctuated = Punctuated::<TypeParamBound, Token![+]>::new(); /// # let span = Span::call_site(); /// # /// punctuated.insert(0, parse_quote!('lifetime)); /// if let Some(punct) = punctuated.pairs_mut().next().unwrap().punct_mut() { /// punct.span = span; /// } /// ``` pubfn punct_mut(&mutself) -> Option<&mut P> { matchself {
Pair::Punctuated(_, p) => Some(p),
Pair::End(_) => None,
}
}
/// Creates a punctuated pair out of a syntax tree node and an optional /// following punctuation. pubfn new(t: T, p: Option<P>) -> Self { match p {
Some(p) => Pair::Punctuated(t, p),
None => Pair::End(t),
}
}
/// Produces this punctuated pair as a tuple of syntax tree node and /// optional following punctuation. pubfn into_tuple(self) -> (T, Option<P>) { matchself {
Pair::Punctuated(t, p) => (t, Some(p)),
Pair::End(t) => (t, None),
}
}
}
#[cfg(feature = "printing")] mod printing { usecrate::punctuated::{Pair, Punctuated}; use proc_macro2::TokenStream; use quote::{ToTokens, TokenStreamExt};
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.