Разыменование нулевого указателя - C++

@ForEveR · Регистрация: 24.06.2010

Как вообще по стандарту ведет себя программа после разыменования нулевого указателя? Указано-ли это явно?

Просто сегодня на работе обнаружил код вроде

C++

#include <iostream>
 
#define SOME_DEFINE
 
class NullClass
{
};
 
class SomeClass
{
public:
    SomeClass():t(0)
    {
    }
private:
    int t;
};
 
#ifdef SOME_DEFINE
struct some_struct
{
    typedef NullClass context_type;
    static void some_foo(int t, context_type tp)
    {
        function(t);
    }
    static void function(int t)
    {
    }
};
#else
struct some_struct
{
    typedef SomeClass context_type;
    static void some_foo(int t, context_type tp)
    {
        function(t, tp);
    }
    static void function(int t, context_type tp)
    {
    }
};
#endif
 
class MainClass
{
public:
    typedef some_struct::context_type context_type;
    MainClass(int some_param_, bool some_flg_):
        context(0), some_param(some_param_), some_flg(some_flg_)
        {
        }
    MainClass(context_type context_, int some_param_, bool some_flg_):
        context(&context_), some_param(some_param_), some_flg(some_flg_)
        {
        }
    void some_function()
    {
        some_struct::some_foo(some_param, *context);
    }
private:
    context_type* context;
    int some_param;
    bool some_flg;
};
 
int main()
{
    MainClass mc(0, false);
    mc.some_function();
}

Но там все сложнее и без этих #ifdef и т.п. не обойтись, ибо работа идет с asio. И сервер может работать либо через SSL либо без шифрования... Код кстати рабочий на работе.

Но не суть. Скомпилив на MSVS получил ошибку, что логично. Скомпилировав на gcc получил корректность! result

Как такое может быть вообще?
ЗЫ как следствие такой код ведет себя на gcc тоже прекрасно, а на msvs бросает ошибку
simple code.
Растолкуйте кто знает?

@prazuber · 28.04.2011, 23:59

Undefined behavior? Стандарт не читал, но в MSDN написано именно так.

@ForEveR · 29.04.2011, 00:27 **[ТС]**

PraZuBeR, Похоже да.
В комментариях

Добавлено через 27 минут
Собственно полазил по стандарту.
Пункт 1.9.4

Certain other operations are described in this International Standard as undefined (for example, the effect of dereferencing the null pointer). [Note: this International Standard imposes no requirements on the behavior of programs that contain undefined behavior. ]

@Evg · 29.04.2011, 12:17

А покажи, что заошибку выдаёт MSVS? Я что-то в этом коде не заметил, что ошибку должно давать

Добавлено через 3 минуты
А... тьфу ты, *context

Смысл того, что в gcc нет ошибки - из-за того, что нет реального использования значение *context. На том сайте, котором ты смотришь, gcc запускается с оптимизациями, а потому он неиспользуемое выражение попросту удалил. В MSVS при включении оптимизаций скорее всего будет то же самое

Добавлено через 2 минуты
Вот короткий пример:

C

int main()
{
  int x, *p;
 
  p = (int*)0;
  x = *p;
}

Переменная x нигде не используется, а следовательно "x = *p;" является мёртвым кодом и в режиме с оптимизациями компилятор его удаляет. А без оптимизаций компилятор не удаляет ничего. В итоге без оптиимзаций код ломается, а с оптимизациями проходит:

Код

$ gcc t.c
$ ./a.out
Segmentation fault
$ gcc t.c -O2
$ ./a.out
<ok>

@prazuber 110 / 110 / 3 Регистрация: 29.04.2010 Сообщений: 240
	28.04.2011, 23:59	#2
	Undefined behavior? Стандарт не читал, но в MSDN написано именно так. 1

@ForEveR В астрале 7989 / 4748 / 321 Регистрация: 24.06.2010 Сообщений: 10,547 Завершенные тесты: 3
	29.04.2011, 00:27 [ТС]	#3
	PraZuBeR, Похоже да. В комментариях Добавлено через 27 минут Собственно полазил по стандарту. Пункт 1.9.4 Certain other operations are described in this International Standard as undefined (for example, the effect of dereferencing the null pointer). [Note: this International Standard imposes no requirements on the behavior of programs that contain undefined behavior. ] 0

	29.04.2011, 12:17

Опции темы

С++ для начинающих

Разыменование нулевого указателя - C++