certo è così.
tu dichiari una stringa di 20 caratteri. quando inserisci una stringa tico con scanf, lui mette davide\0 partendo dalla posizione 0, ma gli altri caratteri esistono ancora.