static методы от указателя, не указывающего на валидный объект
условно:
A *a = nullptr;
...
a->foo();
в конечном итоге к какому итогу пришли? просто я ссылку на стандарт так и не нашел по этому поводу
Там было про нестатические методы, и это уб
я про статические
а на нестатические ссылка на стандарт есть? если эти нестатические const, например. Или не const, но состояние обьекта внутри не изменяется (ай мин, нет обращения к нестатическим полям и методам)
Я не видел конкретного доказательства, хотя достаточно уже доказательства того, что разыменования нуллпрта – уб. Его я знаю, даже если кто-то не принимает :)
а разыменование точно происходит?
Конечно. Это точно есть в стандарте, что E1->E2 равно (*(E1)).E2
Static методы можно
Не статические нельзя, без всяких "нет обращений"
Почему можно?
Не помню почему
Обсуждают сегодня