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.