Требуется ли extern C только в объявлении функции?

'extern "C"' не должен требоваться в определении функции, если он есть в объявлении и уже виден при компиляции определения. В стандарте конкретно указано (спецификации связи 7.5 / 5):

Функция может быть объявлена ​​без спецификации связывания после того, как была обнаружена явная спецификация связывания; на связь, явно указанную в предыдущем объявлении, такое объявление функции не влияет.

Тем не менее, я обычно помещаю 'extern "C"' в определение, потому что на самом деле это функция с внешней связью «C». Многие люди ненавидят, когда в объявлениях используется ненужный, избыточный материал (например, добавление virtual в переопределение методов), но я не один из них.

Изменить:
Похоже, я неправильно понял вопрос. В любом случае, я пробовал:

// foo.cpp
/* Function definition */

#include "foo.h"

void foo(int i) {
 //do stuff
}
void test(int i)
{
// do stuff
}

// foo.h
#ifdef __cplusplus
extern "C" {
#endif

/* Function declaration */
void foo(int);

#ifdef __cplusplus
}
#endif

void test(int);

Используя команду nm для просмотра символов из скомпилированного файла:

linuxuser$ nm foo.o
00000006 T _Z4testi
         U __gxx_personality_v0
00000000 T foo

Это ясно указывает на то, что имя функции, объявленной как extern «C», не искажается, а ключевое слово extern «C» не требуется при определении.
Если бы это требовало, каждый код библиотеки C, написанный без extern «C», был бы непригоден для использования в программах на C ++.

Только что столкнулся с такой ситуацией ... Не из приятных впечатлений.

В одном из моих c файлов было объявлено следующее:

void unused_isr(void) {}
void ADC_IRQHandler(void)     __attribute__ ((weak, alias("unused_isr"))); 

Далее где-то в cpp файле, который я определил:

void ADC_IRQHandler(void) {                                                                                  
    ...
}

И я забыл изменить предварительное объявление на:

void ADC_IRQHandler(void);

Мне потребовалось некоторое время, прежде чем я понял, что делаю все правильно в отношении преобразования AD, но мне не удалось добавить «extern C» в определение!

extern "C" void ADC_IRQHandler(void) {                                                                                  
    ...
}

Только мои два цента, почему в определенных обстоятельствах может быть полезно иметь привычку также добавлять это к определению.

Я думаю, что здесь нужно прояснить это, так как у меня только что была похожая проблема, и мне потребовалось время, чтобы это прояснить в моей голове, только Брукс Моисей затронул это должным образом, и я думаю, что это нужно изложить более четко ... .

Таким образом, заголовок может сбить вас с толку, все, что видит компилятор, - это файл cpp, и если заголовок не включен с extern "C" обратно в ваш cpp (что я обычно вижу), тогда extern "C" потребуется быть где-то в файле cpp (либо в определении, либо в другом объявлении), чтобы компилятор CXX мог знать, как сделать это с помощью связи C, компилятор не заботится о заголовке, а только о компоновщике.

extern "C" вокруг определения не требуется. Вы можете уйти, просто поместив это в декларацию. Одно примечание в вашем примере ...

#ifdef __cplusplus
extern "C" {
#endif

/* Function declaration */
void foo(int);

#ifdef __cplusplus
}
#endif

Ваш код ищет макрос препроцессора "__cplusplus".

Хотя это обычно реализуется, в зависимости от вашего компилятора это может быть определено или не определено. В вашем примере вы также используете extern "C" вокруг объявления, но там вы не проверяете макрос «__cplusplus», поэтому я подозреваю, что он сработал, как только вы это сделали.

^{См. комментарии ниже. Стандартный C ++ требует, чтобы макрос __cplusplus был определен препроцессором.}

Должно быть и то, и другое. Компилятору необходимо знать, как использовать имя символа C и соглашения о вызовах при компиляции сайтов вызовов (которые могут видеть только объявление), и компилятор также должен знать, как генерировать имя символа C и использовать соглашения о вызовах C при компиляции само определение функции (которое может не видеть никаких других объявлений).

Теперь, если у вас есть объявление extern-C, которое видно из единицы перевода, в которой существует определение, вы можете обойтись без extern-C из определения, но я не знаю, что это точно .