Implicit typing with var keyword in C Sharp (C#) - Step-by-Step Execution

Concept Flow - Implicit typing with var keyword

Declare var variable

↓

Compiler infers type

↓

Variable initialized with value

↓

Use variable in code

↓

Type is fixed after inference

The var keyword lets the compiler figure out the variable's type from the value you assign. Once set, the type cannot change.

Execution Sample

C Sharp (C#)

var number = 10;
var message = "Hello";
var isActive = true;

Declares three variables with var; compiler infers int, string, and bool types respectively.

Execution Table

Step	Code Line	Action	Inferred Type	Variable Value
1	var number = 10;	Declare 'number' with var and assign 10	int	10
2	var message = "Hello";	Declare 'message' with var and assign "Hello"	string	"Hello"
3	var isActive = true;	Declare 'isActive' with var and assign true	bool	true
4	Use variables	Variables used with inferred types	int, string, bool	10, "Hello", true
5	Attempt to assign different type	Error if tried: number = "text";	int	Error - type mismatch

💡 Execution stops because types are fixed after inference; assigning a different type causes a compile error.

Variable Tracker

Variable	Start	After 1	After 2	After 3	Final
number	unassigned	10	10	10	10
message	unassigned	unassigned	"Hello"	"Hello"	"Hello"
isActive	unassigned	unassigned	unassigned	true	true

Key Moments - 2 Insights

Why can't I assign a string to 'number' after declaring it with var?

Because the compiler inferred 'number' as int at declaration (see step 1 in execution_table). Its type is fixed and cannot change.

Does var mean the variable can change type later?

No, var only means the compiler figures out the type once at declaration. After that, the variable behaves like a normal typed variable.

Visual Quiz - 3 Questions

Look at the execution table, what type is inferred for 'message' at step 2?

A bool

B int

C string

D var

💡 Hint

Check the 'Inferred Type' column at step 2 in the execution_table.

At which step does the compiler fix the type of 'isActive'?

A Step 1

B Step 3

C Step 2

D Step 4

💡 Hint

Look at when 'isActive' is declared and assigned in the execution_table.

If you try to assign a string to 'number' after step 1, what happens?

A Compile error due to type mismatch

B It changes type to string

C Variable is deleted

D Value becomes null

💡 Hint

See step 5 in the execution_table about type mismatch errors.

Concept Snapshot

var keyword lets compiler infer variable type from assigned value
Type is fixed after inference and cannot change
Use var for cleaner code when type is obvious
Cannot assign different type later
Helps avoid verbose type declarations

Full Transcript

This visual execution shows how the var keyword in C# works. When you declare a variable with var and assign a value, the compiler figures out the variable's type automatically. For example, 'var number = 10;' makes 'number' an int. This type is fixed and cannot be changed later. Trying to assign a different type, like a string to 'number', causes a compile error. The execution table traces each declaration and the inferred type. The variable tracker shows how variables get their values step by step. Key moments clarify that var does not mean the variable can change type later. The quiz tests understanding of type inference and fixed typing with var.