Что будет, если в функции объявить переменную с тем же именем, что и глобальная (внешняя)?

Внутри функции можно объявить переменную с тем же именем, что и глобальная – она "затенит" (override) глобальную в этой области видимости. Внешняя переменная останется неизменной, просто к ней нельзя обратиться, пока используется локальная с тем же именем. По выходе из блока локальная переменная исчезнет, и глобальная снова станет видна.