在可变参数宏中找出 __VA_ARGS__ 的类型

Question

假设我有一个可变参数宏（例如，MY_MACRO(...)），我将其称为以下方式：

MY_MACRO(std::pair<int, int> const &p)

现在，我的宏正文中的__VA_ARGS__ 将是std::pair<int, int> const &p。

有没有办法找出__VA_ARGS__ 的类型？

大概，如果decltype(std::pair<int, int> const &p) 之类的东西可以工作并产生std::pair<int, int> const&，我将不胜感激，所以在我的可变参数宏的主体中decltype(__VA_ARGS__) 也会产生std::pair<int, int> const&。不幸的是，这不起作用。

Answer 1

您可以使用__VA_ARGS__ 作为 lambda 参数，然后将该 lambda 转换为函数指针并提取参数类型：

template <typename T> struct func_param {};
template <typename T> struct func_param<void(*)(T)> {using type = T;};

#define FOO(...) \
    do \
    { \
        auto lambda = +[]([[maybe_unused]] __VA_ARGS__) {}; \
        using type = func_param<decltype(lambda)>::type; \
        /* Do something with `type`. */\
    } \
    while (0);