Архив форумов ЦИТФорума

[castasat]

У меня есть идея-сабж.
Предлагаю в данной теме обсуждать мысли всем заинтересованным.

В языках высокого уровня практически все функции по реализации OOP возлагаются на препроцессор и компилятор (интерпретатор).
Мне же хотелось бы, чтобы реализация была чисто "асмовой" плюс макросы.

Мною был избран masm потому, что под него уже существует подобный проект (авторы - NaN и Exagone), однако, их подход, несмотря на то, что кое-в-чем мне помог, показался мне несколько нестройным.

Далее в сообщениях я постараюсь изложить свои наработки.

[castasat]

В объектно-ориентированном программировании важным понятием является объект.

В простейшем случае, объект - это набор полей (то что можно назвать переменными объекта и его состояниями) и методов или функций-членов объекта.

Схожие объекты можно объединить в класс объектов и описать такой класс на языке программирования, а затем создавать в программе экземпляры класса - объекты, каждый со своими значениями полей, но у одного класса набор полей и методов одинаков.

Итак, самое простое - иметь некоторые переменные и некоторые функции "рядом" и все это считать объектом. Но в masm все имена функций и переменных по сути являются просто метками и должны быть уникальными. Если в разных классах должны быть функции с одним именем, но разной реализацией, мы наступим на грабли. Обойти проблему можно задавая имена функций в виде: ИмяКласса_ИмяМетода.

Но, при таком подходе все функции, по сути, статические, и могут быть вызваны откуда угодно (в пределах файла), да и функция "не знает" к какому объекту она относится. Если ей надо работать с каким-то объектом, ей надо обязательно его указать в качестве аргумента.

[castasat]

Для того, чтобы жестче объединить как-то поля и методы в класс (и задать его имя, которое далее может использоваться как тип данных) можно воспользоваться подходом в той или иной мере реализуемым языками высокого уровня.

Создается структура с именем класса. Структура - это данные, поэтому мы не можем поместить туда методы непосредственно, но можем поместить указатели на методы. Таблица указателей на методы называется таблицей виртуальных методов.

Совокупность методов объекта, через которые с ним могут взаимодействовать другие объекты - это интерфейс объекта.

В саму структуру можно также поместить поля класса (или указатели на них).

После этого всего можно вызывать виртуальные мутоды класса, как
ИмяСтруктурыКласса.ИмяМетода, где ИмяМетода - это указатель на функцию ИмяКласса_ИмяМетода. Статические методы можно вызывать как и раньше непосредственно ИмяКласса_ИмяМетода.

Методы в таблице виртуальные, поскольку всегда можно переопределить функцию, на которую указывает указатель в таблице, правда имя этой функции должно быть отличным, например, ИмяКласса_ИмяФункции_2

Тут уже можно думать о наследовании, как это сделали NaN и Exagone, но все равно не хватает некой гибкости, например, я пока не знаю, как перегружать методы.

[Wladimir]

Идея вовсе не новая. Самая толковая книга, которую читал на эту тему - тов. Зубкова (инициалы не помню) - Язык Ассемблер или что-то в этом роде. Рекомендую посмотреть. Если интересно, могу глянуть название и автора точно.

Со сходной идеей здесь носится некий "критикан" (см. тему Простой вопрос по Си). Думаю, впрочем, что кроме общих фраз ты от него вряд ли что услышишь.

[Wladimir]

Кстати говоря: C++ первоначально были, грубо говоря, дополнительным препроцессором к C (front-end).
И тогда и сейчас на низком уровне любая программа - ассемблер, а все языки высокого уровня - макроассемблеры.
А так это - просто изобретать геморрой себе на голову. Прежде, чем тратить время, задай себе вопрос: а на хрен тебе это нужно? И лучше займись тем, на чём можно заработать деньги - .Net выучи или MFC.

[castasat]

2 Wladimir:

Спасибо за ваш ответ. Зубкова я тоже читал - он очень понятно и с примерами рассказывает о том, как объявлять структуры, инициализировать их и затем обращаться к их элементам. Более полную информацию можно найти, если тщательно изучить msm32help или, кто пользуется tasm - его руководство.

Насчет того зачем это нужно - мне просто очень нравится, когда программы если не написаны, то хотя бы могут быть написаны "изящно". Ассемблер при грамотном использовании - вне конкуренции. С другой стороны, мне также нравятся положительные черты JAVA.

Я вполне понимаю, что мне очень многие будут рекомендовать в таком случае просто использовать C++, но хочется пойти дальше и создать что-то похожее на пакеты вроде java.lang, java.io, java.awt на асме. Так сказать, перевести ассемблер на более высокую ступень.

Занимаюсь всем этим я не за деньги, так как это скорее хобби - моя специальность далека от программирования (я биолог).

[castasat]

Продолжая разговор об ООП на masm, можно предложить создавать файлы-инклуды, в которые помещать "лишнюю" но нужную информацию, например, повторяющиеся части, макросы, константы и т.д.

Для избежания повторного включения файла, используем стандартный подход - определяем в файле уникальную переменную, и проверяем, была ли она определена ранее. Далее пользоваться директивами условного ассемблирования - если уже определена, то не ассемблировать, иначе - наоборот.

Для примера, вот листинг небольшого файла model.inc с комментариями:

[Wladimir]

Кстати, а Кладовскую библиотеку KOL Вы смотрели? (bonanzas.rinet.ru)
У него там каждая функция в двух вариантах: на паскале и ассемблере (фиг его знает, зачем - у великих свои причуды). И тоже как бы ООП-ная.
Возможно, найдёте что-либо интересное.

[castasat]

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

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

Очень интересным показался проект GOODWELL

[Wladimir]

[quote]Чувствуется серьезный подход.[/quote]
Для delьphячьего сообщества он - практически локальный мессия, что неудивительно.
Для сообщества фанатов игры Elite - автор её новосибирского клона.

[quote]Что касается дублирования функций на ассемблере и паскале, могу предположить, что это понадобилось автору для написания более быстрых или более компактных программ. Да и разобраться в тонкостях работы программы тоже помогает.[/quote]
Возможно также сыграло свою роль то, что Delьphi/C++Buider при компиляции могут выдавать промежуточный ассемблерный листинг модуля. :)

P.S. Извиняюсь, что мои посты не по теме ООП-asmа: как Вы понимаете, я скорее сторонник C++.

[castasat]

Привожу листинг файла lib.inc Он содержит записи об импортируемых библиотеках и прототипы некоторых функций, из этих библиотек. Также сюда можно помещать записи о часто используемых константах.

[castasat]

Теперь перейдем к более важным вещам. Будем включать в файл oop.inc различные макросы для реализации той или иной части "объектности" кода.