Default case in select in Go - Step-by-Step Execution

Concept Flow - Default case in select

Start select

↓

Check channels ready?

No→Default case runs

Yes↓

Run ready channel case

↓

End select

The select statement checks if any channel is ready. If none are ready, it runs the default case immediately.

Execution Sample

Go

select {
case msg := <-ch1:
    fmt.Println("Received", msg)
default:
    fmt.Println("No message received")
}

This code tries to receive from channel ch1. If no message is ready, it runs the default case.

Execution Table

Step	Channel ch1 ready?	Action	Output
1	No	Run default case	No message received
2	Yes	Receive from ch1	Received <message>

💡 Select ends after running one case: either default if no channels ready, or a ready channel case.

Variable Tracker

Variable	Start	After Step 1	After Step 2
msg	undefined	undefined	<message from ch1>

Key Moments - 2 Insights

Why does the default case run immediately even if no message is sent on ch1?

Because select checks if any channel is ready. If none are ready, it runs the default case right away, as shown in execution_table step 1.

What happens if the default case is removed and no channels are ready?

The select blocks (waits) until a channel becomes ready. This is different from running default immediately, as no default means no immediate fallback.

Visual Quiz - 3 Questions

Look at the execution table, what happens at step 1 when ch1 is not ready?

A The default case runs immediately

B The program waits for ch1

C The program crashes

D The select statement skips

💡 Hint

See execution_table row 1 where channel ch1 is not ready and default runs.

At which step does the variable 'msg' get a value?

A Step 1

B Step 2

C Before select

D Never

💡 Hint

Check variable_tracker row for 'msg' showing value assigned after step 2.

If we remove the default case, what changes in the execution?

A Select runs default anyway

B Select runs no cases and exits

C Select blocks until a channel is ready

D Select runs all cases

💡 Hint

Refer to key_moments explanation about behavior without default case.

Concept Snapshot

select {
case <-ch1:
    // runs if ch1 ready
default:
    // runs if no channels ready immediately
}

Default case prevents blocking by running instantly if no channel is ready.

Full Transcript

The select statement in Go checks multiple channels to see if any are ready to communicate. If a channel is ready, its case runs. If no channels are ready and a default case exists, the default case runs immediately without waiting. This prevents the program from blocking. If there is no default case and no channels are ready, the select statement waits (blocks) until a channel becomes ready. Variables like 'msg' get assigned only when their channel case runs. The execution table shows these steps clearly: when ch1 is not ready, default runs; when ch1 is ready, the message is received. This helps beginners understand how select with default avoids waiting and handles no-ready channels gracefully.