Говнокод #16652 — C++ — Говнокод.ру

C++ / Говнокод #16652

+57
1. 1
```
if (!this) return;
```
Запостил: Actine, 05 Сентября 2014

Tweet
Комментарии (25) RSS
- inkanus-gray 05.09.2014 23:40 # +1
  
  А вдруг это защита от тех, кто попытается метод класса вызвать как обычную функцию?
  Ответить
  - Soul_re@ver 05.09.2014 23:51 # +4
    
    Скорее защита (негарантированная) от вызова по нулевому указателю: http://ideone.com/ULGhTK
    Ответить
    - bormand 06.09.2014 07:39 # +1
      
      Для невиртуальных методов она вполне гарантированная.
      Ответить
      
      Soul_re@ver 06.09.2014 08:24 # 0
      
      А как насчёт оптимизаций, которые вполне могут решить что нулевым this быть не может и убрать соответствующие ветвления?
      
      http://blogs.msdn.com/b/oldnewthing/archive/2014/06/27/10537746.aspx
      Ответить
      
      bormand 06.09.2014 09:45 # 0
      
      Дык разадресации до этого if'а нет. foo->bar(a, b) по идее не считается т.к. просто вызывает mangled_bar(foo, a, b).
      Ответить
      
      Soul_re@ver 06.09.2014 15:40 # 0
      
      Метод не может быть вызван так чтобы в this оказался 0 и не породить UB при этом (по стандарту вызом метода по невалидному указателю UB вне зависимости от того что этот метод использует). Компилятор справедливо решает что программист не идиот и UB не допустит и оптимизирует код на основании этого вывода. Если UB всё же наступает компилятор прикрывается Стандартом, по которому ему разрешено всё в этом случае. По моей ссылке подобные оптимизации разбираются. Также там есть ссылка на блог разработчиков шланга, которые тоже описывают подобное.
      Ответить
      
      someone 06.09.2014 10:00 # 0
      
      Разве вызов метода класса по нулевому указателю - не UB? Любого метода?
      Ответить
      
      bormand 06.09.2014 10:55 # 0
      
      Вроде бы UB, равно как и вызов по любому другому указателю, не указывающему на объект правильного типа. Но в стандарте что-то не могу найти строчку.
      Ответить
      
      absolut 06.09.2014 11:01 # +3
      
      5.2.5/2
      ... The expression E1->E2 is converted to the equivalent form (*(E1)).E2;...
      т.е. разыменование нуля - UB
      Ответить
      
      TarasB 06.09.2014 11:53 # +4
      
      это для полей, а не методов
      что там для метода разыменовывать?
      Ответить
      
      absolut 06.09.2014 12:12 # +3
      
      а метод что уже не член? читай дальше, п.4 например:
      ... If E2 is a (possibly overloaded) member function...
      Ответить
      
      TarasB 06.09.2014 12:36 # +2
      
      метод это не член, он (и данные, на него указывающие) не хранится в экземпляре
      если только он не виртуальный
      Ответить
      
      bormand 06.09.2014 12:41 # 0
      
      Виртуальный, тащемта, тоже не хранится в экземпляре. Он же по реализации ничем не отличается от обычного. Только вызывается по другой схеме.
      Ответить
      
      TarasB 06.09.2014 12:45 # 0
      
      Бля, я для кого в скобках примечание сделал? Я думал, я себя защитил от буквоедов. Но от слепых буквоедов защиты нет.
      Ответить
      
      absolut 06.09.2014 13:05 # +3
      
      Ты мыслишь с точки зрения возможной реализации, а я тебе про Стандарт говорю.
      Ответить
      
      3.14159265 06.09.2014 15:49 # 0
      
      Тарас вроде ясно сказал что метод, то есть управляющий данными код, - non penis canina.
      Ответить
      
      3.14159265 06.09.2014 15:59 # −1
      
      Ох ты ж крестопиздоблядский Сиплюструп. Оказывается в крестах вовсе нет методов! Только то что называется member function.
      Плюс эта функция может быть статичной, а может и не быть.
      
      If E2 is a (possibly overloaded) member function, function overload resolution (13.3) is used to determine whether E1.E2 refers to a static or a non-static member function.
      If it refers to a static member function and the type of E2 is “function of parameter-type-list returning T”, then E1.E2 is an lvalue; the expression designates the static member function. The type of E1.E2 is the same type as that of E2, namely “function of parameter-type-list returning T”.
      Otherwise, if E1.E2 refers to a non-static member function and the type of E2 is “function of parameter-type-list cv ref-qualifieropt returning T”, then E1.E2 is a prvalue. The expression designates a non-static member function. The expression can be used only as the left-hand operand of a member function call (9.3). [ Note: Any redundant set of parentheses surrounding the expression is ignored (5.1). — end note ] The type of E1.E2 is “function of parameter-type-list cv returning T”.
      Экая гомосятина ваши кресты. С ума можно сойти.
      Ответить
      
      TarasB 06.09.2014 18:54 # +1
      
      Невозможно реализация, в которой объект не хранит данные, прямо или косвенно указывающие на то, как вызывать нужный виртуальный метод. Иначе получится компутер-телепат.
      Ответить
    - kegdan 06.09.2014 10:31 # 0
      
      прям паттерн Special Case без наследования
      Ответить
- Xom94ok 06.09.2014 09:19 # +3
  
  [:\\||//:] - gk #11357
  Отлично помню, какое это произвело на меня впечатление. Будто глаза открылись на C++.
  Ответить
  - 3.14159265 06.09.2014 15:41 # 0
    
    А мне http://govnokod.ru/11251 вспомнился.
    Там всего 4 буквы. А мог ведь срач и на 100+ постов разгореться при нужной фазе луны и достаточном числе желающих поспорить.
    
    Кстати та крестоконструкция и сейчас меня приводит в некий ступор.
    Ответить
    - Xom94ok 06.09.2014 16:19 # +2
      
      О, а я сам делал так же, как в том треде:
      //very_big_struct s; // before very_big_struct & s = *new very_big_struct; // after
      Структура выделялась на стеке и жила весь жизненный цикл программы, а стека было очень мало - 32 килобайта, что ли? Сигсегв, короче, в некоторых местах вылезал.
      А таким образом оказалось проще всего поправить все места, где есть обращения к структуре; точнее, не поправлять их вообще.
      Ответить
    - TarasB 06.09.2014 18:58 # +1
      
      Да хули: http://govnokod.ru/14093
      Ответить
    - inkanus-gray 09.09.2014 19:29 # 0
      
      А мне ещё вот этот понравился: http://govnokod.ru/13410
      
      Особенно код Борманда.
      Ответить
- Psionic 09.09.2014 17:43 # 0
  
  Хотфикс NULL pointer exception. Вообще на валидность проверять до вызова надо, хотя по моему это вообще потребность что не должна возникать.
  Пэ.Сэ. Особо нежный ароматъ сему говну придастъ если функцъия азъ виртуальна будетъ.
  Ответить
Добавить комментарий
Ошибка компиляции комментария:

Гости могут высказаться только во вторник, пятницу или субботу
Помни, guest, за тобой могут следить!

А не использовать ли нам bbcode?

[b]жирный[/b] — жирный

[i]курсив[/i] — курсив

[u]подчеркнутый[/u] — подчеркнутый

[s]перечеркнутый[/s] — перечеркнутый

[blink]мигающий[/blink] — мигающий

[color=red]цвет[/color] — цвет (подробнее)

[size=20]размер[/size] — размер (подробнее)

[code=<language>]some code[/code] (подробнее)

Проверочный код: *

Говнокод: по колено в коде.

C++ / Говнокод #16652

Комментарии (25) RSS

Добавить комментарий