Добрый день!
У меня такой вопрос: существует ли в фасме аналог масмовского оператора union? Например, как можно объявить вот такую вещь:

STRUCT somestruct
  UNION 
    var1 dd ?
    var2 dd ?
  ENDS
  var3 dd 0
  var4 dd 0
ENDS

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

union или аналога в FASM нет.
Возможно написать для таких целей макрос, но imho проще делать так:

STRUC somestruct
{
;  UNION 
label    var1 dword
    var2 dd ?
;  ENDS
  var3 dd 0
  var4 dd 0
}

Можно ещё так:

STRUCT	fix struc
ENDS	equ

macro	UNION [arg]
{
	common	local .size
		.size=0
	forward	virtual at 0
			arg
			if .size < $
				.size = $
			end if
		end virtual
	common	rb .size
}

Используем:

STRUCT	somestruct
{
	UNION \
		.var1 dd ?,\
		.var2 dd ?
	ENDS
	.var3 dd 0
	.var4 dd 0
ENDS
}

Monk
Твой пример не отражает специфики объединения, т.к. под обе переменные резервируется одинаковое пространство.

А вот в фасме выкопал некий макрос:

; union macro
macro union _at, [_item, _type]
 {
	common
		virtual at _at
	forward
		_item _type
	common
		end virtual
 }

Это не оно? Что он вобще делает?

Строка:

union first,\
            sec,dd,\
            dal,db
first:

Развернётся в следующие строчки:

first:
 sec dd 0
 dal db 0

В общем макрос в приведённом виде не имеет ничего общего с Объединением. Однако если строки virtual at _at и end virtual поместить внутри forward то вероятно (не проверял) будет создано именно объединение т.е. несколько переменных по одному адресу.

Ещё необходимо выделить места столько, сколько занимает самый большой из аргумантов.
См. мой макрос выше.

ясно. спасибо.