Блог

Я пытаюсь создать логическую систему, использующую макросы defines для реализации моего регистратора, которая превратится в ничто, когда будут определены определенные переключатели. Проблема в том, что когда я складываю несколько таких переключателей, вложенных один в другой (например, при вызове макроса, подобного функции IF_SWITCH_1), я получаю множество ошибок, перечисленных в блоке кода. Что вызывает эти ошибки? Как я мог их исправить?

     //Creation of the switches
    #define _ADD_PARTS2(part1, part2, ...) part1 ## part2 (__VA_ARGS__)
    #define _ADD_PARTS(part1, part2, ...) _ADD_PARTS2(part1, part2, __VA_ARGS__)
    #define _LOGIC_SWITCH_(name, cond, ...) _ADD_PARTS(name, cond, __VA_ARGS__)
    
    //Toggles
    #define CONDITION_1 true
    #define CONDITION_2 true
    
    //Switches
    #define IF_SWITCH_2_true(a, b, c) std::cout << "Passed" << std::endl
    #define IF_SWITCH_2_false(...)
    
    #define IF_SWITCH_2(a, b, c) _LOGIC_SWITCH_(IF_SWITCH_2_, CONDITION_1, a, b, c)
    
    #define IF_SWITCH_1_true(a, b, c) IF_SWITCH_2(a, b, c)
    #define IF_SWITCH_1_false(...)
    
    #define IF_SWITCH_1(a, b, c) _LOGIC_SWITCH_(IF_SWITCH_1_, CONDITION_1, a, b, c)
    
    //Use
    IF_SWITCH_2(1, 1, 1); //Compiles and passes
    IF_SWITCH_1(1, 1, 1); //"IF_SWITCH_2" was not declared in this scope; 
    //_LOGIC_SWITCH_ was not declared in this scope; 
    //Use of undeclared indentifier IF_SWITCH_2_
    
    //Switching on and off
    #undef CONDITION_2 
    #define CONDITION_2 false //Any invocation from this point on wont pass past the logic switch
    IF_SWITCH_2(1, 1, 1); //Wont pass
  

Насколько я знаю, изменение порядка определений не повлияло на ошибки.

Скомпилирован с 64-разрядной версией MinGW 8.10

Что вызывает эти ошибки?

Расширения выполняются примерно один раз. Как только макрос развернут, он не будет развернут снова, также при вызовах вложенного макроса. В любом случае цепочка:

 IF_SWITCH_1(1, 1, 1)
_LOGIC_SWITCH_(IF_SWITCH_1_, CONDITION_1, 1, 1, 1)  // step 2
_ADD_PARTS(IF_SWITCH_1_, true, 1, 1, 1)
_ADD_PARTS2(IF_SWITCH_1_, true, 1, 1, 1)
IF_SWITCH_1_true(1, 1, 1)
IF_SWITCH_2(1, 1, 1)
_LOGIC_SWITCH_(IF_SWITCH_2_, CONDITION_1, 1, 1, 1)  
// _LOGIC_SWITCH_ was expanded at step #2
_LOGIC_SWITCH_(IF_SWITCH_2_, true, 1, 1, 1)  
// expanding stops here
  

Как я мог их исправить?

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

Если вы хотите выполнить оценку во время выполнения, я предлагаю для:

 static inline void if_switch_2_execute(int a, int b, int c) {
    std::cout << "passed" << std::endl;
}
#define IF_SWITCH_2(a, b, c)  (CONDITION_2?if_switch_2_execute(a, b, c):(void)0)
#define IF_SWITCH_1(a, b, c)  (CONDITION_1?IF_SWITCH_2(a, b, c):(void)0)
  

В любом случае, исправление заключается в перемещении вычисления _LOGIC_SWITCH_ из вложенного вызова внутри _LOGIC_SWITCH_ на верхний уровень, так что _LOGIC_SWITCH_ оно расширяется только один раз в пределах одной цепочки вычислений (я не знаю, как это объяснить, вот как я это понимаю … : / ). Вот почему это обычно делается #define MACRO(something) CHOOSE_FUNCTION_TO_CALL(__VA_ARGS__)(__VA_ARGS__) .

 #define CONDITION_1 true
#define CONDITION_2 true

#define CONCAT(a, b) a##b
#define XCONCAT(a, b) CONCAT(a, b)   // this is your _LOGIC_SWITCH_

#define IF_SWITCH_2_true(a, b, c)  std::cout << "Passed" << std::endl
#define IF_SWITCH_2_false(...)
#define IF_SWITCH_2(a, b, c) XCONCAT(IF_SWITCH_2_, CONDITION_2)(a, b, c)

#define IF_SWITCH_1_true(a, b, c) IF_SWITCH_2(a, b, c)
#define IF_SWITCH_1_false(...)
#define IF_SWITCH_1(a, b, c)  XCONCAT(IF_SWITCH_1_, CONDITION_1)(a, b, c)