Помогите разобраться с описанием структур

[Bukvoed]

Вопрос вызван изучением файла kern.inc из книги Пирогова "Ассемблер для Windows" (3-е изд). В этом файле при описании шаблонов структур в полях вместо значения инициализации или знака ? стоят символьные имена, которые до того нигде не были у него определены. Например, в приведенном ниже тексте  IO_TYPE_DEVICE нигде неописано.
Трансляции данного текста MASM'ом (ml/c /coff cons.asm)  , без создания файла листинга проходит нормально. При попытке транслировать с генерацией листинга (ml/c /coff /Fl cons.asm) выдается ошибка error A20006 - неизвестный символ IO_TYPE_DEVICE.
При трансляции TASM'ом (tasm32/ml cons.asm) в любом случае (создается файл листинга или нет) выдается ошибка о недопустимой опережающей ссылке.

Вопрос заключается в следующем - почему без генерации файла листинга MASM  не замечает, что используемое символьное имя нигде до того не определено?

Вроде как в книгах по Ассемблеру (Юров, Зубков) при описании директив резервирования и инициализации памяти (db, dw и т.д.) говорится, что в правой части может стоять либо значение инициализации, либо знак '?' (просто резервируется память), либо может стоять символьное имя, но оно должно где-то быть определено в программе.

.586P
.MODEL FLAT, stdcall
EXTERN ExitProcess@4: near
includelib D:\MASM32\LIB\user32.lib
includelib D:\MASM32\LIB\kernel32.lib

_DATA SEGMENT
pvoid typedef ptr

my_struc    STRUCT
    fwType word IO_TYPE_DEVICE
    a pvoid ?
    b dw 0
my_struc ENDS

my_struc1 my_struc <?>
   
_DATA ENDS

_TEXT    SEGMENT
Start:
    mov eax, 0ffffeeeeh
    mov ebx, 0ddddcccch
    mov my_struc1.fwType,bx

    mov my_struc1.b, ax
    mov my_struc1.a, eax
   
    push 0
    call ExitProcess@4
_TEXT ENDS
END Start

[RXL]

Гугль говорит, что тебе нужен ntddk.inc.

[Bukvoed]

Вопрос заключался немного не в этом. Я понимаю, что Пирогов свой файл kern.inc создавал  на основе ntddk.inc или ему подобных. хотелось бы разобраться с синтаксисом определений данных в этих файлах. Т.е.  в приведенном мной тексте программы смущает строчка: 
        fwType word IO_TYPE_DEVICE
IO_TYPE_DEVICE -  это имя в программе нигде не определено, другие файлы *.inc нигде не подключаются, в то же время MASM без генерации файла листинга спокойно транслирует этот файл.
Почему? Вроде бы должен выдать ошибку, что не определено символьное имя (что кстати и делает, но только в том случае если попросить сгенерировать файл листинга)

[baldr]

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

[RXL]

Bukvoed, попробуй сгенерить карту символов. С masm не работал - только с tasm - параметры подсказать не смогу.

[Bukvoed]

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

В том-то и дело что и линкер дальше не ругается не  (link/SUBSYSTEM:CONSOLE cons.obj). Создается нормальный *.exe файл.

[Bukvoed]

Bukvoed, попробуй сгенерить карту символов. С masm не работал - только с tasm - параметры подсказать не смогу.

Полробовал создать (ml/c /coff /Fm cons.asm). В результате - исходник оттранслировался в *.obj и создался файл *.lst (в котором как я понимаю Microsoft совместила и файл листинга (*.lst в TASM) и файл карты (*.map)).
Но в этом файле (*.lst созданным MASM'ом) указано что имеется ошибка error A2006 - неизвестный символ.
Ничего не понимаю, если ошибка то как он может сгенерить *.obj.

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

[RXL]

Возможно есть параметр для вывода больше количества ошибок.

Собственно, программа то все равно не соберется.

[Bukvoed]

Возможно есть параметр для вывода больше количества ошибок.

Собственно, программа то все равно не соберется.

Что значит не соберется?
Еще раз - после того как создан *.obj (несмотря на упоминавшуюся в *.lst ошибку), компоновщик из этого *.obj генерит *.exe не выдавая никаких собщений об ошибках 

[RXL]

Забавно. Интересно, какое значение подставляется...

[Bukvoed]

Ну судя по отладчику OllyDbg в это поле структуры (my_struc1.fwType) изначально подставляется 0. И что это дает?

[RXL]

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

[Bukvoed]

Ура! Разобрался. Что называется глаз замылился (:
Написав в тексте my_struc1 my_struc <?> перекрыл поле (если так можно применительно к ассемблеру выражаться) fwType с неизвестным символьным именем из шаблона.
Но в этом случае возникает риторический вопрос зачем мелкомягкие дали возможность в шаблоне структур в качестве значения инициализации писать что ни поподя, надеясь на их дальнейшее перекрытие. Какое преимущество можно из этого извлечь? 

[Bukvoed]

У меня по описанию структуры был еще один вопрос. Как я понимаю директива typedef вводит просто синоним для какого-либо оператора или директивы.
Т.е. после записи
   pvoid typedef ptr
 pvoid должен соответствовать оператору ptr.
 А запись в программе a pvoid ? вроде как должна соответсвовать записи
a ptr ?, что с точки зрения синтаксиса ассемблера неверно. Т.е. если подставить прямо такую запись будет получено сообщение об ошибке. В то же время если подставить псевдоним pvoid, то программа транслируется. Почему так происходит?

[RXL]

Bukvoed, прочти свой пост и попробуй понять, что в нем написано.

[Bukvoed]

Давай попробую переформулировать.

Первый вариант:
my_struc    STRUCT
    fwType word IO_TYPE_DEVICE
    a ptr ? - здесь получаю сообщение об ошибке
    b dw 0
my_struc ENDS

Второй вариант
pvoid typedef ptr
my_struc    STRUCT
    fwType word IO_TYPE_DEVICE
    a pvoid ? - трансляции проходит нормально
    b dw 0
my_struc ENDS

 Вроде бы во втором варианте просто через typedef определили синоним для ptr.
 Почему тогда в случае второго варианта трансляции происходит нормально?

[RXL]

Bukvoed, попробуй просто:

a dw ?

ptr - это ключевое слово для разрешения синтаксических конфликтов в довольно корявом masm-формате. Намного более логичный и однозначный синтаксис ideal. Tasm его поддерживает, а насчет masm - не знаю.
Нужно это слово для разрешения таких вот конструкций:

Код:

mov eax, varname
mov eax, dword ptr varname

Хотя было бы логичнее соответсвенно:

Код:

mov eax, [varname]
mov eax, varname

[Bukvoed]

Ну эквивалент
 a pvoid ?
будет не
 a dw ?
а
 a dd ?
MASM разумеется режим IDEAL не поддерживает. Но вопрос был вызван изучением все того же файла kern.inc из книги Пирогова. В этом файле вводятся новые типы через директиву typedef, в том числе и pvoid typedef ptr. Насколько я помню синтаксис оператора ptr, то слева от него может находится только одно из следующих значений (тип данных к которому он приводит) - byte, word, dword, qword, tbyte, near, far. Так что запись
     mov eax, ptr varname
не корректна с точки зрения синтаксиса. Правильней
     mov eax, dword ptr varname
Точно также некорректна запись
       a ptr ?
О чем любезно и сообщается во время траснялции программы
В то же время когда используется псевдоним pvoid введенный через директиву typedef:
       a pvoid ?
трансляции проходит нормально. Хотя вроде бы должен выдать ошибку при трансляции (по крайней мере на мой взгляд). Почему так происходит?
     

[RXL]

Bukvoed, да, с dw я опечатался.

Посуди сам: с точки зрения процессора, mov - это операция, а dd - ничто - это конструкция языка, не имеющая аналога в исполняемом коде. Если

Код:

mov eax, varname

означает - считать dd по адресу varname и записать в eax, то

Код:

a dd varname

может значить только - поместить при компиляции в данное место значение символа varname.
Кстати, мы забыли - просто ptr не используется - нужно еще одно пояснительное слово:

Код:

varname dd ?
a dd offset varname

mov eax, varname
mov eax, dword ptr varname

Жуткий синтаксис...  

Забывать стал по маленьку...

[Bukvoed]

Что-то я торможу (:. Со всеми твоими рассуждениями в предыдущем посте согласен. Но какое они имеют отношение к заданному вопросу. Давай по шагам. Правильна ли с точки зрения синтаксиса языка следующая конструкция помещенная в сегменте данных:
 a ptr ? ; переменная a до того нигде не определялась
 

[RXL]

Bukvoed, я о том, что в объявлении данных ptr не нужен.
Или это какой-то нестандартный тип у masm?

[Bukvoed]

Я бы тоже объявлял данные через директивы резервирования и инциализации (db, dw, dd и т.д.). Мой вопрос вызван просто желанием разобраться с определениями данных в файле kern.inc из книги Пирогова. В котором эти данные он исхитряется определить через оператор ptr. Хотелось бы понять логику определения, так как, наверняка, таким же образом даются определения данных и в файле ntddk.inc (и им подобных). Возвращаюсь к своему вопросу, следующее определение переменной в сегменте:
 a ptr ? с моей точки зрения (и транслятора)выглядит неверным.
В то же время, когда мы вводим следующий тип данных через директиву typedef
pvoid  typedef ptr
то запись
 a pvoid ?становится верной
Почему a pvoid ? преобразуется сейчас в a dd ? , а не в a ptr ?
Вот этого я не понимаю
   

[Алексей++]

Bukvoed, наверное,

a pvoid ?

==

a ptr ?



будет означать резервирование места под указатель - 4 байта на 32битной платформе

[Bukvoed]

Bukvoed, наверное,

a pvoid ?

==

a ptr ?



будет означать резервирование места под указатель - 4 байта на 32битной платформе

Судя по результатам трансляции так оно и есть. Но хотелось бы понять логику работы транслятора. Т.е. почему все-таки он конструирует директиву вида:
          a dd ?
Хотя вроде бы должен был создать конструкцию:
           a ptr ?
Или я неправильно представляю как работает директивы typedef. Кто-нибудь знает как работает директива typedef ?

[RXL]

Bukvoed, думаю, что тебе нужна другая литература по этому делу, где будет детально описан сам masm.

[Bukvoed]

Можешь посоветовать какие конкретно книги по masm'у можно почитать?

[RXL]

http://rutracker.org/forum/search.php
http://www.google.ru/search?source=ig&hl=ru&rlz=&=&q=%D0%BA%D0%BD%D0%B8%D0%B3%D0%B8+masm&btnG=%D0%9F%D0%BE%D0%B8%D1%81%D0%BA+%D0%B2+Google&meta=lr%3D&aq=f&oq=

http://www.google.com/search?client=opera&rls=ru&q=masm+programmers+guide&sourceid=opera&ie=utf-8&oe=utf-8

[Bukvoed]

Ладно, будем искать дальше