Lo que pasa es que el que tiene que respetar la longitud es el programador :)
Cuando creas un arreglo con char nombre[4]
estas reservando 4 bytes a partir de cierta posición de memoria (por ejemplo 0xabcd00
). Al asignar "Hola", estas llenado las cuatro posiciones de memoria, una con cada caracter.
En el momento de imprimir, la funcion printf imprimirá los bytes encontrados a partir de la direccion de la variable nombre hasta que encuentre un caracter nulo. En tu caso, es posible que la memoria tenga algo como:
Dirección | Contenido
----------------------
0xabcd00 | H
0xabcd01 | o
0xabcd02 | l
0xabcd03 | a
0xabcd04 | <Caracter nulo, posiblemente>
0xabcd05 | <mas caracteres>
si los caracteres desde la posicion 0xabcd04 fueran ascii, serian impresos.