Is using malloc for int undefined behavior until C++20
Solution 1:
Is it true?
Yes. Technically speaking, no part of:
int *p = (int*)malloc(sizeof(int));
actually creates an object of type int
, so dereferencing p
is UB since there is no actual int
there.
Do we really have to call default constructor that is trivial to start the life time of the object?
Do you have to per the C++ object model to avoid undefined behavior pre-C++20? Yes. Will any compiler actually cause harm by you not doing this? Not that I'm aware of.
[...] Is it still undefined behavior?
Yes. Pre-C++20, you still didn't actually create an int
object anywhere so this is UB.
Solution 2:
Yes, it was UB. The list of ways an int
can exist was enumerated, and none applies there, unless you hold that malloc is acausal.
It was widely considered a flaw in the standard, but one of low importance, because the optimizations done by C++ compilers around that particular bit of UB didn't cause problems with that use case.
As for the 2nd question, C++ does not mandate how C++ and C interact. So all interaction with C is ... UB, aka behaviour undefined by the C++ standard.