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.

Practice

1. What does the var keyword do in C#?

easy

A. It lets the compiler decide the variable's type based on the assigned value.

B. It declares a variable without assigning any value.

C. It forces the variable to be of type var.

D. It creates a constant variable that cannot be changed.

Solution

1. Step 1: Understand the purpose of var

   The var keyword tells the compiler to infer the variable type from the value assigned.

2. Step 2: Compare options with this understanding

   Only It lets the compiler decide the variable's type based on the assigned value. correctly describes this behavior. Other options misunderstand var usage.

3. Final Answer:

   It lets the compiler decide the variable's type based on the assigned value. -> Option A

4. Quick Check:

   Implicit typing = compiler infers type [OK]

Hint: Remember: var means 'let compiler guess type' [OK]

Common Mistakes:

• Thinking var means no type is assigned
• Assuming var creates constants
• Believing var is a type itself

2. Which of the following is a correct way to declare a variable using var in C#?

easy

A. var number;

B. var int number = 10;

C. var = 10;

D. var number = 10;

Solution

1. Step 1: Check syntax rules for var

   Variables declared with var must be initialized immediately with a value.

2. Step 2: Evaluate each option

   var number = 10; declares and initializes correctly. var number; misses initialization. var = 10; has wrong syntax. var int number = 10; mixes explicit type with var incorrectly.

3. Final Answer:

   var number = 10; -> Option D

4. Quick Check:

   var requires immediate assignment [OK]

Hint: Always assign a value when using var [OK]

Common Mistakes:

• Declaring var without assigning a value
• Using var as a type name
• Combining var with explicit type

3. What will be the output of the following code?

var message = "Hello";
var count = 5;
Console.WriteLine(message + " " + count);

medium

A. Hello + 5

B. Hello5

C. Hello 5

D. Compilation error

Solution

1. Step 1: Understand variable types inferred

   message is a string "Hello", count is an int 5.

2. Step 2: Analyze the concatenation in WriteLine

   Using + with string and int converts int to string and concatenates with a space in between, so output is "Hello 5".

3. Final Answer:

   Hello 5 -> Option C

4. Quick Check:

   String + int concatenates as string [OK]

Hint: String + int converts int to string automatically [OK]

Common Mistakes:

• Expecting no space between words
• Thinking + prints literal plus sign
• Assuming compilation error due to var

4. Identify the error in the following code snippet:

var x;
x = 10;

medium

A. var requires initialization at declaration.

B. Missing semicolon after var declaration.

C. No error, code runs fine.

D. Cannot assign int to var variable.

Solution

1. Step 1: Recall var declaration rules

   Variables declared with var must be initialized immediately.

2. Step 2: Check the code snippet

   Here, var x; declares without initialization, which is invalid.

3. Final Answer:

   var requires initialization at declaration. -> Option A

4. Quick Check:

   var must be assigned when declared [OK]

Hint: var must have a value when declared [OK]

Common Mistakes:

• Thinking var can be declared without value
• Confusing var with dynamic
• Assuming assignment later is allowed

5. Given the code below, what is the type of result and what will be its value?

var numbers = new[] {1, 2, 3, 4};
var result = numbers.Select(n => n * 2).ToList();
Console.WriteLine(result.Count);

hard

A. Compilation error due to var usage

B. result is a List<int> with 4 elements; output: 4

C. result is a List<string>; output: 4

D. result is an array of int; output: 8

Solution

1. Step 1: Understand the type inferred for numbers

   numbers is an int array: int[].

2. Step 2: Analyze the LINQ Select and ToList

   Select doubles each number, producing IEnumerable<int>. ToList converts it to List<int> with 4 elements.

3. Step 3: Check Console.WriteLine output

   result.Count returns 4, the number of elements in the list.

4. Final Answer:

   result is a List<int> with 4 elements; output: 4 -> Option B

5. Quick Check:

   var infers List<int>, Count = 4 [OK]

Hint: var follows method return types exactly [OK]

Common Mistakes:

• Assuming result is an array, not a List
• Expecting output to be sum or doubled value
• Thinking var causes compilation error here