ИнтерфейсыДоброго времени суток, уважаемые подписчики. К сожалению, этот выпуск рассылки я должен начать не с самой приятной темы. Я вынужден признать, что я не способен довести до конца начатый ранее проект, AsmGL, так как для его продолжения требуется гораздо больше времени, чем я могу ему уделить... Поэтому я вынужден закрыть проект и вернуться к главной теме рассылки, программированию в среде Win32. Сегодня главная тема рассылки Интерфейсы (Interfaces). Думаю, почти каждый, кто занимался написанием приложений Windows уже сталкивался с интерфейсами и использовал их в своих приложениях. Но что же это такое, интерфейс? Сразу попрошу программистов C++ и VB воздержаться от ответа, так как нас интересует не логическое объяснение понятия интерфейса, придуманное для упрощения использования интерфейсов в заданном языке программирования, а его физические свойства. Для использования интерфейсов в ассемблере, надо понять, что же представляет из себя это двойное слово, гордо обозванное Interface! Напомню, что логически интерфейс это структура создаваемая для каждого объекта заново и содержащая, помимо данных, так-же и функции работы с этими данными. Причём всё это почти так и на физическом уровне, но не будем забегать вперёд. Начнём с нашего двойного слова, названного интерфейсом. Если отказаться от умных выражений, которыми напиханы таке языки, как C++ и VB, то наше двойное слово ни что иное, как указатель на указатель на таблицу указателей на функции (эти функции обычно называют методами интерфейса), связанные с интерфейсом. Согласен, звучит очень странно, но это совсем не глупость. Зачем нужен указатель на указатель? Ответ на этот вопрос можно получить рассмотрев структуру наоборот. Допустим у нас есть таблица указателей на функции. Самый лёгкий способ передать все адреса программе, это передать адрес таблицы указателей. Но если программа захочет использовать два объекта, использующих те же функции (а стало быть и ту же таблицу указателей на функции), то нужно будет как-нибудь определит, с которым объектом должны работать функции. В этом случае можно, конечно, использовать идентификаторы (handle, например, тоже идентификатор), но тогда возможна передача идентификатора несуществующего объекта и программа должна заботится, чтоб идентификаторы использовали лишь свою таблицу функций и т.п. Так мы теряем больше производительности, чем получаем, а это нам не нужно. Тогда появляется следующий выход, мы записываем адрес таблицы указателей в произвольное двойное слово и передаём программе не адрес таблицы указателей, а уникальный адрес двойного слова, значение которого является указателем на таблицу указателей. Так, если нам нужно создать два объекта, мы помещаем в два разных двойных слова (их адрес, естественно, разный) и передаём адреса этих двойных слов программе. Следующий рисунок изображает используемые двойные слова (Прямоугольники символизируют двойные слова, имена двойных слов записаны над прямоугольниками, а значения двойных слов - в прямоугольники):  Вначале, обычно рассматривается интерфейс IUnknown, так как считается, что все интерфейсы происходят от него. Что это значит для нас? То что первые три метода (здесь и далее метод = функция из таблицы указателей интерфейса) всех интерфейсов одинаковы (они совсем не должны быть одними и теми-же функциями, но должны выполнять заранее заданные задачи). IUnknown имеет три метода (первые три метода любого интерфейса должны быть этими тремя методами):
Для нас особенно важен метод 3, Release, так как вызов именно этого метода приводит к уничтожению нашего интерфейса (здесь и далее я буду называть "нашим интерфейсом" получаемый программой уникальный указатель, а не всю вышеописанную систему). Но как же вызвать метод? Физически вызов метода и вызов функции не имеют никаких различий, единственной сложностью при вызове метода является определение адреса функции метода. Для этого мы должны получить указатель на таблицу указателей из нашего интерфейса, и вызвать функцию, чей адрес записан в таблице. Так как адреса функций занимают 4 байта и записаны подряд, то смещение первого метода от начала таблицы будет равно нулю, второго - 4, третьего - 8, N-ного - (N-1)*4. Один очень важный момент это то, что нулевым параметром нужно передавать наш интерфейс. Так чтоб вызвать метод 3 интерфейса IUnknown нужно сделать следующее:
Как вы видите вызов метода на самом деле не представляет ничего сложного. Хочу заметить, что многие вещи я упростил, о многих вещах просто не упомянул, многое описал своими словами, так как я хотел в простой и доступной форме рассказать об использовании интерфейсов в ассемблере, а не написать точное и полное описание работы интерфейсов. На сегодня это всё. В следующем уроке мы рассмотрим практическое использование интерфейсов IMalloc и IShellLink. Если есть какие вопросы, пишите. Пишите на Dark_Lord@RusFAQ.ru. Предыдущие выпуски можно найти на сайте рассылки |