为什么这个PP_ARG_COUNT宏需要一个PP_EXPAND？

Question

#include <type_traits>
#include <iostream>

using namespace std;

// Expand
#define PP_EXPAND(X) X

// Counter Arguments count
#define PP_ARG_COUNT(...) PP_EXPAND( PP_ARG_POPER(__VA_ARGS__, 5, 4, 3, 2, 1, 0) )
#define PP_ARG_COUNT2(...) PP_ARG_POPER(__VA_ARGS__, 5, 4, 3, 2, 1, 0)
#define PP_ARG_POPER(_1, _2, _3, _4, _5, N, ...) N

int main()
{
    cout << PP_ARG_COUNT(1, 2, int) << endl;
    cout << PP_ARG_COUNT2(1, 2, int) << endl;
    cout << PP_ARG_POPER(1, 2, int, 5, 4, 3, 2, 1 0) << endl;

    return 0;
}

我在visual studio 2013下编译了这段代码，输出：

3
1
3

为什么这个宏需要PP_EXPAND，而PP_ARG_COUNT2不能正常工作？

Answer 1

这是Visual C ++预处理器中的错误的解决方法。它在某些上下文中错误地无法扩展逗号分隔的标记序列。

在PP_ARG_COUNT2中，__VA_ARGS__在调用PP_ARG_POPER时被视为单个参数，导致错误的结果。

此问题最常见的解决方法是引入一个额外的间接层，强制编译器重新评估逗号分隔的标记序列。这里使用的技术PP_ARG_COUNT通过EXPAND调用是一种方法;我在an answer to another question中介绍了这种技术的变体。