为什么这个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

这是VisualC++预处理器中的一个bug的解决方案。在某些上下文中，它无法正确地展开逗号分隔的令牌序列。

在PP_ARG_COUNT2中，当在调用PP_ARG_POPER时将__VA_ARGS__作为单个参数处理，从而导致不正确的结果。

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