如何制作用于定义函数 typedef 的 C 宏？

Question

我想拿这个：

typedef int (*PTR_FUN)(int);
typedef int (*PTR_FUN_FUN)(PTR_FUN, PTR_FUN);

并像这样定义它：

MAKE_FUNCTION_TYPE(PTR_FUN, int, int);
MAKE_FUNCTION_TYPE(PTR_FUN_FUN, PTR_FUN, PTR_FUN, int);

...其中参数的数量是动态的，最后一个参数是返回类型。

如果无法将最后一个 arg 作为返回类型，则作为第二个 arg。

Answer 1

你想要的是一个可变参数宏，它可以接受任意数量的参数。 语法是#define MACRO(fixedarg1, fixedarg2, ...) 。 在宏的主体中，您只需使用__VA_ARGS__来引用所有变量参数。

不幸的是，您不能将最后一个 arg 设为返回类型，因为您必须统一处理整个变量参数块，并且它们必须放在最后。 但是，您可以非常轻松地将第二个 arg 设为返回类型：

#define MAKE_FUNCTION_TYPE(name, ret, ...) typedef ret (*name)(__VA_ARGS__)

MAKE_FUNCTION_TYPE(v_i, int);
MAKE_FUNCTION_TYPE(i_v, void, int);
MAKE_FUNCTION_TYPE(ii_cp, char *, int, int);

这相当于

typedef int (*v_i)();
typedef void (*i_v)(int);
typedef char * (*ii_cp)(int, int);

您可以使用cc -E进行检查。

Answer 2

如果您真的希望最后返回类型，那很复杂，但是Boost.Preprocessor （适用于 C 和 C++）可以帮助做到这一点：

#include <boost/preprocessor/tuple.hpp>
#include <boost/preprocessor/variadic.hpp>
#include <boost/preprocessor/control/if.hpp>
#include <boost/preprocessor/comparison/greater.hpp>

#define PP_VARIADIC_BACK(...) \
  BOOST_PP_TUPLE_ELEM(BOOST_PP_DEC(BOOST_PP_VARIADIC_SIZE(__VA_ARGS__)), \
    BOOST_PP_VARIADIC_TO_TUPLE(__VA_ARGS__))
#define PP_VARIADIC_POP_BACK(...) \
  BOOST_PP_IF(BOOST_PP_GREATER(BOOST_PP_VARIADIC_SIZE(__VA_ARGS__), 1), \
    BOOST_PP_TUPLE_POP_BACK(BOOST_PP_VARIADIC_TO_TUPLE(__VA_ARGS__)), \
    (void))

#define MAKE_FUNCTION_TYPE(name, ...) \
  typedef PP_VARIADIC_BACK(__VA_ARGS__) (*name) PP_VARIADIC_POP_BACK(__VA_ARGS__)

辅助宏PP_VARIADIC_BACK需要至少一个参数并产生最后一个参数。 辅助宏PP_VARIADIC_POP_BACK至少需要一个参数。 当它获得多个参数时，它会导致括号中包含除最后一个参数以外的所有参数的逗号分隔列表。 当它得到一个参数时，它会产生文本(void) 。

然后可以将它们与typedef和(*name)部分放在一起。 最后一个分号被省略，因为您的示例使用在宏之后提供一个分号。

在coliru 上的示例预处理器输出。