Статические переменные внутри макросов

Question

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

TESTING("hello"); 
TESTING("world"); 

1. Препроцессор просто заменяет идентификатор с блоком кода, это то же самое, как копировать/вставить код, поэтому не должен компилятор дать ошибку переопределения для FirstPass, при использовании этого макроса много раз? (Если вы вручную вставить в main, static bool firstPass = true; несколько раз, компилятор выдаст сообщение об ошибке.)

2. Если firstPass является static, он создается и инициализируется только один раз. Таким образом, использование этого макроса несколько раз не должно давать никаких результатов (кроме первого использования), поскольку флаг был установлен в false, но он все равно делает cout каждый раз.

Немного смущенный.

#define TESTING(input)       \ 
{            \ 
    static bool firstPass = true;     \ 
    if (firstPass) {        \ 
    std::cout << input;       \ 
    firstPass = false;       \ 
    }            \ 
} 

Answer 1

Этот макрос не может работать должным образом. Ключ к тому, почему компилятор разрешает это { }, окружающий static bool firstPass. Это создает новую область, которая позволяет новой переменной скрыть любую другую переменную этим именем. Когда эта область заканчивается, статичность больше не видна.

Из-за новых областей, это законно:

void f() 
{ 
    int i = 0; 
    { 
     int i = 1; 
     { 
      int i = 2; 
     } 
    } 
} 

Это будет работать так, как это было задумано, перемещая FirstPass из макроса.

static bool firstPass = true; 
#define TESTING(input)       \ 
{            \ 
    if (firstPass) {        \ 
    std::cout << input;       \ 
    firstPass = false;       \ 
    }            \ 
} 

ETA: Или, может быть, это действительно работает, как предполагалось. Когда статический bool внутри макроса, каждый сайт вызова будет печатать свой вывод ровно один раз, потому что каждый сайт вызова имеет свой собственный экземпляр флага firstPass. При статическом bool вне макроса только первый доступный сайт вызова будет сообщать о его выходе и только в первый раз, когда он будет достигнут.

Так со статической BOOL внутри макроса,

f() 
{ 
    for (int i = 0; i < 1000; ++i) 
    { 
     TESTING("A\n"); 
     TESTING("B\n"); 
     TESTING("C\n"); 
    } 
} 

int main() 
{ 
    for (int i = 0; i < 5; ++i) 
     f(); 
    return 0; 
} 

напечатает

A 
B 
C 

но со статическим BOOL вне макроса, он будет печатать только

A