Struct FunctionType 

pub struct FunctionType {
    pub ret: TypeId,
    pub params: Vec<TypeId>,
    pub variadic: bool,
    pub prototyped: bool,
    pub convention: Convention,
}

A function type.

Fields

ret: TypeId

What it returns.

params: Vec<TypeId>

The parameter types, after the adjustments a parameter declaration gets: an array parameter has already decayed to a pointer and a function parameter to a function pointer, because those adjustments are part of forming the type and not part of calling it.

variadic: bool

Whether the list ends in ....

prototyped: bool

Whether there was a prototype at all.

int f() declares an unprototyped function before C23 and a function taking no arguments from C23 onwards, and the difference is visible in what calls are checked and in what the composite type of a redeclaration is. The dialect decides which meaning () gets, and this records the decision rather than repeating it.

convention: Convention

Which calling convention a call to it and its own body use.

Part of the type because gcc makes it part of the type: a pointer to an ms_abi function and a pointer to an ordinary one are pointers to different types on Linux, and a function declared once each way has conflicting types. Convention::Target is the target’s own whichever attribute named it, so ms_abi on Windows changes nothing about a type and neither does sysv_abi anywhere else, and a type that never met an attribute is the same type as one that met the attribute naming the target’s convention.

Trait Implementations

impl Clone for FunctionType

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionType

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

Formats the value using the given formatter.

impl Eq for FunctionType

impl Hash for FunctionType

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 PartialEq for FunctionType

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FunctionType