テンプレートとマクロの組み合わせでカンマが区切り判定になる

Question

とあるマクロを作ろうとしたときに、テンプレートを絡ませていました。
その際に、複数の型を指定するときのカンマがマクロの区切りとして判定されてしまいます。

#include <type_traits>

#define STATIC_ASSERT_MACRO(COND) \
  static_assert(COND);

STATIC_ASSERT_MACRO(std::is_same_v<int, int>);

int main()
{
  return 0;
}

"std::is_same_v<int,int>"がCONDではなく、
"std::is_same_v<int"がCONDで、
上の場合は存在しませんがint>が第二引数扱いになります。

複数の型を指定するテンプレートをマクロで正常に渡す方法はありますか？
渡せない場合は、どのようにすれば解決するでしょうか？

Answer 1

マクロを呼び出す側でひとつ余計に括弧で囲むという方法がよく知られています。

STATIC_ASSERT_MACRO((std::is_same_v<int, int>));

不格好ですが、マクロを使うという前提を崩さないのであればこれ以上の解はないと思います。

Answer 2

複数の型を指定するテンプレートをマクロで正常に渡す方法はありますか？

__VA_ARGS__が利用できます。

#define STATIC_ASSERT_MACRO(...) \
  static_assert(__VA_ARGS__);

STATIC_ASSERT_MACRO(std::is_same_v<int, int>)

Answer 3

テンプレートをうまく使えば、マクロでないと困る事例はC言語より大分少ないはずです
オーバーヘッドが気になるなら、inlineをつけた関数にするのがいいと思います

それでもマクロが必要なら、一旦変数に入れたり、typedefで定義したりして、
マクロにカンマが入らないようにします

auto result = std::is_same_v<int, int>;
STATIC_ASSERT_MACRO(result);

typedef std::map<int, int> intmap;
MACRO(intmap);

Comments

[saki_chan]

書いていなくて申し訳ないですが、今回質問した理由は、ライブラリの静的エラーチェックのマクロを作成するためです。
その際に少し特殊ですが、
```
#define MACRO(REQUIRE) static_assert(std::is_same_v<REQUIRE, decltype(nullptr)>)
```
と書かなければいけない仕様になっています。
REQUIREの部分にstd::enable_if_t<Cond,std::nullptr_t>を入れたいというような感じです。
そして、できれば一行で書きたいので、型エイリアス等をあまり使用したくはありません。
ですので、マクロで渡す方法がないか、と思い質問しました。