在 MSVC 中处理宏中的额外括号

Question

在某些情况下，您需要 (a) 有一个宏，该宏 (b) 在 (c) 语言不允许括号的情况下将其参数之一括起来。

简单示例：

#define MAKE_STRUCT(name, base) struct name : base { }

struct X { };
MAKE_STRUCT(Y, X);   // ok
MAKE_STRUCT(Z, (X)); // error

这是一个错误，因为我们需要一个类型名称并且我们得到(。 ecatmur 利用语言的其他部分确实允许额外的括号集这一事实，为此提供了一个巧妙的解决方法：

template<typename T> struct argument_type;
template<typename T, typename U> struct argument_type<T(U)> { typedef U type; };

#define MAKE_STRUCT(name, base) struct name : argument_type<void(base)>::type { }

struct X { };
MAKE_STRUCT(Y, X);   // ok
MAKE_STRUCT(Z, (X)); // ok

这可以在 gcc 和 clang 上编译，但不能在 MSVC 上编译。是否存在允许使用括号的特定于 MSVC 的技巧或适用于所有三个编译器的不同技巧？

这个可能带括号的类型通过几个宏传递 - 所以我不确定其他答案是否适用（这里的上下文是尝试使用 Catch2 的 TEST_CASE_METHOD() 将多个模板参数传递给夹具）。

Answer 1

因此，我想到了以下纯预处理器解决方案，该解决方案仅在括号存在时才去除括号。似乎可以在 vc++、g++ 和 clang++ 中工作，并且可能可以修改以处理多个级别的括号。

#define MAKE_STRUCT(name, base) struct name: EXPAND1(DEF base) {}
#define EXPAND1(param) EXPAND2(param)
#define EXPAND2(param) NO## param
#define DEF(param) DEF param
#define NODEF

struct X { };
MAKE_STRUCT(Y, X);   // ok
MAKE_STRUCT(Z, (X)); // ok

online compiler

Answer 2

不是很好的解决方案，但如果可以修改有问题的结构，并且只支持一级括号，这似乎可行：

struct tag {};

#define MAKE_STRUCT(name, base) struct name : \
  decltype(base(tag{})) { };

struct X {
     X(tag );
     X() = default;
};

MAKE_STRUCT(Y, X);   // ok
MAKE_STRUCT(Z, (X)); // ok