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.