Używa malloc do niezdefiniowanego zachowania int do C ++ 20

Powiedziano mi, że następujący kod ma niezdefiniowane zachowanie do C ++ 20:

int *p = (int*)malloc(sizeof(int));
*p = 10;

Czy to prawda?

Argumentem było to, że czas życia intobiektu nie jest uruchamiany przed przypisaniem mu wartości ( P0593R6 ). Aby rozwiązać problem, newnależy użyć umieszczenia:

int *p = (int*)malloc(sizeof(int));
new (p) int;
*p = 10;

Czy naprawdę musimy wywoływać domyślny konstruktor, który jest trywialny, aby rozpocząć cykl życia obiektu?

Jednocześnie kod nie ma nieokreślonego zachowania w czystym C.Ale co jeśli przydzielę intkod w C i użyję go w kodzie C ++?

// C source code:
int *alloc_int(void)
{
    int *p = (int*)malloc(sizeof(int));
    *p = 10;
    return p;
}

// C++ source code:
extern "C" int *alloc_int(void);

auto p = alloc_int();
*p = 20;

Czy nadal jest to niezdefiniowane zachowanie?

Czy to prawda?

Tak. Technicznie rzecz biorąc, żadna część:

int *p = (int*)malloc(sizeof(int));

w rzeczywistości tworzy obiekt typu int, więc dereferencja pjest UB, ponieważ nie ma inttam rzeczywistego .

Czy naprawdę musimy wywoływać domyślny konstruktor, który jest trywialny, aby rozpocząć życie obiektu?

Czy musisz postępować zgodnie z modelem obiektowym C ++, aby uniknąć niezdefiniowanego zachowania przed C ++ 20? Tak. Czy jakikolwiek kompilator rzeczywiście spowoduje szkodę, jeśli tego nie zrobisz? Nie, że jestem świadomy.

[…] Czy nadal jest to niezdefiniowane zachowanie?

Tak. Przed C ++ 20 nadal intnigdzie nie utworzyłeś obiektu, więc to jest UB.

Tak, to był UB. Lista sposobów istnienia intpuszki została wyliczona i żadna z nich nie ma zastosowania, chyba że uznasz, że malloc jest bezprzyczynowy.

Powszechnie uważano to za lukę w standardzie, ale jedną o małym znaczeniu, ponieważ optymalizacje wykonane przez kompilatory C ++ wokół tego konkretnego bitu UB nie spowodowały problemów z tym przypadkiem użycia.

Jeśli chodzi o drugie pytanie, C ++ nie narzuca sposobu interakcji C ++ i C. Zatem cała interakcja z C to ... UB, czyli zachowanie niezdefiniowane w standardzie C ++.