Rust语言中类型绑定的发生时机咨询——结合C语言对比

Great question—this is exactly the kind of detail that matters when building a Rust compiler frontend, so let’s break it down clearly.

First, let’s confirm your understanding of C is spot-on: in int a = 10;, the int type is fixed at compile time, and the value 10 is assigned at runtime. Rust works similarly in that all variable types are bound at compile time—the difference is just that Rust lets you skip explicit type annotations via type inference.

Here’s what happens step-by-step for let a = 2;:

1. Parser Stage (your current focus):
   The parser will generate an Abstract Syntax Tree (AST) where a is represented as a variable binding with an initializer (the integer literal 2). At this point, the compiler doesn’t know what type a is—it just knows it’s a variable that gets initialized with an integer literal. The type is a placeholder (often called a "type variable" in compiler terms) that hasn’t been resolved yet.

2. Type Checking Stage (next step in your compiler pipeline):
   This is where the magic happens. Rust’s type checker will analyze the entire context of a to infer its concrete type:

   • If there’s no additional context (like later usage of a that constrains its type), Rust follows its default integer type rule: it infers i32 for unannotated integer literals.
   • If there is context (e.g., let b: u64 = a; later in the code), the type checker will adjust a’s type to match the constraint (in this case, u64), or throw an error if the constraints conflict (like if you tried to assign a to both a u64 and a f32).

   Once the type checker resolves the type variable to a concrete type (like i32), that type is permanently bound to a at compile time—just like in C, there’s no runtime type resolution here.

To put it simply: your parser doesn’t need to worry about resolving the type of a right now. Its job is just to capture the structure of the code. The type binding happens later, during the type checking phase of compilation, when the compiler can look at the full context of how the variable is used.

内容的提问来源于stack exchange，提问作者Rahul Bharadwaj