c++ - 翻转 MACRO(X)(Y) 中 X 和 Y 的顺序

Question

我有一个基于 C++ 宏的 DSL，它定义了这样一个宏:

#define RETURNS(...) \
    enable_if_t<__VA_ARGS__ WHEN

#define WHEN(...) \
    , EAT_ ## __VA_ARGS__ >

#define EAT_requires

这是为了像这样使用:

template<class T>
auto some_function(T t) ->
    RETURNS(int)
        (requires SomeConcept<T>)

扩展为:

template<class T>
auto some_function(T t) ->
    enable_if_t<int, SomeConcept<T>>

(启用 C++20 概念时，这会扩展为真正的 requires 子句。)

我希望翻转参数的顺序。也就是说，我希望它生成这个:

template<class T>
auto some_function(T t) ->
    enable_if_t<SomeConcept<T>, int>

我认为这是不可能的。一些聪明的 PP 黑客能证明我错了吗？

Answer 1

如果省略一个左括号是可以容忍的，你可以这样实现:

#define UNWRAP(...) __VA_ARGS__

#define RETURNS(...) \
    WHEN ((__VA_ARGS__),

#define WHEN(x, ...) \
    enable_if_t<EAT_ ## __VA_ARGS__, UNWRAP x>

#define EAT_requires

template<class T>
auto some_function(T t) ->
    RETURNS(pair<int, int>)
        requires SomeConcept<T, int>)

输入:

template<class T>
auto some_function(T t) ->
    RETURNS(pair<int, int>)
        requires SomeConcept<T, int>)

输出:

template<class T>
auto some_function(T t) ->
    enable_if_t< SomeConcept<T, int>, pair<int, int> >