Default keyword for generic types in C Sharp (C#) - Step-by-Step Execution

Concept Flow - Default keyword for generic types

Start

↓

Declare generic type T

↓

Use default(T)

↓

Returns default value for T

↓

Use value in code

↓

End

The flow shows how the default keyword returns the default value for a generic type T, which can be used safely in code.

Execution Sample

C Sharp (C#)

T value = default(T);
Console.WriteLine(value == null ? "null" : value.ToString());

This code assigns the default value of generic type T to variable value and prints it.

Execution Table

Step	Action	Type T	default(T) Value	Output
1	Declare generic type T	int	-	-
2	Assign default(T) to value	int	0	-
3	Print value	int	0	0
4	Declare generic type T	string	-	-
5	Assign default(T) to value	string	null	-
6	Print value	string	null	null
7	Declare generic type T	bool	-	-
8	Assign default(T) to value	bool	false	-
9	Print value	bool	false	False
10	End	-	-	-

💡 All generic types T have their default values assigned and printed.

Variable Tracker

Variable	Start	After int default	After string default	After bool default	Final
value	unassigned	0	null	false	false

Key Moments - 2 Insights

Why does default(T) return 0 for int but null for string?

default(T) returns the zero value for value types like int (which is 0) and null for reference types like string, as shown in execution_table rows 2 and 5.

Can default(T) be used safely without knowing T's type?

Yes, default(T) always returns a valid default value for any type T, so it can be used safely in generic code, as demonstrated in the execution_table steps.

Visual Quiz - 3 Questions

Look at the execution_table, what is the value of default(T) when T is bool at step 8?

A true

B null

C false

D 0

💡 Hint

Check the row with Step 8 in the execution_table where T is bool.

At which step does default(T) return null?

A Step 5

B Step 2

C Step 8

D Step 3

💡 Hint

Look for the step where T is string and default(T) is null in the execution_table.

If T was a custom struct, what would default(T) return?

A null

B An instance with all fields set to their default values

C 0

D An error

💡 Hint

Recall that structs are value types and default(T) returns a zeroed instance, not null.

Concept Snapshot

default(T) returns the default value for generic type T.
For value types (int, bool), it's zero or false.
For reference types (string, class), it's null.
Use default(T) to safely initialize variables in generic code.
Syntax: T variable = default(T);

Full Transcript

This visual execution shows how the default keyword works with generic types in C#. It starts by declaring a generic type T and assigning default(T) to a variable. For int, default(T) is 0; for string, it is null; for bool, it is false. The execution table traces each step, showing the assigned default value and output. The variable tracker follows the variable value changes. Key moments clarify why default(T) differs for value and reference types and confirm its safe use in generic code. The quiz tests understanding of default values for different types. The snapshot summarizes the concept for quick recall.

Practice

1. What does the default keyword return when used with a generic type parameter T in C#?

easy

A. A new instance of type T created with the default constructor

B. The default value of type T, like 0 for int or null for reference types

C. An exception is thrown if T is a reference type

D. The string representation of type T

Solution

1. Step 1: Understand the purpose of default keyword with generic T

   The default keyword returns the default value for any type. For value types like int, it returns 0. For reference types, it returns null. When used with a generic type parameter T, default(T) returns the default value of that type without creating an instance.

2. Final Answer:

   The default value of type T, like 0 for int or null for reference types -> Option B

3. Quick Check:

   default(T) = default value [OK]

Hint: Remember: default returns zero/null, not a new object [OK]

Common Mistakes:

• Thinking default creates a new instance
• Assuming default throws exceptions
• Confusing default with ToString()

2. Which of the following is the correct syntax to get the default value of a generic type T inside a method?

easy

A. default(T)

B. default<T>

C. default T

D. default::T

Solution

1. Step 1: Recall syntax for default and check options

   The correct syntax to get the default value of a type is default(TypeName). For generic types, it becomes default(T). default<T> uses invalid angle brackets. default T misses parentheses. default::T uses invalid scope operator. Only default(T) is correct.

2. Final Answer:

   default(T) -> Option A

3. Quick Check:

   Use parentheses with default: default(T) [OK]

Hint: Use parentheses with default keyword for types [OK]

Common Mistakes:

• Using angle brackets instead of parentheses
• Omitting parentheses
• Using invalid operators like ::

3. What is the output of this C# code?

static T GetDefault<T>() {
    return default(T);
}

Console.WriteLine(GetDefault<int>());
Console.WriteLine(GetDefault<string>() == null);

medium

A. 0
False

B. null
True

C. 0
True

D. null
False

Solution

1. Step 1: Trace the code execution

   For GetDefault<int>(), default(int) returns 0, so first line prints 0. For GetDefault<string>(), default(string) returns null, so null == null is true, second line prints True.

2. Final Answer:

   0 True -> Option C

3. Quick Check:

   default int = 0, default string = null [OK]

Hint: Value types default to zero; reference types default to null [OK]

Common Mistakes:

• Assuming default string returns empty string
• Confusing default int with null
• Forgetting default returns null for references

4. Identify the error in this generic method using default keyword:

public T GetValue<T>() {
    T value = default;
    return value;
}

medium

A. Syntax error: default must be used as default(T) in this context

B. Missing return type in method signature

C. Runtime error because default cannot be assigned to generic types

D. No error; code compiles and returns default value

Solution

1. Step 1: Validate default literal usage in generic context

   Since C# 7.1, default can be used as a literal without specifying type when the compiler can infer it from context like T value = default;. The method correctly initializes and returns the default value of T. No error.

2. Final Answer:

   No error; code compiles and returns default value -> Option D

3. Quick Check:

   default literal works with inferred generic type [OK]

Hint: Since C# 7.1, default literal can omit type in generics [OK]

Common Mistakes:

• Thinking default must always have parentheses
• Assuming runtime error for default assignment
• Missing that default literal is valid syntax

5. You want to write a generic method that returns the default value of T but only if T is a value type. Otherwise, it should return null. Which code snippet correctly implements this?

hard

A. public object GetDefaultIfValueType<T>() {
return typeof(T).IsValueType ? default(T) : null;
}

B. public T GetDefaultIfValueType<T>() {
return default(T) ?? null;
}

C. public T? GetDefaultIfValueType<T>() where T : struct {
return default(T);
}

D. public T GetDefaultIfValueType<T>() {
if (default(T) == null) return null;
else return default(T);
}

Solution

1. Step 1: Evaluate options against requirement for value/reference types

   Needs runtime check as constraints can't handle both; return object. C: typeof(T).IsValueType ? default(T) : null works. A restricts to struct; B ?? null invalid for values; D default(T) == null compile error unconstrained.

2. Final Answer:

   public object GetDefaultIfValueType<T>() { return typeof(T).IsValueType ? default(T) : null; } -> Option A

3. Quick Check:

   Use typeof(T).IsValueType to decide default or null [OK]

Hint: Use typeof(T).IsValueType to check type at runtime [OK]

Common Mistakes:

• Restricting generic type with where struct and missing reference types
• Using null-coalescing on value types
• Comparing default(T) to null directly