static
не имеет никакого отношения к видимости вообще. Видимость - свойство идентификатора, на которое static
не оказывает никакого влияния.
Объявление функции как static
придает ей внутреннее связывание, то есть ограничивает ее линкуемость из других единиц трансляции. Все ссылки на static
-сущности обычно разрешаются на стадии компиляции и в генерируемом объектном файле не упоминаются вообще, т.е. линкер даже и не знает об их существовании. В частности, нет никакой необходимости беспокоиться о глобальных конфликтах имен при объявлении статических функций.
Ваши рассуждения на тему "могу объявить" или "не могу объявить" не совсем ясны. К функции с внешним связыванием вы всегда можете прилинковаться из другой единицы трансляции - достаточно просто выполнить ее объявление. К функции с внутренним связыванием (т.е. static
-функции) вы прилинковаться из другой единицы трансляции никак не сможете. Разница налицо.
Также объявление функций как static
дает компилятору исчерпывающее знание о всех контекстах вызова этой функции, что существенно повышает его возможности по оптимизации кода. (Известный интереснейший пример, в том числе существенно опирающийся на свойства static
: Why undefined behavior may call a never-called function)