причуды компиляторов. Опции Подписка на тему Сообщить другу Версия для печати Скачать тему Подписка на этот форум Режимы отображения Переключить на: Древовидный Стандартный Переключить на: Линейный

[molchanoviv]

Сегодня на работе во время ожидания окончания очередной антивирусной проверки на просторах интернета наткнулся на такую штуку

#include <iostream>
int main()
{
int i = 5;

i = i++ + 1;

std::cout<< i << std::endl;

return 0;
}

При компиляции этого кода gcc выдает undefined behaviour и в кач-ве результата i=7, а интел хавает все без варнингов и результат i=6
Выводы делаем сами и желательно отписываем сюда.

[kuler]

кто то не соответствует стандарту

[Tonal]

Оба соответствуют.
Это действительно undefined behaviour. Результат может быть любой в зависимости от компилятора и его опций.

[void*]

Я как-то заметил еще одну интересную вещь. Не помню точно, какая версия, но компилятор из VS(cl.exe) не поддерживает динамические массивы такого типа(а они есть в стандарте), в то время как g++ тут не имеет проблем:

//это только кусок кода
int n=1;
std::cin >> n;
int array[n]; //VS здесь выдаст ошибку(не помню точно какую)

[AD]

Я как-то заметил еще одну интересную вещь. Не помню точно, какая версия, но компилятор из VS(cl.exe) не поддерживает динамические массивы такого типа(а они есть в стандарте), в то время как g++ тут не имеет проблем:

//это только кусок кода
int n=1;
std::cin >> n;
int array[n]; //VS здесь выдаст ошибку(не помню точно какую)

Известный факт! Borland на эту штуку тоже ругается! Лучше делать так - код воспримется любым компилятором:

//это только кусок кода
int n=2;
std::cin >> n;
int *array = new int[n]; //VS здесь выдаст ошибку(не помню точно какую)

[void*]

Лучше делать так - код воспримется любым компилятором:

Я то знаю что можно делать так я лишь привел пример плохого придерживания стандартов некоторыми компиляторами

Сообщение отредактировал void* - 26.2.2009, 16:33

[Tonal]

В стандарте динамических массивов нет - это расширение gcc.
Так что тут и микрософт и багланд как раз более соответствуют стандарту.

[Novak]

В стандарте динамических массивов нет

В стандарте динамических массивов пока нет

[Litkevich Yuriy]

это расширение gcc.

вообще у него довольно много расширений, Торвальдс как-то объяснял, что GCC выбран из-за удобных, а порой и необходимых расширений. Поэтому Линух мелкосовтовским компиллером не соберешь.

[void*]

В стандарте динамических массивов нет - это расширение gcc.

Ясно, спасибо буду теперь знать. Просто очень давно сталкивался с этим, вот и подзабыл детали этой проблемы.

П.С. Кстати а может кто-нибудь привести реальные примеры непридерживания стандартов компилятором от Borland (интересно просто)?

[Tonal]

П.С. Кстати а может кто-нибудь привести реальные примеры непридерживания стандартов компилятором от Borland (интересно просто)?

У меня была большая подборка багов для багланда.
Основная масса в поддержке шаблонов и исключений. Не зря половина boost-а багландом не компилится.
Насколько она актуальна сейчас - не в курсе - слез с него уже довольно давно.
Мой любимый:

#include <iostream>

using std::cout;
using std::endl;

struct test_t {
  int val;
  test_t(int val) : val(val) {
    cout<<"test_t::test_t val = "<<val<<endl;
  }
  ~test_t() {
    cout<<"~test_t::test_t val = "<<val<<endl;
  }
};

int main() {
  size_t arg_size = sizeof test_t(666);
  cout<<"sizeof test_t = "<<arg_size<<endl;
  return 0;
}

На bcc 5.6.4 (C++Builder 6 sp4) и раньше вызывается деструктор несозданного объекта...
Причём эта кочующая бага. Я на неё нарывался со статическими объектами и с тернарным оператором.
Как оно сейчас - просто не в курсе.

[Andrew Selivanov]

Субъективное впечатление:
Mingw (3.4.5) не особо любит когда весь код пихают прямо в хидер. И большие инлайны тоже плохо переваривает. А вот темплейты (например из Boost) кушает без вопросов!
Причём похоже что проблема на уровне линкера... и в известных багах этого вроде нет.
А может у меня просто руки кривые

[molchanoviv]

Не в курсе как тройка, а вот 4-ка отлично все переваривает.

[Kagami]

Не в курсе как тройка, а вот 4-ка отлично все переваривает.

Четверка плохо переваривает dll-import от дружественных классов. Это официально признанный баг gcc 4.2.0-4.3.0 под виндоус. Поэтому проекты с Qt порождают кучу предупреждений

[molchanoviv]

Я в основном пользую линукс. В винду загружаюсь очень редко(да и снес бы ее давно если бы мой младший брат не играл в игры)