Участник:Joparino/Совместимость C и C++

Языки программирования C и C++ тесно связаны, но имеют существенные различия. C++ создавался как потомок достандартизированного C и был разработан так, чтобы быть в основном совместимым с исходным кодом C того времени. В связи с этим, средства разработки для двух языков (такие, как интегрированные среды разработки и компиляторы) часто интегрировались в один продукт, при этом программист может указать C или C++ в качестве исходного языка.

Однако, C не является подмножеством C++, поэтому нетривиальные программы на C не будут компилироваться на C++ без изменений. Также, C++ вводит множество возможностей, недоступных в C и на практике почти весь код, написанный на C++, не соответствует коду на C. Однако в этой статье основное внимание уделяется различиям, которые приводят к тому, что соответствующий код на C является неправильно написанным (англ. ill-formed) кодом C++ или соответствующим/хорошо написанным (англ. conforming/ill-formed) на обоих языках, но вести себя по-разному на C и C++.

Бьёрн Страуструп, создатель C++, предложил, что несовместимость между C и C++ должна быть уменьшена насколько это возможно, чтобы обеспечить максимальную совместимость между двумя языками. Другие утверждают, что, поскольку C и C++ — это два разных языка, совместимость между ними полезна, но не жизненно важна; согласно им, усилия по уменьшению несовместимости не должны препятствовать усилиям по улучшению каждого языка в отдельности. Официальное обоснование стандарта C 1999 года (C99) "одобрить принцип сохранения наибольшего общего подмножества" между C и C++ "сохраняя при этом различие между ними и позволяя им развиваться отдельно", и заявило, что авторы были "довольны тем, что C++ стал большим и амбициозным языком."

Некоторые нововведения C99 не поддерживаются в текущем стандарте C++ или конфликтуют с особенностями C++, например массивы переменной длины, собственные комплексные типы данных и квалификатор типа restrict. С другой стороны, C99 уменьшил некоторые другие несовместимости по сравнению с C89, включив такие возможности C++, как // комментарии и смешанные объявления и код.

Конструкции, допустимые в C, но не в C++

C++ применяет более строгие правила типизации (никаких неявных нарушений системы статических типов), и требования к инициализации (принудительное выполнение во время компиляции, чтобы переменные в области видимости не нарушали инициализацию) чем C, и поэтому некоторый допустимый код C недопустим в C++. Обоснование этого приведено в Приложении C.1 к стандарту ISO C++.

• Одно из часто встречающихся отличий заключается в том, что C более слабо типизирован в отношении указателей. В частности, C позволяет присваивать указателю void* любому типу указателя без приведения, в то время как C++ этого не позволяет; эта идиома часто встречается в коде C, использующем для выделения памяти malloc, или при передаче контекстных указателей на POSIX pthreads API, и другие фреймворки, включающие обратные вызовы. Например, следующее допустимо в C, но не в C++:

  void *ptr;
  /* Неявное преобразование из void* в int* */
  int *i = ptr;
  

  или аналогично:

  int *j = malloc(5 * sizeof *j);     /* Неявное преобразование из void* в int* */
  

  Чтобы заставить код компилироваться как на C, так и на C++, необходимо использовать явное приведение типа следующим образом (с некоторыми оговорками на обоих языках):

  void *ptr;
  int *i = (int *)ptr;
  int *j = (int *)malloc(5 * sizeof *j);
  

• C++ имеет более сложные правила присваивания указателей, которые добавляют квалификаторы, поскольку он позволяет приводить int ** к const int *const *, но не небезопасное присваивание const int **, в то время как C не допускает ни того, ни другого (хотя компиляторы обычно выдают только предупреждение).
• C++ изменяет некоторые функции стандартной библиотеки языка С, добавляя дополнительные перегруженные функции с квалификатором типа const, например strchr возвращает char* в C, в то время как C++ поступает так, как если бы были две перегруженные функции const char *strchr(const char *) и char *strchr(char *).
• C++ также более строг в преобразованиях в перечисления: целые числа не могут быть неявно преобразованы в перечисления, как в C. Кроме того, [[Перечисляемый тип#C++ |константные перечисления]] (enum) всегда имеют тип int в C, тогда как в C++ они являются различными типами и могут иметь размер, отличный от размера int.
• В C++ переменная const должна быть инициализирована; в C это необязательно.
• Компиляторы C++ запрещают goto или switch пересекать инициализацию, как в следующем коде C99:

  void fn(void)
  {
      goto flack;
      int i = 1;
  flack:
      ;
  }
  

• Несмотря на синтаксическую корректность, функция longjmp() приводит к неопределенному поведению в C++, если фреймы стека с перепрыгиванием включают объекты с нетривиальными деструкторами. Реализация C++ может свободно определять поведение таким образом, чтобы вызывались деструкторы. Однако это мешает некоторым видам использования longjmp(), которые в противном случае были бы допустимы, такие как потоки или сопрограммы переключающиеся между отдельными стеками вызовов с помощью longjmp() — при переходе из нижнего стека вызовов в верхний в глобальном адресном пространстве деструкторы будут вызываться для каждого объекта в нижнем стеке вызовов. В C такой проблемы не существует.
• C допускает несколько предварительных определений одной глобальной переменной в одной единице трансляции, что недопустимо в C++, так как это нарушение правила одного определения (англ. One Definition Rule, ODR).

  int N;
  int N = 10;
  

• В C допустимо объявление нового типа с тем же именем, что и у struct, union или enum, но это недопустимо в C++, потому что в C типы, struct, union, и enum должны указываться всякий раз, когда на тип ссылаются, тогда как в C++ все объявления таких типов неявно содержат typedef.

  enum BOOL {FALSE, TRUE};
  typedef int BOOL;
  

• Объявления функций, не являющихся прототипами (в стиле «K&R»), недопустимы в C++; они по-прежнему действительны в C, хотя они были признаны устаревшими с момента первоначальной стандартизации C в 1990 году. (термин «устаревший» — это определенный термин в стандарте ISO C, означающий функцию, которая «может быть рассмотрена для удаления в будущих версиях» стандарта.) Аналогично, неявные объявления функций (с использованием функций, которые не были объявлены) не допускаются в C++ и являются недопустимыми в C с 1999 года.
• В C прототип функции без аргументов, например int foo();, подразумевает, что аргументы не указаны. Следовательно, законно вызывать такую функцию с одним или несколькими аргументами, например foo(42, "hello world"). Напротив, в C++ прототип функции без аргументов означает, что функция не принимает аргументов, и вызов такой функции с аргументами является некорректным. В C правильный способ объявить функцию, которая не принимает аргументов, - это использовать 'void', как в int foo(void);, это также допустимо в C++. Пустые прототипы функций являются устаревшей функцией в C99 (как и в C89).
• Как на C, так и на C++, можно определить типы вложенных struct, но область действия интерпретируется по-разному: в C++ вложенная struct определяется только в пределах области/пространства имен внешней struct, тогда как в C внутренняя структура также определяется вне внешней структуры.
• C позволяет объявлять типы struct, union, и enum в прототипах функций, в то время как C++ этого не позволяет.

C99 и C11 добавили в C несколько дополнительных возможностей, которые не были включены в стандартный C++, таких как комплексные числа, массивы переменной длины (обратите внимание, что комплексные числа и массивы переменной длины обозначены как необязательные расширения в C11), гибкий элемент массива, ключевое слово restrict, квалификаторы параметров массива, составные литералы (англ. compound literals), и назначенные инициализаторы (англ. designated initializers).

• Комплексная арифметика с использованием примитивных типов данных float complex и double complex были добавлены в стандарте C99 с помощью ключевого слова _Complex и удобного макроса complex. В C++ комплексная арифметика может быть выполнена с использованием класса комплексных чисел, но эти два метода несовместимы с кодом. (Однако стандарты, начиная с C++11, требуют двоичной совместимости.)
• Массивы переменной длины англ. Variable length arrays, VLA. Эта особенность приводит к возможному отсутствию оператора sizeof во время компиляции.

  void foo(size_t x, int a[*]);  // объявление VLA
  void foo(size_t x, int a[x]) 
  {
      printf("%zu\n", sizeof a); // то же, что и sizeof(int*)
      char s[x * 2];
      printf("%zu\n", sizeof s); // будет выведено print x*2
  }
  

• Последний элемент структурного типа в стандарте C99 с более чем одним элементом может быть гибким элементом массива, который принимает синтаксическую форму массива с неопределенной длиной. Это служит цели, аналогичной массивам переменной длины, но массивы переменной длины не могут отображаться в определениях типов, и, в отличие от массивов переменной длины, элементы гибкого массива не имеют определенного размера. ISO C++ не имеет такой особенности. Пример:

  struct X
  {
      int n, m;
      char bytes[];
  }
  

• Квалификатор типа restrict, определенный в C99, не был включен в стандарт C++03, но большинство основных компиляторов, таких как GNU Compiler Collection, Microsoft Visual C++, и Intel C++ Compiler , предоставляют аналогичную функциональность в качестве расширения.
• Квалификаторы параметров массива в функциях поддерживаются в C, но не в C++

  int foo(int a[const]);     // аналогично int *const a 
  int bar(char s[static 5]); // отметим, что s имеет длину не менее 5 символов
  

• Функциональность составных литералов в C обобщается как на встроенные, так и на пользовательские типы синтаксисом инициализации списка C++11, хотя и с некоторыми синтаксическими и семантическими различиями.

  struct X a = (struct X){4, 6};  // Аналогичным в C++ было бы X{4, 6}. Синтаксическая форма C, используемая в C99, поддерживается в качестве расширения в компиляторах GCC и Clang C++.
  foo(&(struct X){4, 6});         // Объект выделяется в стеке, и его адрес может быть передан функции. Это не поддерживается в C++.
  
  if (memcmp(d, (int []){8, 6, 7, 5, 3, 0, 9}, n) == 0) {} // Аналогичным в C++ было бы использование digits = int []; if (memcmp(d, digits{8, 6, 7, 5, 3, 0, 9}, n) == 0) {}
  

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

  char s[20] = { [0] = 'a', [8] = 'g' };  // допустимо в C, но не в C++
  

• Функции, которые не возвращают что-либо, могут быть отмечены с помощью атрибута noreturn в C++, тогда как C использует ключевое слово distinct.

C++ добавляет множество дополнительных ключевых слов для поддержки своих новых возможностей. Это делает код C, использующий эти ключевые слова для идентификаторов, недопустимым в C++. Например:

struct template 
{
    int new;
    struct template* class;
};

является допустимым кодом C, но отклоняется компилятором C++, поскольку ключевые слова template, new иclass зарезервированы.

Конструкции, которые ведут себя по-разному в C и C++

Существует несколько синтаксических конструкций, которые допустимы как в C, так и в C++, но дают разные результаты в этих двух языках.

C++, однако, требует, чтобы если функция с внешней связью была объявлена inline в любой единице перевода, то она должна быть объявлена (и, следовательно, также определена) в каждой единице перевода, где она используется, и чтобы все определения этой функции были идентичны, следуя УСО.

• Символьные литералы (англ. Character literal), такие как 'a', имеют тип int в C и тип char в C++, что означает, что sizeof 'a' обычно дает разные результаты на двух языках: в C++ это будет 1, в то время как в C это будет sizeof(int). Как еще одно следствие этого различия в типах, в C 'a' всегда будет выражением со знаком, независимо от того, является ли char знаковым или беззнаковым, , тогда как для C++ это зависит от реализации компилятора.
• C++ присваивает внутреннюю связь переменным const в области пространства имен, если они явно не объявлены extern, в отличие от C, в котором extern является значением по умолчанию для всех объектов в области файлов. Заметим, что на практике это не приводит к скрытым семантическим изменениям между идентичным кодом C и C++, но вместо этого приведет к ошибке компиляции или связывания.
• В C использование встроенных функций требует ручного добавления объявления прототипа функции с использованием ключевого слова extern ровно в одной единице трансляции, чтобы гарантировать, что не встроенная версия связана, тогда как C++ обрабатывает это автоматически. Более подробно, C различает два вида определений встроенных функций: обычные внешние определения (где явно используется extern) и встроенные определения. C++, с другой стороны, предоставляет только встроенные определения для встроенных функций. В C встроенное определение аналогично внутреннему (т.е. статическому) определению в том смысле, что оно может сосуществовать в одной и той же программе с одним внешним определением и любым количеством внутренних и встроенных определений одной и той же функции в других единицах трансляции, все из которых могут отличаться. Это отдельное соображение от связи функции, но не независимое. Компиляторам C предоставляется свобода выбора между использованием встроенных и внешних определений одной и той же функции, когда оба они видны. C++, однако, требует, чтобы если функция с внешней связью была объявлена inline в любой единице трансляции, то она должна быть объявлена (и, следовательно, также определена) в каждой единице трансляции, где она используется, и чтобы все определения этой функции были идентичны, следуя правилу одного определения. Обратите внимание, что статические встроенные функции ведут себя одинаково в C и C++.
• И C99, и C++ имеют логический тип bool с константами true и false, но они определены по-разному. В C++ bool — это встроенный тип и зарезервированное ключевое слово. В C99 новое ключевое слово _Bool вводится как новый логический тип. Заголовок stdbool.h содержит макросы bool, true и false, которые определены как _Bool, 1 и 0 соответственно. Следовательно, true и false имеют тип int в C.

Некоторые другие отличия от предыдущего раздела также могут быть использованы для создания кода, который компилируется на обоих языках, но ведет себя по-разному. Например, следующая функция будет возвращать разные значения в C и C++:

extern int T;

int size(void)
{
    struct T {  int i;  int j;  };
    
    return sizeof(T);
    /* C:   вернет sizeof(int)
     * C++: вернет sizeof(struct T)
     */
}

Это связано с тем, что C требует struct перед тегами структуры (и поэтому sizeof(T) ссылается на переменную), но C++ позволяет его опустить (и поэтому sizeof(T) ссылается на неявный typedef). Имейте в виду, что результат отличается, когда объявление extern помещается внутри функции: тогда наличие идентификатора с тем же именем в области действия функции препятствует вступлению в силу неявного typedef для C++, и результат для C и C++ будет одинаковым. Обратите также внимание, что двусмысленность в приведенном выше примере связана с использованием круглой скобки с оператором sizeof. Использование sizeof T ожидало бы, что T будет выражением, а не типом, и, следовательно, пример не будет компилироваться с C++.

Связывание кода C и C++

В то время как C и C++ поддерживают высокую степень совместимости исходных текстов, объектные файлы, создаваемые их соответствующими компиляторами, могут иметь важные различия, которые проявляются при смешивании кода C и C++. Особенно:

• Компиляторы C не называют искаженные символы (англ. name mangle symbols) так, как это делают компиляторы C++.
• В зависимости от компилятора и архитектуры, также может быть так, что соглашения о вызовах различаются между двумя языками.

По этим причинам, чтобы код C++ вызывал функцию C foo(), код C++ должен создавать прототип foo() с помощью extern "C". Аналогично, чтобы код C вызывал функцию C++ bar(), код C++ для bar() должен быть объявлен с extern "C".

Обычная практика для заголовочных файлов для поддержания совместимости как с C, так и С++ заключается в том, чтобы сделать его объявление extern "C" для области видимости заголовка:

/* Заголовочный файл foo.h */
#ifdef __cplusplus /* Если это компилятор C++, свяжите с C*/
extern "C" {
#endif

/* Эти функции получают связь C */
void foo();
 
struct bar { /* ... */ };

#ifdef __cplusplus /* Если это компилятор C++, завершите связывание C */
}
#endif

Различия между соглашениями о связывании и вызовах C и C++ также могут иметь тонкие последствия для кода, использующего указатели на функции. Некоторые компиляторы выдадут нерабочий код, если указатель функции, объявленный extern "C", указывает на функцию C++, которая не объявлена extern "C".

Например, следующий код:

void my_function();
extern "C" void foo(void (*fn_ptr)(void));

void bar()
{
   foo(my_function);
}

Используя компилятор C++ от Sun Microsystems, это выдает следующее предупреждение:

 $ CC -c test.cc
 "test.cc", line 6: Warning (Anachronism): Formal argument fn_ptr of type
 extern "C" void(*)() in call to foo(extern "C" void(*)()) is being passed
 void(*)().

Это связано с тем, что my_function() не объявляется с помощью соглашений о связывании и вызовах C, а передается функции C foo().

Внешние ссылки

• Detailed comparison, sentence by sentence, from a C89 Standard perspective.
• Incompatibilities Between ISO C and ISO C++, David R. Tribble (August 2001).
• Oracle (Sun Microsystems) C++ Migration Guide, section 3.11, Oracle/Sun compiler docs on linkage scope.
• Oracle: Mixing C and C++ Code in the Same Program, overview by Steve Clamage (ANSI C++ Committee chair).

Категория:Язык программирования Си Категория:C++