Итак, моё доказательство того, что разыменования нуллптр – это уб. Согласно

Question

Итак, моё доказательство того, что разыменования нуллптр – это уб. Согласно

стандарту, внутри констекспр функции... Нельзя допускать уб. И если ты допустишь уб... Внезапно(!), однако это Должно не скомпилироваться. Тот же выход за границы массива, всё такое, констекспр функциями диагностируется. Если что, могу кинуть ссылку на стандарт, где в констекспр запрещены уб. В общем... Этот код отказывается компилироваться во всех трёх основных компиляторах.
https://godbolt.org/z/n9TcK4
Аплодисменты.
К сожалению, код с вызовом нестатического метода от нуллптр, приведённого к указателю на объект, отказывается кушать только clang... Но мы же доказали, что разыменование nullptr UB, не так ли?

#c #embedded #programming #russian

0

26.09.2020