Что делает extern "C" в C++ и зачем он нужен?

Краткий ответ: зачем нужен extern "C"

extern "C" — это директива компоновщику (линковщику), которая отключает механизм декорирования имён (name mangling) для указанных функций. Она заставляет компилятор C++ генерировать символы в бинарном файле так, как это делает компилятор C. Это необходимо для корректной линковки C++ кода с объектными файлами или библиотеками, скомпилированными на C.

Подробное объяснение

В C++ есть перегрузка функций (overloading). Например, вы можете написать:

void print(int x);
void print(double y);
void print(const char* s);

Компилятору нужно как-то различать эти функции в объектном файле. Для этого он создаёт уникальные имена для каждой версии, добавляя информацию о типах аргументов. Это и есть name mangling (исковерканные имена). В результате в скомпилированном файле функция print(int) может называться, например, _Z5printi.

В языке C перегрузки нет, и компилятор C оставляет имя функции как есть: просто print. Если вы в C++ объявите функцию void print(int x); без extern "C", компилятор создаст символ _Z5printi. Но если эта функция реализована в библиотеке, скомпилированной на C (где она называется просто print), линковщик не найдёт символ _Z5printi и выдаст ошибку "undefined reference".

extern "C" решает эту проблему. Он говорит компилятору C++: «Для этой функции используй C-стиль именования, без декорирования». В результате функция print будет скомпилирована с именем print, и линковщик сможет найти её в C-библиотеке.

Синтаксис и варианты использования

• Для одной функции:
  

  extern "C" void my_c_function(int x);

• Для блока функций (чаще всего в заголовочных файлах):
  

  #ifdef __cplusplus
  extern "C" {
  #endif
  
  void func1();
  void func2(int a, char b);
  int func3(double c);
  
  #ifdef __cplusplus
  }
  #endif

  Макрос __cplusplus определён только в C++. Это позволяет использовать один и тот же заголовочный файл и в C, и в C++ программах.

• Для подключения C-заголовков:
  

  extern "C" {
      #include "clibrary.h"
  }

Важные нюансы

• extern "C" влияет только на линковку (связывание имён). Он не меняет правила компиляции внутри функции: код по-прежнему будет компилироваться как C++ со всеми его возможностями.
• Внутри блока extern "C" нельзя объявлять перегруженные функции — это вызовет ошибку компиляции, так как C не поддерживает перегрузку.
• Если вы пишете библиотеку на C++, которую планируете использовать из C-кода, вы должны обернуть все экспортируемые функции в extern "C".
• Стандартные C-заголовки (например, <cstdio>, <cstdlib>) уже содержат extern "C" внутри, поэтому их можно спокойно подключать в C++.

Пример для наглядности

Допустим, у вас есть C-файл:

// clib.c
#include <stdio.h>
void hello() {
    printf("Hello from C!\n");
}

И C++ программа:

// main.cpp
extern "C" void hello(); // Без extern "C" линковщик будет искать _Z5hellov

int main() {
    hello();
    return 0;
}

Если убрать extern "C", компилятор создаст символ _Z5hellov, а в объектном файле clib.o будет символ hello. Линковщик не сможет их сопоставить, и вы получите ошибку.

Итог: Используйте extern "C" всякий раз, когда вы работаете с C-библиотеками из C++, или когда вы экспортируете C++ функции для использования в C-коде. Это гарантирует совместимость имён на этапе линковки.

extern "C" void c_func();
void cpp_func();

void (*c_ptr)() = c_func;    // OK
void (*cpp_ptr)() = cpp_func; // OK
void (*mixed_ptr)() = c_func; // OK, неявное преобразование
// Но в некоторых случаях (например, при передаче в шаблоны) может потребоваться явное приведение