Клеймо на всю жизнь

[abbra]

Не хотите больше быть программистом? Оставьте свой след в истории:
http://blog.8thlight.com/dariusz-pasciak/2012/07/03/dereferencing-null-pointer-without-a-seg-fault.html

После того, как прочитали, заходите под кат и ответьте на вопрос: Скажите, а вас учили, что оператор -> над классами в C++ эквивалентен разыменованию указателя в C?

Что интересно, в стандарте С++ в 5.2.5 (Class member access) в третьем абзаце написано:

If E1 has the type “pointer to class X,” then the expression E1->E2 is converted to the equivalent form (*(E1)).E2; the remainder of 5.2.5 will address only the first option (dot).

Правда, 13.5.6 (Class member access) говорит уже более аккуратно об этом:

An expression x->m is interpreted as (x.operator->())->m for a class object x of type T if T::operator->() exists and if the operator is selected as the best match function by the overload resolution mechanism (13.3)

Comments

[arkanoid.livejournal.com]

holy shit!

[tobotras]

Спасибо :)

[beldmit.livejournal.com]

Я в свое время на похожее поведение уже натыкался.

http://beldmit.livejournal.com/51712.html?nc=6#comments

Оптимизация - страшная вещь.

[b-a-t.livejournal.com]

А не (x.operator->()).m?

[blacklion.livejournal.com]

Хм... Очередная ЕЖУПА. В смысле, то, что можно разыменовывать так NULL до тех пор пока в методе нет обращения (прямого или косвенного) к this я знаю не помню сколько лет...

[poige.livejournal.com]

this будет 0, и всё. IIRC.

[ilya-dogolazky.livejournal.com]

Вот этот тоже хорош http://blog.8thlight.com/kevin-liddle/2012/05/22/be-a-relentless-programmer.html --- он "learned thought patterns", извиняюсь за выражение. Ну в общем не удивительно с такой-то страничкой http://www.8thlight.com/careers

[luarvique.livejournal.com]

Дети, ну чисто дети. И на таком ацком серьезе обьясняют, много буков, коровы, ошейники, все дела...

Ему бы за студентами ошибки в большом проекте поискать - так он бы там и не такое нашел. Правда написать об этом 5 страниц без единого матерного слова не смог бы.

[alexey tourbin (from livejournal.com)]

Вызов невиртуального метода происходит, грубо говоря, по заранее известному адресу, только неявно передается первый аргумент this=NULL. В этом же примере, если "void milk()" заменить на "virtual void milk()", то будет segmentation fault, поскольку вызов метода через VMT пойдет через нулевой указатель. Цитирование стандартов - это немного буквоедство, надо просто представлять, как эта дрянь работает. :-)