複数行からなる、プリプロセッサを含むマクロを書く方法を教えて下さい。

Question

現在、Visual Studio 2015を使用してC++言語で開発しています。

その際、自前のマクロを定義したいのですが、その中にプリプロセッサを含めたいと考えています。

現在のコードです（一部簡略化して書いてあります）。

#define ASSERT( C, M ) if( !C ) { fprintf( stderr, "%s", M ); exit( 0 ); }

これを、マクロが次の様に展開（置換）される様にしたいです。

#pragma warning(push)
#pragma warning(disable:4127)
if( !C ) { fprintf( stderr, "%s", M ); exit( 0 ); }
#pragma warning(pop)

理由としましては、constなメンバ変数同士の大小関係等をASSERT()マクロでチェックしたいのですが、現在のコードではC4127警告が発生してしまうからです。

Answer 1

こんにちは。

BA出てますが、補足します。
まず、otnさんも回答されている通り、残念ながらマクロの中にはプリプロセッサ文を書くことは不可能です。
次に#pragmaをマクロの中に書きたいというリクエストはそこそこあり、C++11以降にて正にその目的でPragma演算子が定義されています。
VC++は微妙に異なりますが同様な機能を実装しています。__Pragma キーワード
VC++ 2015以降はC++11対応がかなり進んでいますのでPragma演算子も使えるかもしれません。

Comments

[rtr1950x]

回答ありがとうございます。
当面はotnさんの解決方法で行けそうなのでそちらで対処しますが、Pragma演算子が必要になったら使わせて頂きます。

Answer 2

マクロ定義の中で、#は別の意味を持ちますので、無理だと思います。
警告は気にしなければ良いのでは？

思いつきですが、

int not(int x) { return !x; }

を定義しておいて、

#define ASSERT( C, M ) if( not(C) ) { fprintf( stderr, "%s", M ); exit( 0 ); }

とするとか。

Comments

[rtr1950x]

なるほど！ 「!Cを関数とする事で、コンパイル時に定数条件式か判断出来なくする」という手法ですね。
無事警告が出なくなりましたので、採用させて頂きます。
この度は、ご回答ありがとうございました。

[otn]

なお元のマクロは、if( !(C) ) と括弧を付けるべきです。
ASSERT( 1==2, "ERROR")
だとだめ。

[rtr1950x]

あ、すいません。元のソースから質問文に書き写す際に、括弧を付けるのを忘れていました。
ご指摘ありがとうございます。