Struct Qualifiers 

pub struct Qualifiers(/* private fields */);

The qualifiers a type can carry.

A bitmask in the interning key rather than a chain of wrapper nodes, so const int is one entry in the table beside int rather than a node pointing at it. That makes stripping qualifiers a field read instead of a walk, which matters because almost every semantic rule in C is stated on the unqualified type.

_Atomic is deliberately not here. C lets it be written in the same position as a qualifier, but _Atomic(T) is a different type from T with its own size and alignment, so it is a type constructor, TypeKind::Atomic, and the parser is what maps the qualifier spelling onto it.

Implementations

impl Qualifiers

pub const NONE: Qualifiers

No qualifiers.

pub const CONST: Qualifiers

const.

pub const VOLATILE: Qualifiers

volatile.

pub const RESTRICT: Qualifiers

restrict.

pub const SEG_FS: Qualifiers

__seg_fs, the x86 named address space counted from the %fs segment base.

A named address space is a qualifier in the C extension that defines them (ISO/IEC TR 18037) and in gcc, so it lives here with the other three. Two pointers to the same type in different address spaces are different types, which the table gets for free by keeping the qualifier on the pointee, and lvalue conversion drops it the way it drops const.

pub const SEG_GS: Qualifiers

__seg_gs, the same for the %gs segment base, which is what the Linux percpu accessors on x86 use from 6.9.

pub const SPACES: Qualifiers

Both address space qualifiers, for asking which one a type is in.

pub const fn has(self, other: Qualifiers) -> bool

Whether every qualifier in other is present here.

pub const fn with(self, other: Qualifiers) -> Qualifiers

This set with other added.

pub const fn without(self, other: Qualifiers) -> Qualifiers

This set with other removed.

pub const fn space(self) -> Qualifiers

The address space qualifier on this set, which is Qualifiers::NONE for the generic one.

pub const fn is_none(self) -> bool

Whether there are no qualifiers at all.

Trait Implementations

impl Clone for Qualifiers

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Qualifiers

impl Debug for Qualifiers

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Qualifiers

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Qualifiers

impl Hash for Qualifiers

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Qualifiers

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for Qualifiers

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialOrd for Qualifiers

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for Qualifiers