R.7.4 Спецификации связи.

• R.7 Описания
  • R.7.4 Спецификации связи

С помощью спецификации-связи можно связать ($$R.3.3) фрагменты программ на С++ и на другом языке:

           спецификация-связи:
               extern строка-литерал { список-описаний opt }
               extern строка-литерал описание

           список-описаний:
               описание
               список-описаний описание

Требуемое связывание задается с помощью строки-литерала. Ее назначение определяется реализацией. Но во всех реализациях должно быть предусмотрено связывание с функцией на языке С ("С") и с функцией на языке С++ ("С++"). По умолчанию связывание задается как "С++", например,

           complex sqrt(complex);   // по умолчанию связывание с C++
           extern "C" {
               double sqrt(double); // связывание с C
           }

Спецификации связи могут быть вложенными. Спецификация связи не задает область видимости. Спецификация-связи может встретиться только в файловой области видимости ($$R.3.2). Спецификация-связи для класса относится к объектам, описанным в нем, и функциям, не являющимся членами. Спецификация-связи, относящаяся к некоторой функции, относится и ко всем объектам и функциям, описанным в ней. Описание связи, содержащее неизвестную для реализации строку, считается ошибочным.

Если функция имеет более одной спецификации-связи, то они должны быть согласованы, т.е. задавать одну и ту же строку-литерал. Описание функции без указания спецификации-связи не должно предшествовать первому указанию спецификации связи для этой функции. Функция может быть описана без указания спецификации связи даже после явного указания спецификации связи, но связывание, явно заданное в более раннем описании, не будет устранено таким описанием функции.

Из множества перегруженных функций ($$R.13) с данным именем не более одной может иметь связывание с языком С, см. $$R.7.4.

Связывание можно установить для объектов, например:

           extern "C" {
              // ...
              _iobuf_iob[_NFILE];
              // ...
              int _flsbuf(unsigned,_iobuf*);
              // ...
           }

Когда задается спецификация связи, то функции и объекты можно описать как статические внутри { }. Для таких функций или объектов команда связывания игнорируется. Иначе, функция, описанная при задании связи, трактуется, как если бы она была явно описана как extern, например, ниже второе описание ошибочно ($$R.7.1.1):

           extern "C" double f();
           static double f();     // ошибка

Объект, описанный внутри конструкции

           extern "C" {  /* ... */ }

все же считается определенным, а не просто описанным.

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

Если для задания связи в строке-литерале из спецификации-связи используется имя языка программирования, то рекомендуется, чтобы написание этого имени копировалось из документа, определяющего данный язык, например, Ada (а не ADA) и Fortran (а не FORTRAN).