, имитирующий неопределенное поведение Null Pointer в C

Question

Я пытаюсь имитировать неопределенное поведение неопределенного указателя. Какие изменения должны быть внесены в приведенном ниже коде, чтобы ввести неопределенное поведение неопределенного указателя.

void foo(int * d) 
{ 
    printf("hello\n"); 
} 

int main(void) 
{ 
    int a = 7 ; 
    int *b = malloc(sizeof(int)) ; 
    foo(b) ; 
} 

Answer 1

на основе кода, мы можем имитировать Null Pointer UB, как это,

#include<stdio.h> 
void foo(int * d) 
{ 
    printf("hello, it is %d\n", *d);//dereference d (produces "Segmentation fault" if d is NULL) 
} 

int main(void) 
{ 
    int a = 7 ; 
    int *b = NULL; // simulate failed to malloc(sizeof(int)) 

    foo(&a); // output is "hello, it is 7" 
    foo(b); // will trigger something like "Segmentation fault" 
} 

Как указываемой @Basile Starynkevitch, исключений нет в C, поэтому здесь было бы точнее сказать «NULL pointer UB (Undefined Behavior)» по сравнению с «NULL-указателем исключения».

Answer 2

Вот как разыменования нулевого указателя:

int *b = 0; 
*b = 3; 

Answer 3

разыменовывая NULL указатель (или какой-либо адрес за пределами текущего address space, часто в virtual memory) в C являетсяне в exception, но некоторые undefined behavior (часто segmentation fault). Вам really следует избегать UB.

По определению неопределенного поведения мы не можем объяснить это, не сводясь к очень конкретным деталям реализации (компилятор, время выполнения, оптимизация, ASLR, машинный код, фаза луны, ...).

malloc библиотека функция может (и.) Не работает. Вы всегда должны проверить его, по крайней мере, как:

int *b = malloc(sizeof(int)); 
if (!b) { perror("malloc of int"); exit(EXIT_FAILURE); }; 

Чтобы вызвать отказ malloc (но очень часто первые несколько звонков в malloc все равно получится) можно опустить доступное адресное пространство для вашей программы. В Linux используйте ulimit в родительской оболочке или вызовите setrlimit(2).

Кстати, вы могли бы даже связать с вашим собственным malloc, который всегда неисправный:

// a silly, standard conforming, malloc which always fail: 
    void* malloc(size_t sz) { 
    if (sz == 0) return NULL; 
    errno = ENOMEM; 
    return NULL; 
    } 

Язык программированияC не имеет исключений. C++ (и Ocaml, Java, ....) делает (с catch & throw заявлениями). Поднятие исключения - это нелокальное изменение потока управления. В стандарте C для этой цели вы можете использовать longjmp. В C++ разыменовании nullptr является UB (и не вызывает никакого исключения-указателя, которое не существует в C++).