Наконец-то...

Ответственно заявляю - послезавтра, в пятницу 15-го мая я выхожу на работу. Гип-гип, ура!

@темы: работа

---

13.05.2009 в 12:03

Пишет  Рёцке:

Мыслевслух: математическое

[-∞,∞]
объять необъятное

---

А ведь я со скуки начал изучать теоретические основы электротехники. Крыша ту-ту...

Правда, сегодня я предался разгильдяйству и весь день проходил Might & Magic 6: Mandate of Heaven. Отличная таки вещь.

---

Пыщ и шаблоны

Почему-то начал просыпаться уже даже не в 7:30, как до этого, а аж в 6 утра. =О.о=
Затарился на лето кедами, шортами и футболками. Завтра, наверное, побегаю с утра во дворе соседней школы - не за компом ж сидеть с утра.

Кстати, о компах. Недавно нашла на меня ностальгия и вместо брождения по Москве я сел покодить ту-самую-лабу по ИГС. Да-да, которую я так давно начал писать. Ну и написал процедуру, которая обходит вершины полигона на поверхностной сетке, причем параметризация алгоритма реализована через шаблоны. Метод умеет гулять как в объектном пространстве, так и в пространстве проекций (это побочное следствие получилось ), обрабатывает 4 случая замкнутости поверхности (не замкнутая, замкнута по одной оси, замкнута по второй оси, замкнута по обоим осям), а так же зохавывает выполняемую процедуру, инкапсулированную в класс (в принципе можно было передавать указатель на глобальный метод, но тогда были бы сложности с возвращаемым значением). В качестве параметров метод зохавывает указатель на начало обхода в сетке и структуру с параметрами сетки. Дешево, сердито и кавайно.

Немного кода для интересующихся

// вид пространства, где выполняется обход
enum Space_Type { object, projection };

Обьявляем свойства пространств

// общий шаблон свойств - т.с. значение по-умолчанию
template <Space_Type>
struct Space_Traits;

// указываем структуру координат для объектного пространства и пространства проекций
template <>
struct Space_Traits <object>
{
    typedef Coord3D::Coord_Data CoordT;
};

template <>
struct Space_Traits <projection>
{
    typedef Coord2D::Coord_Data CoordT;
};

Обьявление карты поверхности

template <Space_Type E>
struct VertexMap
{
    typename Space_Traits<E>::CoordT *Vertices;
    unsigned int x;
    unsigned int y;
    VertexMap () : Vertices ( 0 ), x ( 0 ), y ( 0 ) {}
    ~VertexMap ()
    {
        if ( Vertices != 0 )
        {
            delete [] Vertices;
            Vertices = 0;
        }
    }
};

// Вид полигона (в ячейке квадратной сетки сделаны 2 полигона)
enum Polygon_Type { UpperPolygon, LowerPolygon };

// вид замыкания поверхности
enum Closure_Type { Bidirect, Horizontal, Vertical, None };

Основной метод обхода

template <template <Space_Type> class, Space_Type, Polygon_Type, Closure_Type>
struct Surface_Walker;

// для каждого вида полигона указываем свой метод обхода
template <template <Space_Type> class Polygon_Function, Space_Type E, Closure_Type closure>
struct Surface_Walker <Polygon_Function, E, UpperPolygon, closure>
{
    static typename Polygon_Function<E>::ReturnT Build (
        typename Space_Traits<E>::CoordT* vertice,
        VertexMap<E> const & map )
    {
        unsigned int vert_num = vertice - map.Vertices; // vertice number
        __vertice<E> vert ( vertice, vert_num );

        typename Space_Traits<E>::CoordT *vert1, *vert2, *vert3;
        vert1 = vert.ptr;
        vert2 = MoveRight<E, closure> ( vert, map );
        vert3 = MoveDown<E, closure> ( vert, map );

        return Polygon_Function<E>::execute ( vert1, vert2, vert3 );
    }
};

template <template <Space_Type> class Polygon_Function, Space_Type E, Closure_Type closure>
struct Surface_Walker <Polygon_Function, E, LowerPolygon, closure>
{
    static typename Polygon_Function<E>::ReturnT Build (
        typename Space_Traits<E>::CoordT* vertice,
        VertexMap<E> const & map )
    {
        Polygon<E> res;
        unsigned int vert_num = vertice - map.Vertices; // vertice number
        __vertice<E> vert ( vertice, vert_num );

        typename Space_Traits<E>::CoordT *vert1, *vert2, *vert3;
        vert1 = vert.ptr;
        MoveRight<E, closure> ( vert, map );
        vert2 = MoveDown<E, closure> ( vert, map );
        vert3 = MoveLeft<E, closure> ( vert, map );

        return Polygon_Function<E>::execute ( vert1, vert2, vert3 );
    }
};

Вызываемые в обходе функции должны иметь определение возвращаемого типа, а также статический метод execute ( ... )

// метод построения полигона
template <Space_Type E>
struct BuildPolygon
{
    typedef Polygon<E> ReturnT;
    static Polygon<E> execute (
        typename Space_Traits<E>::CoordT* &vertice1,
        typename Space_Traits<E>::CoordT* &vertice2,
        typename Space_Traits<E>::CoordT* &vertice3 )
    {
        return Polygon<E> ( vertice1, vertice2, vertice3 );
    }
};

Если надо, подробнее опишу, как это все работает. Но, думаю, можно разобраться уже и сейчас.

ЗЫ: Хочу велик... я очень хочу велик!..

@музыка: Frank Klepacki - He lives

---

Сегодня забрел в Анашан и теперь я стал обладателем резновой клавиатуры. =О.о= Пока что привыкаю. Думаю, что в дорогу будет весьма удобно брать с собой рулон клавиатуры.

А еще мысль дня: как бы ни было мне плохо - мало кто узнает об этом.

---

Пыщ!

А ведь меня, похоже, берут на работу, ага. Куда - пока не скажу.

---

Классы свойств и стратегий, часть 1.

Частенько во время написания кода возникает необходимость внесения в алгоритм каких-то уточнений для каких-то конкретных случаев или типов. Обычно это делается путем добавления каких-то переменных состояния, перегрузки функций, добавления аргументов в вызовы. Но существует более гибкий способ с т.н. классами свойств и стратегий.

tepmlates again, huh

Рассмотрим на примере: пусть имеется задача вычисления суммы последовательности значений, хранящихся в массиве и у нас имеются 2 указателя - на первый элемент и на элемент, идущий за последним. Естественно, потребуется написать шаблон, применимый для разных типов:

template <typename T>
inline T accum (T const* beg, T const * end)
{
    T total = T (); // для базовых типов равносильно инициализации нулем
    while (beg != end)
        total += *beg++;
    return total;
}

На данном этапе все прекрасно и гламурно и в большинстве случаев даже будет работать. Однако если подсунуть в шаблон указатели на, скажем, char, то уже при небольших размерах массива возможна ошибка переполнения - ведь шаблон возвращает char! Эту проблему можно решить, введя дополнительный параметр шаблона AccT, описывающий тип, который используется переменной total. Но тогда все пользователи должны были бы указывать этот тип при обращении к шаблону, что весьма не кавайно.
Альтернативой к введению параметра является создание связи между типом T и типом, который будет использоваться для хранения результата. Эта связь может рассматриваться в качестве характеристики типа Т и поэтому он иногда называется свойством (trait) T. Эта связь может быть закодирована в виде специализации шаблона:

// объявляем основной шаблон. Реализация не нужна - все будет в специализациях.
template <typename T>
class AccumulationTraits;

template <>
class AccumulationTraits<char>
{
    public:
        typedef int AccT;
};

template <>
class AccumulationTraits<short>
{
    public:
        typedef int AccT;
};

template <>
class AccumulationTraits<int>
{
    public:
        typedef long AccT;
};

template <>
class AccumulationTraits<unsigned int>
{
    public:
        typedef unsigned long AccT;
};

template <>
class AccumulationTraits<float>
{
    public:
        typedef double AccT;
};

// и т.д.

Шаблон AccumulationTraits является шаблоном свойств (traits template), поскольку хранит свойство типа своего параметра. Тогда шаблон accum () примет вид:

template <typename T>
inline typename AccumulationTraits <T>::AccT accum (T const* beg, T const* end)
{
    typedef typename AccumulationTraits <T>::AccT AccT;
    AccT total = AccT (); // для базовых типов равносильно инициализации нулем
    while (beg != end)
        total += *beg++;
    return total;
}

Хотя изменения не особо впечатляют, в шаблон был добавлен механизм настройки алгоритма. Кроме того, если появляются новые типы для accum (), то соответствующий тип AccT может быть связан посредством простого объявления дополнительной явной специализации класса AccumulationTraits.

Вообще кроме информации о типах, имеющей отношение к "главному" типу, с помощью свойств можно передавать еще и константы и прочие классы значений. Для этого достаточно включить в шаблон AccumulationTraits соответствующий метод или значение.

Продолжение таки следует...

В материале использовалась книга Д. Вандервурда и Н. М. Джоссатиса "Шаблоны С++. Справочник разработчика".

UPD: Наконец-то переоформил вставки с кодом.

@темы: программистское, шаблоны

---

Мысля...

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

---

Няяяя! )

---

Dr. Steel сожрал моск и мне. =-.-=

@музыка: Dr. Steel - Build the Robots

---

О.о

Таки перейти сюда чтоли...

---

Программистское

Давненько я не писал ничего на эту тему. Надо бы исправлять.

Templates and static polymorph, ja-ja!

Итак, на этот раз я осмелюсь покуситься на святая святых ООП - на полиморфизм! Начнем с простого - с определения. Как известно любому мало-мальски грамотному в ООП программисту, "полиморфизм представляет собой способность связывать различные специфические виды поведения с помощью единой общей записи". Традиционно полиморфизм реализуется посредством переопределения в классе-наследнике некоторого виртуального метода. В результате, в коде, имеющем сведения только о классе базы, при обращении по указателю к некоторому перегруженному методу происходит разрешение перегрузки по таблице виртуальных методов и выбирается нужная реализация. Ввиду описанного этот механизм стал краеугольным камнем в ООП.

Однако рассмотрим минусы этого подхода:
1) На этапе исполнения при вызове наследованного метода делается обязательное обращение к таблице виртуальных функций. Да, сейчас эта процедура стала много быстрее, однако раньше это был просто кошмар по занимаемому времени.
2) Отсутствие информации о реализации класса-наследника для вызывающего кода порождает невозможность определения на этапе компиляции существования метода. Т.е. всегда есть опасность банального вызова неопределенного в данном классе абстрактного метода и разных радостей вроде Access violation, Abstract error или Pure virtual function call и все это на этапе исполнения!
3) При работе по указателю компилятор всегда делает косвенный вызов. Это значит, что о встраиваемых функциях можно забыть. Не шакув, знаете ли.

Теперь, если посмотреть внимательно на перечисленные минусы, можно заметить, что виной всему наследование (работа с указателями - как следствие) и если от него избавиться, то:
1) Не надо будет обращаться к таблице виртуальных функций. Да и создавать ее, в общем-то.
2) Компилятор сможет проверить правильность обращения, вопрос существования метода станет риторическим.
3) Компилятор сможет генерировать встраиваемые функции там, где это возможно.

Как это достижимо? Нужно только перенести связывание интерфейсов (функций/методов) с этапа выполнения на этап компиляции. А делается это с помощью шаблонов. Рассмотрим на примере кода:
Полиморфизм через наследование (динамический полиморфизм):

// общий абстрактный базовый класс
class GeoObj
{
  public:
    // отрисовка геометрического объекта
    virtual void draw () const = 0;
    // Координаты центра тяжести геометрического объекта
    virtual Coord center_of_gravity () const = 0;
    ...
};

class Circle : public GeoObj
{
  public:
    virtual void draw () const { ... }
    virtual Coord center_of_gravity () const { ... }
};

/* прочие графические объекты */

Вызывающий код:

// отрисовка любого геометрического объекта
void myDraw (GeoObj const& obj)
{
    obj.draw ();
}

// расстояние между центрами тяжести двух объектов
Coord distance (GeoObj const& x1, GeoObj const& x2)
{
    Coord c = x1.center_of_gravity () - x2.center_of_gravity ();
    return c.abs (); // возврат абсолютного значения
}

int main ()
{
    Circle c, c1, c2;
    myDraw (c); // myDraw (GeoObj&) => Circle::draw ()
    distance (c1, c2); // distance (GeoObj&, GeoObj&)
    return 0;
}

Полиморфизм через шаблоны (статический полиморфизм):

// конкретный класс [b]не[/b] порождается из какого-либо класса
class Circle
{
  public:
    void draw () const { ... }
    Coord center_of_gravity () const { ... }
};

/* прочие графические объекты */

Вызывающий код:

 // отрисовка любого геометрического объекта
template <typename GeoObj>
void myDraw (GeoObj const& obj)
{
    obj.draw ();
}

// расстояние между центрами тяжести двух объектов
template <typename GeoObj1, typename GeoObj2>
Coord distance (GeoObj1 const& x1, GeoObj2 const& x2)
{
    Coord c = x1.center_of_gravity () - x2.center_of_gravity ();
    return c.abs (); // возврат абсолютного значения
}

int main ()
{
    Circle c, c1, c2;
    myDraw (c); // myDraw <Circle> (GeoObj&) => Circle::draw ()
    distance (c1, c2); // distance <Circle, Circle> (GeoObj&, GeoObj&)
}

@музыка: тишина

@настроение: утренне-обеденное

@темы: программистское, шаблоны

---

Вчерашневечернее

Интересно, мне это только кажется, или на всех линиях метро в направлении центра остановки обьявляются мужским голосом, а из центра - женским? =О_о=

---

Таки порвало

25.04.2009 в 02:12

Пишет  redflower:

24.04.2009 в 21:24

Пишет  fata~Morgana:

Статья из американского журнала "36 признаков того, что ваш ребенок гот" Я конечно всегда подозревала, что у американцев с мозгом непорядок..
Все на полном серьезе (комменты не мои):
1) Носит черную одежду
2) Делает пирсинг или татуировки
3) Носит пентаграмму или анк (символ древних египтян, используемый ими в сатанинских ритуалах) (древние египятне были сатанистами?!)
4) Носит рок-футболки.
5) Слушает ГОТИЧЕСКИЕ группы, такие как Мэрлин Мэнсон, и прочую антисоциальную музыку. (Пошто юродивого обидели, ХИМ и РАСМУС забыли? =( )
6) «Зависает» с новыми подозрительными друзьями.
7) Не проявляет интереса к церкви, молитвам, спорту. Принмает наркотики.
9) Убивает людей для забавы. (это полный ахтунг, ребят)
10) Гуляет по ночам и пьет кровь. (мило..)
11) Смотрит кабельное телевидение. (это страшнее, чем пить кровь, конечно...)
12) Жалуется на головные боли, скуку, тошноту (а может у него просто рак мозга уже давно, а..?)
13) Стал скрытным.
14) Проводит большую часть времени в одиночестве.
15) Плохо ведет себя в школе.( а кто ведет себя в школе хорошо?)
16) Забывает делать уроки, возможно под влиянием наркотиков или алкоголя.(а может лени…?)
17) Слушает музыку на полной громкости, возможно под влиянием наркотиков или алкоголя.(а может, глухоты..? )
18) Пользуется компьютером или Интернетом. (мы все готы!!!)
19) Читает научную фантастику или приключения. (Конан Дойл – сатанинское чтиво! Марк Твен - тоже! В топку! Даешь жития святых!)
20) Ведет злобные записи в личном дневнике (вы сможете найти его, если обыщете комнату ребенка).
21) У него появляются пароноидальные фантазии (много ГОТОВ обвиняют их родителей в шпионаже за ними). (и это после совета прочитать дневник ребенка)
22) Исследует опасные религии культа типа WICCA, SATANISM, ИНДУИЗМА и БУДДИЗМА. (О_о а это теперь опасные религии?)
23) Использует кровь Христианских младенцев, чтобы надписать pentagrams или другие символы на церквях и школах. (но кабельное все равно хуже...)
24) Спит слишком много или слишком мало.
25) Ест слишком много или слишком мало. (больные булимией и анорексией тоже готы, а вы как думали?)
26) Смотрит порнографию или иным образом проявляет интерес к сексу (О_о назад пути нет - пойду пить кровь христианских младенцев)
27) Является гомосексуалистом, bisexual, или "pansexual". (а вот это близко к истине)
28) Курит (точно гот)
29) Разбрасывает по дому шприцы или другие подозрительные предметы. (прям ходит и разбрасывает… из большой корзинки) XD
30) Если ест ГОТИЧЕСКУЮ еду, типа Макдональдса, шоколада, или овсяных хлопьев.(мощно, да?)
31) Говорит: «Я - ГОТ». (да, вдруг у родителей еще сомнения остались)
32) Носит значок с надписью «Я ГОТ». (это глухонемой вариант)
33) Ходит по подозрительным клубам и местам.
34) Собирает чугунные котлы. (тут я ржал где-то час. Это скорее слесарь-клептоман, а не гот…хотя кто знает, кто знает…)
35) Танцует под музыку. 0_o
36) Ведет себя любым другим странным и пугающим образом. (куда уж странее, чем собирание чугунных котлов)"

да, я всегда подозревала!!!

*ик*

@настроение: =0____о=

---

Интересно, только у меня название "Жидкий vanish интеллект" вызывает дрожь?

---

Да и конец ли...

---

Все имеет свой конец...

---

К моему глубочайшему сожалению, я слишком часто и сильно понимаю других.

---

Corbina

Пока никак не могу привыкнуть к московскому инету. Он слишком быстр =О.о=

[UPD]: А еще я таки настроил Корбиновский инет в своем ОС Debian via L2TP. Кстати, надо б написать в Корбину, чтоб поправили свои мануалы на сайте - pptpd упорно не захочет коннектиться без явно указанной опции noauth.

---

Москва

В понедельник заключил договор на аренду квартиры и сразу же заселился. А вчера - сгонял с Крафтом в Ашан и теперь у меня есть подушки и одеяло. Ну и лампы заменил на энергосберегающие.
Сегодня - провели в квартиру инет. А завтра я еду на собеседование с одними из работодателей, что со мной связались. Надо же, на меня есть спрос...

Подумываю завести отдельный приватный дайр... с закрытым доступом.

@музыка: Флер - Никто не должен придти

@настроение: средне