Gli specificatori di vita ci permettono di essere espliciti in determinati scenari che il compilatore non può risolvere da solo, distinguendo le vite di tutti i componenti della firma di una funzione.