3

Правильно ли я понимаю, что если функция объявлена со спецификатором static, то его не надо дублировать в определении?

static void f(void);

void f(void)
{
    // ...
}

1 ответ 1

4

Нет, не надо. Более того, даже если вы ее ниже явно объявите как extern, она все равно останется static

static void f(void);

extern void f(void) // Все равно функция имеет внутреннее связывание
{
    // ...
}

В стандарте языка (6.2.2 Linkages of identifiers) собственно поведение объявления без явного спецификатора класса хранения (ваше void foo(void)) по определению эквивалентно ему же с спецификатором extern (как у меня) (6.2.2/5). А поведение объявления с extern в свою очередь наследуется из того, что было объявлено выше (6.2.2/4).

5
  • Большое спасибо за помощь. Не подскажите, в каком параграфе стандарта искать описание этого процесса?
    – MGNeo
    24 янв 2019 в 4:52
  • 1
    @MGNeo: 6.2.2 Linkages of identifiers 24 янв 2019 в 4:54
  • В последнем пункте указанного параграфа сказано, что если в одной единице трансляции для идентификатора указано и внешнее, и внутреннее связывание, то поведение не определено. Я попытался это воспроизвести, но мне так и не удалось, поскольку компилятор считает мои варианты ошибкой. Что же имеется в виду?
    – MGNeo
    24 янв 2019 в 5:27
  • 1
    @MGNeo: Пункт 20 вот здесь ru.stackoverflow.com/a/789069/182825. Но как вы сами там же и заметили, многие компиляторы С рапортуют это как ошибку. Это нормально. Неопределенное поведение допускает отказ от компиляции. 24 янв 2019 в 5:45
  • Спасибо за помощь.
    – MGNeo
    24 янв 2019 в 6:11

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.