Проверка нескольких условий одновременно с помощью препроцессора m4

Есть ли какой-либо синтаксис m4, который эквивалентен этому препроцессору C?

#if defined A || defined B
do something
#endif

preprocessor m4
person xor76rox    schedule 15.09.2015    source источник
comment
Конечно, у m4 есть || — проверьте также ifelse и eval — несколько полезных заметок здесь: mbreen.com/m4.html< /а>   -  person Paul R    schedule 15.09.2015
comment
Можете ли вы привести пример? Я пробовал что-то подобное, но это не сработало ifelse(eval(A==1) || eval(B==1),1, echo true, echo false )   -  person xor76rox    schedule 15.09.2015
comment
|| должен быть внутри eval: ifelse(eval(A==1 || B==1), 1, echo true, echo false )   -  person Paul R    schedule 15.09.2015
comment
Спасибо, Пол. Единственная проблема с вашим кодом заключается в том, что необходимо определить и A, и B, иначе вы получите эту ошибку, если, например, определен только A: m4:test.m4:7: bad expression in eval (bad input): 1==1 || B==1   -  person xor76rox    schedule 16.09.2015
comment
Конечно, вы можете добавить несколько дополнительных тестов, чтобы убедиться, что A и B определены первыми, чтобы справиться с этой возможностью, если это необходимо.   -  person Paul R    schedule 16.09.2015

Ответы (1)


arrow_upward
1
arrow_downward

Короткий ответ: нет.

Длинный ответ:

Проверка, определены ли макросы

define(`defined', `ifelse($1()$1, `$1()$1', ``0'', ``1'')')

ifelse(eval(defined(`A') || defined(`B')),
       1,
       ``At least one is defined'',
       ``Neither are defined'')

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

Как это работает

ifelse проверяет равенство двух строк. В макросе defined я дважды расширил макрос в $1 (один раз как $1(), один раз как $1). Я сравниваю его с $1()$1 как строку, поэтому, если он не расширяется, он будет сравниваться с правдой. Причина указания макросов двумя разными способами заключается в том, что A может быть определено как ``A'' или ``A()'', что в противном случае привело бы к ложным отрицательным результатам при использовании этого метода для проверки того, определен ли он.

Затем я использую этот макрос defined в eval, чтобы добавить логику || сверху.

Предостережения

  • Если вы уже используете слово defined в своем документе, вы можете дать макросу другое имя.
  • Макрос defined не будет работать в макросах, определенных для расширения до синтаксических маркеров без кавычек, таких как (, , или ).
  • Если проверяемый макрос бесконечно рекурсивен, проверка defined также никогда не вернется. (По сути, поймите, что подобный хак все еще фактически выполняет макрос.)

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

Лучший способ

Я бы предпочел, чтобы вы сначала определили переменные с некоторым значением по умолчанию и просто избегали проблемы проверки того, определено ли оно или нет.

Это сделать намного проще:

# Define this right off the bat:
define(`A', ``0'')

# Maybe later this line will come up...
# Quotes around the A are mandatory
define(`A', ``1'')

# Then soon after that, you can check:
ifelse(A, `0', , ``hey, A is nonzero!'')
person Score_Under    schedule 01.08.2016