1: Si, sennò come fai a sapere in che area di memoria è la lista?

2: Essendo una lista a doppi puntatori, se punt -> succ equivale a NULL significa che hai raggiunto l'ultimo elemento della lista, se invece punt -> prec uguale a NULL allora sei nel primo elemento della lista.