c++ - 为什么这个 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是一种方法；我在另一个问题的回答中介绍了这种技术的变体。