4.4 Связывание с программами на других языках

Программы на С++ часто содержат части, написанные на других языках, и

наоборот, часто фрагмент на С++ используется в программах,

написанных на других языках. Собрать в одну программу

фрагменты, написанные на разных языках, или, написанные на одном

языке, но в системах программирования с разными соглашениями о

связывании, достаточно трудно. Например, разные языки или разные

реализации одного языка могут различаться использованием регистров

при передаче параметров, порядком размещения параметров в стеке,

упаковкой таких встроенных типов, как целые или строки, форматом

имен функций, которые транслятор передает редактору связей, объемом

контроля типов, который требуется от редактора связей. Чтобы

упростить задачу, можно в описании внешних указать условие

связывания. Например, следующее описание объявляет strcpy внешней

функцией и указывает, что она должна связываться согласно порядку

связывания в С:

extern "C" char* strcpy(char*, const char*);

Результат этого описания отличается от результата обычного описания

extern char* strcpy(char*, const char*);

только порядком связывания для вызывающих strcpy() функций. Сама

семантика вызова и, в частности, контроль фактических параметров

будут одинаковы в обоих случаях. Описание extern "C" имеет смысл

использовать еще и потому, что языки С и С++, как и их

реализации, близки друг другу. Отметим, что в описании extern "C"

упоминание С относится к порядку связывания, а не к языку, и часто

такое описание используют для связи с Фортраном или ассемблером.

Эти языки в определенной степени подчиняются порядку связывания

для С.

Утомительно добавлять "C" ко многим описаниям внешних, и

есть возможность указать такую спецификацию сразу для группы

описаний. Например:

extern "C" {

char* strcpy(char*, const char);

int strcmp(const char*, const char*)

int strlen(const char*)

// ...

}

В такую конструкцию можно включить весь заголовочный файл С, чтобы

указать, что он подчиняется связыванию для С++, например:

extern "C" {

#include <string.h>

}

Обычно с помощью такого приема из стандартного заголовочного файла

для С получают такой файл для С++. Возможно иное решение с

помощью условной трансляции:

#ifdef __cplusplus

extern "C" {

#endif

char* strcpy(char*, const char*);

int strcmp(const char*, const char*);

int strlen(const char*);

// ...

#ifdef __cplusplus

}

#endif

Предопределенное макроопределение __cplusplus нужно, чтобы обойти

конструкцию extern "C" { ...}, если заголовочный файл используется

для С.

Поскольку конструкция extern "C" { ... } влияет только на

порядок связывания, в ней может содержаться любое описание,

например:

extern "C" {

// произвольные описания

// например:

static int st;

int glob;

}

Никак не меняется класс памяти и область видимости

описываемых объектов, поэтому по-прежнему st подчиняется внутреннему

связыванию, а glob остается глобальной переменной.

Укажем еще раз, что описание extern "C" влияет только на

порядок связывания и не влияет на порядок вызова функции. В частности,

функция, описанная как extern "C", все равно подчиняется правилам

контроля типов и преобразования фактических параметров, которые в C++

строже, чем в С. Например:

extern "C" int f();

int g()

{

return f(1); // ошибка: параметров быть не должно

}