¿Qué significa para un slice el valor predeterminado igual a cero, y en qué consiste?

En Go, un slice es una estructura que contiene un puntero a un array, una longitud y una capacidad. El valor predeterminado para un slice es nil, pero si el slice se inicializa como vacío, por ejemplo, var s []int, entonces su valor es nil, y su longitud y capacidad son cero.

Cuando se dice que el valor predeterminado para un slice es cero, generalmente se refiere a que la longitud y la capacidad del slice son cero, y no apunta a ningún array.

La esencia es que tal slice no contiene elementos y no ocupa memoria para datos, pero se puede usar de manera segura, por ejemplo, para agregar elementos mediante append.

Ejemplo:

var s []int // s == nil, len(s) == 0, cap(s) == 0
s = append(s, 1) // ahora s contiene un elemento

Por lo tanto, el valor predeterminado de un slice es un slice vacío con longitud 0, lo cual es conveniente para trabajar sin inicialización adicional.