Enum ExprKind 

pub enum ExprKind {
    Ident(InternedStr),
    IntLit(i64),
    UIntLit(u64),
    FloatLit(f64),
    CharLit(u8),
    StringLit(Vec<u8>),
    Index {
        expr: Box<Expr>,
        index: Box<Expr>,
    },
    Call {
        func: Box<Expr>,
        args: Vec<Expr>,
    },
    Member {
        expr: Box<Expr>,
        member: InternedStr,
    },
    PtrMember {
        expr: Box<Expr>,
        member: InternedStr,
    },
    PostInc(Box<Expr>),
    PostDec(Box<Expr>),
    CompoundLit {
        type_name: Box<TypeName>,
        init: Vec<InitializerItem>,
    },
    PreInc(Box<Expr>),
    PreDec(Box<Expr>),
    AddrOf(Box<Expr>),
    Deref(Box<Expr>),
    UnaryPlus(Box<Expr>),
    UnaryMinus(Box<Expr>),
    BitNot(Box<Expr>),
    LogNot(Box<Expr>),
    Sizeof(Box<Expr>),
    SizeofType(Box<TypeName>),
    Alignof(Box<TypeName>),
    Cast {
        type_name: Box<TypeName>,
        expr: Box<Expr>,
    },
    Binary {
        op: BinOp,
        lhs: Box<Expr>,
        rhs: Box<Expr>,
    },
    Conditional {
        cond: Box<Expr>,
        then_expr: Box<Expr>,
        else_expr: Box<Expr>,
    },
    Assign {
        op: AssignOp,
        lhs: Box<Expr>,
        rhs: Box<Expr>,
    },
    Comma {
        lhs: Box<Expr>,
        rhs: Box<Expr>,
    },
    StmtExpr(CompoundStmt),
    Assert {
        kind: AssertKind,
        condition: Box<Expr>,
    },
    MacroCall {
        name: InternedStr,
        args: Vec<Expr>,
        expanded: Box<Expr>,
        call_loc: SourceLocation,
    },
    BuiltinCall {
        name: InternedStr,
        args: Vec<BuiltinArg>,
    },
}

式の種類

Variants

Ident(InternedStr)

IntLit(i64)

UIntLit(u64)

FloatLit(f64)

CharLit(u8)

StringLit(Vec<u8>)

Index

Fields

expr: Box<Expr>

index: Box<Expr>

Call

Fields

func: Box<Expr>

args: Vec<Expr>

Member

Fields

expr: Box<Expr>

member: InternedStr

PtrMember

Fields

expr: Box<Expr>

member: InternedStr

PostInc(Box<Expr>)

PostDec(Box<Expr>)

CompoundLit

Fields

type_name: Box<TypeName>

init: Vec<InitializerItem>

PreInc(Box<Expr>)

PreDec(Box<Expr>)

AddrOf(Box<Expr>)

Deref(Box<Expr>)

UnaryPlus(Box<Expr>)

UnaryMinus(Box<Expr>)

BitNot(Box<Expr>)

LogNot(Box<Expr>)

Sizeof(Box<Expr>)

SizeofType(Box<TypeName>)

Alignof(Box<TypeName>)

Cast

Fields

type_name: Box<TypeName>

expr: Box<Expr>

Binary

Fields

op: BinOp

lhs: Box<Expr>

rhs: Box<Expr>

Conditional

Fields

cond: Box<Expr>

then_expr: Box<Expr>

else_expr: Box<Expr>

Assign

Fields

op: AssignOp

lhs: Box<Expr>

rhs: Box<Expr>

Comma

Fields

lhs: Box<Expr>

rhs: Box<Expr>

StmtExpr(CompoundStmt)

Assert

アサーション式（マクロが空に展開されても保持）

Fields

kind: AssertKind

condition: Box<Expr>

MacroCall

マクロ呼び出し（元の呼び出し情報と展開結果を両方保持）

全てのマクロを常に展開しながら、元のマクロ呼び出し情報を AST に保持する。

• expanded: 型推論・意味解析用の展開結果
• name と args: コード生成時にマクロ呼び出しを再構築

Fields

name: InternedStr

マクロ名

args: Vec<Expr>

元の引数（パース済み式）

expanded: Box<Expr>

展開後の式（型推論・意味解析用）

call_loc: SourceLocation

マクロ呼び出し位置

BuiltinCall

ビルトイン関数呼び出し（引数に型名を含みうる）

offsetof(type, member), __builtin_types_compatible_p(type1, type2) 等、 引数に型名を取りうるビルトイン関数をパースするための汎用ノード。

Fields

name: InternedStr

args: Vec<BuiltinArg>

Trait Implementations

impl Clone for ExprKind

fn clone(&self) -> ExprKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExprKind

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

Formats the value using the given formatter.