Код C, который не будет работать в C++?

Question

[Дмитрий Threy]

Вырезка из Википедии:

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

И у Лафоре встречал такое заявление, что аки не каждый код на C будет скомпилирован компилятором C++. Спорить-то и нечего, но сколько помню, то все функции языка Си поддерживаются в C++. Обратная совместимость же!

Но можно ли узнать конкретно какой код не скомпилируется?

Comments

[Saboteur]

посмотрите что-то из выделения памяти. malloc вроде работает и там и там, а другие варианты могут давать сбой.
Линковка в С++ немного отличается.

В общем можно писать совместимый код, а можно нарваться на какую-то мелочь, которая потребует архитектурной переделки.

Answer 1

[Максим Мосейчук]

Массивы переменной длинны (VLA).

#include "stdio.h"

int main() {
 size_t n;
 scanf("%Iu", n);
 int array[n];
 return 0;
}

Но всё зависит от компилятора и строгости следования стандарту. GNU компилятор, например, вводит такие массивы для C++ в расширениях.

Ещё в C есть restrict переменные, регистровые переменные, которых нет с C++.

Comments

[Роман]

Ваш код прекрасно выполняется в С++ https://ideone.com/6SCm9c причем и с gcc и clang.

[MiiNiPaa]

Роман: Отключите расширения компилятора, приносящие фичи С в С++ и поставьте адекватные флаги компилятора: coliru.stacked-crooked.com/a/015edb27fae749e7

[Максим Мосейчук]

MiiNiPaa: Роман: к тому же на Ideone выбран c++14, в который добавили таки VLA.

[abcd0x00]

fshp: Это из нового стандарта C. А в C++ включён только C89, в котором не было таких массивов.

[Максим Мосейчук]

abcd0x00: ну вы еще вспомните времена, когда C++ был препроцессором для C. Тогда можно утверждать, что C на 100% совместим с C++. Думаю, автора больше интереует положение вещей в 2016 году.

[Максим Мосейчук]

abcd0x00: сейчас менстримом является c99 и C++03. Даже с учетом того, что вышло несколько новых стандартов.

[abcd0x00]

fshp: Во-первых, C и C++ - это разные языки. Поэтому рассматривать, что входит в C++ из C просто неправильно. Это всё равно, что рассматривать, что входит в C++ из Go. Во-вторых, исторически C++ основывался на C (чтобы пересадить пользователей с C) и большинство конструкций взято из C напрямую без каких-либо изменений. Так как было это ещё до C99 - естественного развития C89 - фишки из C99 просто не попали в C++ (тот же модификатор restrict и новые составные литералы). Так что мы не можем рассматривать даже C99 в контексте C++, потому что в том же C99 уже давно есть тип long long int, тогда как в C++ его добавили только лет через 10. Поэтому всё можно рассматривать только в сравнении с C89. А в C89 не было массивов переменной длины.

[Максим Мосейчук]

abcd0x00: ещё раз прочите вопрос. Вы пытаетесь дать ответ совсем на другое.

[abcd0x00]

fshp: Ты ответил про C99, а он не входит вообще в C++. Его просто нельзя так рассматривать. Все эти разговоры про то, является ли C++ надмножеством C или не является, следует переводить как "является ли C++ надмножеством C89 или не является". Ты просто не знал этого, вот и ошибся (плохо разбираешься).

[Максим Мосейчук]

abcd0x00: В вопросе ясно сказано, что C не является подмножеством C++. Это вы уже пытаетесь притянуть за уши, что c89 является подмножеством, и что стоит рассматривать только его.

[Максим Мосейчук]

abcd0x00: если читать лень, то повторю вопрос "Но можно ли узнать конкретно какой код не скомпилируется?". Пример на C, на C++ не скомпилируются (с оговоркой на C++14). Что не так?

[abcd0x00]

fshp: Тебе ещё раз говорю, ты не разбираешься в этих вопросах. Это в старых книжках пишут такую фигню про C, и значит она не C99 и не C11, а именно C89, потому что ни на каком новом стандарте C++ не основывался. Когда эти книжки писались, был в ходу C89, поэтому они его называют C, имея в виду именно C89. Они не имеют в виду C99. А ты привёл пример из C99, потому что никаких массивов с переменной длинной не было до него. Ты-то думаешь, что C99 какое-то отношение к C++ имеет. Так вот никакого отношения он к нему не имеет ВООБЩЕ.

[abcd0x00]

fshp: Ты можешь понять или нет, что ты не можешь их сравнивать, потому что это разные языки?

[abcd0x00]

fshp:

Это вы уже пытаетесь притянуть за уши, что c89 является подмножеством

Так он им почти является, потому что всё из C89 включено в C++. Почему почти, потому что C++ включает его полностью, но накладывает свой стандарт, отменяя некоторые вещи. Например приведение к void *. В C это можно, а в C++ - нельзя.

[Максим Мосейчук]

abcd0x00: бляя.. Какой же ты тупой. Об этом речь и идет, что нельзя сравнивать. Синтаксис сильно похож, и у многих складывается впечатленте, что Си это часть C++. Но это не верно. Языки живут своей жизнью и развиваются параллельно. Автор просил привести контрпример. И про древнюю литературу - у Лафоре есть современное издание.

[abcd0x00]

fshp: Он конкретно спросил "почему не является подмножеством? ведь оно же является подмножеством, я же помню" - значит, в виду имеется C89.

Вот он пишет

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

И это правда, все функции поддерживаются, но функции из C89. А в C99 уже появились ещё функции. Вот они не поддерживаются.

А ты ему массив переменной длины в том плане, что C не является подмножеством C++. Он-то справшивает, почему C89 не является подмножеством C++. И мы ему отвечаем.

[abcd0x00]

fshp: Ты думал, он про C спрашивает, а он не про C спрашивает, а про C89, который толи подмножество, толи не подмножество. Это тонкий вопрос, с которым все сталкиваются, и это просто надо знать, что там есть незначительные отличия.

Answer 2

[Ivan Bogachev]

Что характерно, никто даже не вспомнил про различие набора ключевых слов:

int main()
{
    int class = 10;
    return 0;
}

это никак не будет компилироваться как с++, но при этом как чистый си - никаких проблем

Answer 3

[abcd0x00]

int f()
{
    return 1;
}

int main(void)
{
    f(1, 2);
    return 0;
}

Answer 4

[Rou1997]

Любой будет работать. Я переименую файл с .cpp на .c, и будет работать любой.

Answer 5

[jcmvbkbc]

Вот пример с двумя файлами, который компилируется и как С и как С++, но линкуется только как С. Различие между языками в наличии в С tentative definition:
Файл a.c:

int i;

int main()
{
    i = 1;
    return 0;
}

файл b.c:

int i;

int f(void)
{
    i = 1;
    return 0;
}

$ gcc -std=c89 a.c b.c -o a
$ gcc -std=c99 a.c b.c -o a
$ gcc -std=c11 a.c b.c -o a
$ g++ a.c b.c -o a
/tmp/cc8AfU2T.o:(.bss+0x0): multiple definition of `i'
/tmp/ccBOJ29v.o:(.bss+0x0): first defined here
collect2: error: ld returned 1 exit status

Answer 6

[rhaport]

typdef enum
{
  zero,
  one,
  two
} t_numbers;

int main()
{
   t_numbers x;
   x = 2;
}