pub struct Ident { /* private fields */ }
Expand description
A word of Rust code, which may be a keyword or legal variable name.
An identifier consists of at least one Unicode code point, the first of which has the XID_Start property and the rest of which have the XID_Continue property.
- The empty string is not an identifier. Use
Option<Ident>
. - A lifetime is not an identifier. Use
syn::Lifetime
instead.
An identifier constructed with Ident::new
is permitted to be a Rust
keyword, though parsing one through its Parse
implementation rejects
Rust keywords. Use input.call(Ident::parse_any)
when parsing to match the
behaviour of Ident::new
.
Examples
A new ident can be created from a string using the Ident::new
function.
A span must be provided explicitly which governs the name resolution
behavior of the resulting identifier.
use proc_macro2::{Ident, Span};
fn main() {
let call_ident = Ident::new("calligraphy", Span::call_site());
println!("{}", call_ident);
}
An ident can be interpolated into a token stream using the quote!
macro.
use proc_macro2::{Ident, Span};
use quote::quote;
fn main() {
let ident = Ident::new("demo", Span::call_site());
// Create a variable binding whose name is this ident.
let expanded = quote! { let #ident = 10; };
// Create a variable binding with a slightly different name.
let temp_ident = Ident::new(&format!("new_{}", ident), Span::call_site());
let expanded = quote! { let #temp_ident = 10; };
}
A string representation of the ident is available through the to_string()
method.
// Examine the ident as a string.
let ident_string = ident.to_string();
if ident_string.len() > 60 {
println!("Very long identifier: {}", ident_string)
}
Implementations
sourceimpl Ident
impl Ident
sourcepub fn new(string: &str, span: Span) -> Ident
pub fn new(string: &str, span: Span) -> Ident
Creates a new Ident
with the given string
as well as the specified
span
.
The string
argument must be a valid identifier permitted by the
language, otherwise the function will panic.
Note that span
, currently in rustc, configures the hygiene information
for this identifier.
As of this time Span::call_site()
explicitly opts-in to “call-site”
hygiene meaning that identifiers created with this span will be resolved
as if they were written directly at the location of the macro call, and
other code at the macro call site will be able to refer to them as well.
Later spans like Span::def_site()
will allow to opt-in to
“definition-site” hygiene meaning that identifiers created with this
span will be resolved at the location of the macro definition and other
code at the macro call site will not be able to refer to them.
Due to the current importance of hygiene this constructor, unlike other
tokens, requires a Span
to be specified at construction.
Panics
Panics if the input string is neither a keyword nor a legal variable
name. If you are not sure whether the string contains an identifier and
need to handle an error case, use
syn::parse_str
::<Ident>
rather than Ident::new
.
Trait Implementations
sourceimpl Display for Ident
impl Display for Ident
Prints the identifier as a string that should be losslessly convertible back into the same identifier.
sourceimpl From<Underscore> for Ident
impl From<Underscore> for Ident
sourcefn from(token: Underscore) -> Ident
fn from(token: Underscore) -> Ident
Converts to this type from the input type.
sourceimpl IdentExt for Ident
impl IdentExt for Ident
sourceimpl IdentFragment for Ident
impl IdentFragment for Ident
sourceimpl Ord for Ident
impl Ord for Ident
sourceimpl PartialOrd<Ident> for Ident
impl PartialOrd<Ident> for Ident
sourcefn partial_cmp(&self, other: &Ident) -> Option<Ordering>
fn partial_cmp(&self, other: &Ident) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
sourceimpl ToTokens for Ident
impl ToTokens for Ident
sourcefn to_tokens(&self, tokens: &mut TokenStream)
fn to_tokens(&self, tokens: &mut TokenStream)
Write self
to the given TokenStream
. Read more
sourcefn to_token_stream(&self) -> TokenStream
fn to_token_stream(&self) -> TokenStream
Convert self
directly into a TokenStream
object. Read more
sourcefn into_token_stream(self) -> TokenStream
fn into_token_stream(self) -> TokenStream
Convert self
directly into a TokenStream
object. Read more
impl Eq for Ident
impl Token for Ident
Auto Trait Implementations
impl RefUnwindSafe for Ident
impl !Send for Ident
impl !Sync for Ident
impl Unpin for Ident
impl UnwindSafe for Ident
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Spanned for T where
T: Spanned + ?Sized,
impl<T> Spanned for T where
T: Spanned + ?Sized,
sourcefn span(&self) -> Span
fn span(&self) -> Span
Returns a Span
covering the complete contents of this syntax tree
node, or Span::call_site()
if this node is empty. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more