6. Una duda, ¿cuál es el famoso puntero nulo?

La definición del lenguaje dice que para cada tipo de puntero, hay un valor especial - " el puntero nulo " - que es distinguible de cualquier otro valor de un puntero y que se puede comparar con un puntero de cualquier otro tipo.

Es decir la dirección que se obtenga con el operador & no será correcta y tampoco se obtendrá una a malloc correcta. (malloc devuelve un puntero nulo cuando falla, y este es un uso típico de punteros nulos: como un puntero "especial" con algún otro significado, por lo general " no asignado ".)
 
Un puntero nulo conceptualmente diferente de un puntero no inicializado. Un puntero nulo no puede apuntar a cualquier objeto o función; un puntero no inicializado podría estar apuntando a cualquier parte.
.