マクロ内の静的変数

Question

私はいくつかのコードを見ていて、全体のロジックがここで意味をなさないと思う。このようなマクロを持つのはかなり貧弱です。 例として、このマクロを2回使用して、両方の文字列を出力します。

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：または意図したように、多分それは仕事をしません。マクロ内の静的なブールでは、各呼び出しサイトはfirstPassフラグの独自のインスタンスを持つため、各呼び出しサイトはその出力を正確に1回出力します。マクロの外側にある静的なブールでは、到達する最初のコールサイトのみが出力され、最初に到達したときにのみ報告されます。

だから、マクロ内部の静的なブール値で、

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 

を印刷しますが、マクロ外の静的ブール値で、それは、はいのみ

A