使用可变参数的宏

Question

请让我知道是否有办法在宏函数中使用变量参数并使下面的宏代码工作。

换句话说，有什么方法可以在 va_start 中使用局部变量。

typedef struct
{
    char *p1;
    char *p2;
    char *p3;
}Pointers;

#define NULLCHECK_VR(num, ...)                          \
        {                                               \
            va_list valist;                             \
            int     v_index;                            \
                                                        \
            va_start(valist, num);                      \
                                                        \
            for( v_index=0; v_index < num; v_index++)   \
            {                                           \
                if( NULL == va_arg(valist, void *))     \
                {                                       \
                    printf("NULL \n");                  \
                }                                       \
                else                                    \
                {                                       \
                    printf("NOT NULL \n");              \
                }                                       \
            }                                           \
                                                        \
            va_end(valist);                             \
        }

int main(void)
{
    Pointers ptr;

    memset(&ptr, 0, sizeof(Pointers));

    NULLCHECK_VR(3, ptr.p1, ptr.p2, ptr.p3)

    return (0);
}

Answer 1

您可能会使用常规功能：

void NULLCHECK_VR(int num, ...)
{
    va_list valist;
    int     v_index;

    va_start(valist, num);

    for( v_index=0; v_index < num; v_index++)
    {
        if( NULL == va_arg(valist, void *))
        {
            printf("NULL\n");
        }
        else
        {
            printf("NOT NULL\n");
        }
    }

    va_end(valist);
}

或在 C++ (17)

template <typename Ts>
void NULLCHECK_VR(const Ts*... ptrs)
{
    ((std::cout << (ptrs == nullptr ? "NULL\n" : "NOT NULL\n")), ...);
}

Answer 2

您不能使用va_list访问局部变量。 va_start 、 va_copy和va_end宏仅用于处理可变参数函数参数。 宏不是函数。

对于 C 可变参数宏，宏替换文本中的__VA_ARGS__标识符将扩展为可变参数，因此NULLCHECK_VR宏的可能实现如下：

#define NULLCHECK_VR(num, ...)                          \
    do {                                                \
        void *_ptrs[] = { __VA_ARGS__ };                \
        int _num = (num);                               \
        int v_index;                                    \
                                                        \
        for (v_index = 0; v_index < _num; v_index++)    \
        {                                               \
            if (NULL == _ptrs[v_index])                 \
            {                                           \
                printf("NULL \n");                      \
            }                                           \
            else                                        \
            {                                           \
                printf("NOT NULL \n");                  \
            }                                           \
        }                                               \
    } while (0)

此处， __VA_ARGS__已用于初始化本地_ptrs数组。

（我添加了局部变量_num以避免多次扩展num参数，并且我使用了do while (0)成语将块变成了语句。）