Электрический гвоздодер

Инлайн-функция с разными определениями

2007-12-20T14:33:38Z

На интересную подставу наткнулся сегодня. Деструктор std::auto_ptr вдруг отказался вызывать правильный деструктор хранимого объекта в давно работающем и не изменявшемся коде. Вот пример кода, который демонстрирует проблему.
Этот код может вывести "Hi!"... а может и не вывести, как повезет.

Объяснение простое: у нас есть 2 определения функции std::auto_ptr<Test>::~auto_ptr, одно в bar.cpp, другое в baz.cpp. Одно из них правильное (в bar.cpp), другое -- нет. Линкер выбирает любое на свой вкус. У меня он всегда выбирает неправильное :). Таким образом, при определенных условиях можно поломать давно работающий код.
Вообще, при уровне варнингов >1, в функции main должен быть C4150: deletion of pointer to incomplete type 'type'; no destructor called. У нас везде 3-й уровень варнингов. Но недавно был добавлен проект, в котором 1-й уровень варнингов (проект, в котором временная тулза, над ним не заморачивались). Он содержит baz.cpp, а код, скомпилированный с 3-м уровнем содержит bar.cpp. Баг, естественно, выпал в bar.cpp, вызвав некоторое недоумение.

Снова о ребрах неориентированного графа

2007-12-12T08:45:41Z

Вот исходники теста к моему предыдущему посту, дополненные несколькими вариантами min/max (как подсказал sim0nsays).

              abs: 3831151504
               if: 7834022892
          min/max: 14262280248
FAST_MIN/FAST_MAX: 5319194224
             CMOV: 9500162756

Результаты теста измеряются в попугаях (тиках процессора).

Идентификаторы ребер неориентированного графа

2007-12-11T14:17:41Z

Задача: сделать ключ, по которому можно будет найти ребро неориентированного графа. Т. е. если вершина графа обозначена целочисленным идентификатором, то ребро такого графа можно обозначить как (a,b), причем (a,b) и (b,a) — это одно и то же ребро.
Хочется сделать так, чтобы не приходилось сортировать идентификаторы вершин a и b перед занесением их в ключ. Иными словами, если ключ у нас, это std::pair<int,int>, то нужно избежать условного перехода при конструировании этой пары. Как оказалось, решение есть: вместо a и b заносим в пару a+b и abs(a-b). Эти два числа однозначно идентифицируют наше ребро (a,b).

Маленький отладочный трюк

2007-12-05T14:57:38Z

Часто бывает, что на момент проявления ошибки установить ее причину уже невозможно: код, который содержит ошибку уже выполнен. Особенно неприятно, когда нет четких steps-to-reproduce и трудно определить, куда и с каким условием поставить точку останова перед ошибочным кодом. В такой момент мечтаешь об отладчике с поддержкой time travel.

Но есть несколько простых способов "шагнуть в прошлое" для бедных:

Set Next Statement в отладчике Visual Studio. Когда поймали проявление ошибки делаем Set Next Statement на код, где ошибка предположительно находится.
Дублирование кода. Тут все просто, вместо
myKewlFunct10n();
пишем
myKewlFunct10n();
myKewlFunct10n();
В первом вызове ошибку ловим, а во втором пошагово отлаживаем код, который к ней приводит.

ICFPC 2007

2007-07-24T11:54:09Z

Хоть сам и не участвовал, но сочувствовал :). Если кто не в курсе, что такое ICFP Contest, смотрите официальный сайт. Вот ссылки на отчеты от участников (постараюсь пополнять):

Alejandro Forero Cuervo (Freaks Unidos) - обсуждение
ЖЖ юзер larubin (7-15)
ЖЖ юзер zelych (?)
Don Stewart (irc-лог) 1, 2, 3, 4
Tapani Utriainen (Begot)
Dmitry Jemerov (ryba) 1, 2
Max Leonov (Rassvet-CMC-MSU)
Тема на rsdn.ru (много команд): 1, 2, 3
? (SzM)
Kazuhiro Inaba (kokorush) 1, 2. Перевод: 1, 2
? (kuma--) 1, 2, 3. Перевод: 1, 2, 3.
shinichiro_h (shinh) 1, 2. Перевод: 1, 2
chrysanthemum (?). Перевод: 1
Kazuki Ohta (PurelyFunctionalInfrastructure). Перевод: 1.
Marco Gallotta (United Coding Team)
nyaasan (Unknown?). Перевод: 1
Александр Бельченко (dou)
himself (efg)
oal (efg)
Chris Ashton (cashto)
Иван Комаров (Dfyz's team)
Chris Bogart (ChrisBogart)
Evan Martin (On Byte Nirvana)
Daniel Ehrenberg (Raptors)
ЖЖ юзер faceted_jacinth (Tibetan Biodiversity Display)
Shurick (SzM)
Paul Berry (The Corn Worf Strategy)

Вера в науке

2007-07-24T07:51:44Z

Не могу я понять, почему академики, выступившие с открытым письмом, могут говорить, что Любая наука оперирует фактами, логикой, доказательствами, но отнюдь не верой. Это очевидная ложь. Мы все знаем, например, что в такой области науки, как геометрия, на веру принимается ее основа, аксиомы. Исходя из определения аксиомы видим, что это научный термин для обозначения вещей в научных теориях, которые принимаются на веру.

Врут господа академики!

О платных аккаунтах dtf.ru

2007-07-23T14:56:10Z

Может быть я чего-то не понимаю, но на мой скромный взгляд введение платных аккаунтов на dtf.ru выглядит несколько преждевременным. Нет тех бонусов, за которые стоило бы платить деньги. Для сравнения могу предложить описание платных аккаунтов на gamedev.net. Как несложно видеть, платный аккаунт на gamedev.net может даже окупиться, чего только стоят скидки на книги и на ionForge Evolution.
Могли бы хоть на участие в КРИ скидки давать, чтоб хоть какой-нибудь ощутимый бонус был. Хотя "малиновые штаны dtf", я думаю, будут атрибутом престижа в индустрии :).

UPDATE: Вижу, что уже начинают становиться :)

О разработке...

2007-06-04T13:43:35Z

- Почему вы пилите тупой пилой, так ведь очень долго и трудно?
- Да некогда точить, пилить надо!

Взято отсюда.

Autoexp.dat

2007-05-31T06:27:41Z

Предназначен всем, кто страдает от невозможности увидеть содержимое stlport'овых std::list, std::map, std::auto_ptr, boost'овых boost::shared_ptr, boost::weak_ptr и т. п. Проверено на STLport 5.1.3 и boost 1.34.0.

Скрипт лежит тут.

Этот текст нужно вставить в секцию [Visualizer] вашего autoexp.dat. Autoexp.dat находится в каталоге МояВизуалСтудия2005\Common7\Packages\Debugger\.

UPDATE: Список поддерживаемых типов:

STLPort:
- std::string / std::wstring
- std::vector
- std::list
- std::map
- std::auto_ptr
- std::pair
- std::list::iterator
- std::map::iterator
boost:
- boost::shared_ptr
- boost::weak_ptr

The Principle Of Too Much Magic

2007-05-31T05:35:06Z

You know you've used too much magic if...

...you are no longer certain what will happen when you start your application
...you have to check the framework docs to find out exactly what the framework will do and what your code should do in return
...someone asks you how all this magic you've built works and you can't answer

...your callstack won't fit in your debug window
...your stack traces won't fit on a single A4
...your application uses all known forms of magic
...you are using a framework inside a framework inside a framework
...you are embedding a scripting language inside metadata tags which are transformed into xml scripts which are loaded through a custom classloader which is provided to you by a framework inside a framework inside a framework
...your xml configuration file looks like a Microsoft Office document
...your xml configuration DTD is the size of the XHTML specification
...your xml configuration schema is not expressible using a DTD
...your collegues call you Neo
...your collegues call you Harry Potter
...your wife calls you Harry Potter
...your servlet requires 400MB of RAM
...you have done dynamic proxying around the reflection library to simplify the access to the runtime metadata library from your scripting language
...you need to use AOP to write your unit tests
...you need to RTFM to write your unit tests
...your collegues cannot read your unit tests
...you cannot read your unit tests
...it is no longer possible to remove the magic from your application
...your code reads and feels like Perl
...your code is written in Perl
...your IDE doesn't know how to color-code your code
...the refactoring tools of your IDE no longer work with your code
...you use multiple AOP libraries
...you use multiple scripting languages
...your documentation is as utterly unreadable as the EJB specification
...sysadmins require certification before they can admin your system
...your local jar repository looks like an Apache-ftp-mirror after running your app loading missing jars automatically
...your generated source code won't compile, because it exceeds the 64 KByte size limit for Java class files
...you have to increase the VM's memory size three times before your application finally starts
...you are using XML DOM's as a datatype instead of a hashmap/collections.
...you are passing XML fragments(or DOM's) between classes and functions instead of java objects.

Взял отсюда.

Похоже, ошибка в VC++ 7.1

2007-02-22T11:23:30Z

Под катом код, который не работает при включенных оптимизациях, предположительно по причине ошибки в компиляторе. Функция fn должна вывести в std::cout значения переданных параметров, но выводит мусор.


#include <typeinfo>
#include <iostream>
#include <boost/bind.hpp>
#include <boost/function.hpp>

template<typename T>
static void fn(int a, float f, char c)
{
    std::cout << "a=" << a << "; f=" << f << "; c=" << c << "\n";
}

int _tmain(int argc, _TCHAR* argv[])
{
    boost::function<void (int,float,char)> fn1 = boost::bind(&fn<char>,_1,_2,_3);
    fn1(123,1.23f,'O');

    return 0;
}

_Winnie C++ Colorizer

Если сделать функцию нешаблонной или нестатической, то все работает. В VC++ 8.0 также все работает. Если убрать boost::bind, то тоже все работает.

Снова о D

2007-02-12T06:47:57Z

FILE *f = fopen("myfile.txt","r");
scope(exit) fclose(f);

Жаль, что такая конструкция была изобретена лишь недавно... и только в языке D.
/me думает, что скоро очень многие плавненько C++ будут подменять на D.

Гусары, молчать!

2007-02-11T05:32:13Z

http://www.gamedev.ru/code/forum/?id=61182

D как название языка программирования

2007-02-08T14:46:14Z

Разве нельзя было придумать что-нибудь более оригинальное, чем D, чтобы при поиске в гугле на тебя не вываливалась тонна не относящегося к предмету поиска хлама?
Информацию по, скажем, Haskell, искать в разы приятнее :).

КРИ '07

2007-01-29T05:56:44Z

КРИ 2007 — отказать.
Ибо попало оно на пост строгий и Праздник Великий.

Оборотни

2007-01-13T10:31:02Z

Оборотней убить нельзя, так как нет серебряной пули. Но можно очень сильно покалечить :). Оставить процентов 10-20 хелса.

Бинарная сериализация в Haskell

2007-01-13T09:31:53Z

Судя по summary на странице http://www.haskell.org/haskellwiki/Hac_2007/GroupPhoto, основной проблемой haskell является бинарный ввод/вывод.

Мышка

2006-11-22T06:23:07Z

Четыре таких мышки я вчера утром поймал на кухне своей квартиры в период с 5:00 до 7:00. На видео под катом находится четвертая мышь, которую после создания видео я умертвил метким ударом своего зимнего ботинка в голову.

В прошлом году, за всю осень поймал всего три. А тут -- редкая "удача" :). Первые три мышки копошились в мусорном ведре, когда я к этому ведру подошел. Четвертая, видимо, на эту сходку опоздала, поэтому была выловлена персонально, 20-тью минутами позже.

В ходе разборок с мышами были использованы: руки - 2 шт., ботинок зимний левый - 1 шт., пакет для мусора, прочный - 3 шт.

Они сделали это! Теперь я верю в Mozilla!

2006-10-16T13:08:13Z

Спустя 3 года (и 16 дней) наконец-то пофиксили самый надоедливый баг Gecko-based продуктов (Firefox, Thunderbird, etc).
https://bugzilla.mozilla.org/show_bug.cgi?id=220900. Шампанское, господа!

Coding Conventions: Make Them Agile

2006-10-02T07:30:19Z

http://www.testdriven.com/modules/mylinks/singlelink.php?cid=7&lid=1203

Про UltraEdit

2006-09-25T05:58:30Z

Снес на ноутбуке UltraEdit после того, как он в UTF-8 режиме между CR и LF умудрился навставлять символов. Почему меня никак не покидает ощущение того, что UltraEdit сделан из того, что не тонет?
PS Уж лучше notepad, он хотя бы исходники не портит!
PPS А еще, он внутренне конвертирует UTF-8 в UTF-16 и не парится при этом с hex mode, отображает тупо по 2 байта на символ.

Test-driven для шейдеров

2006-09-20T13:24:13Z

http://www.tilander.org/aurora/articles/000021.html

ICFPC

2006-07-31T08:45:49Z

Вот, прошло по френдленте описание ICFPC. Оказываются есть такие, безумно интересные контесты. Я не считаю себя функциональщиком, но решением задач контеста я занимался все прошедшие выходные (решил пока, конечно, не все). Даже задумался, а не поучаствовать ли в этом контесте в следующем году?...
via _adept_

Генератор текста по грамматике

2006-07-11T04:31:26Z

http://www.monkeys.com/m4r/

Как убить время

2006-07-10T08:20:33Z

Сочинение на тему "Как с помощью boost убить машинное время" :)
Эксперименты на моем лаптопе показали, что:

Добавление заголовочного файла <boost/variant.hpp> в precompiled header увеличивает время чтения .pch-файла на 5 миллисекунд. Т. е. эту цифру смело добавляем к времени компиляции каждого файла.
Включение <boost/variant.hpp> увеличивает время лукапа символа (такого как, например, size_t), для которого не указано пространство имен, в 5 раз (с 2 до 10 мкс). В случае использования шаблонов из boost, количество лукапов, по моей оценке, начинает зашкаливать за десятки тысяч.