解压可变参数模板的结果 - Visual Studio 2019 CE

Question

出于调试目的，我想查看在 c++ 中解压缩可变参数模板的结果。在VS中无论如何都可能吗？

//variadic template
template<class ... Ts>
void foo(Ts...args)
{
//...some code 
auto x = bar(args..);
}
    
//client code:
foo(std::string("123"),int(4),5.6f);

我认为代码生成的结果会被解压成这样的：

void foo<std::string, int, float>(std::string args1, int args2, float args3)
{
//...some code 
auto x = bar(args1,args2,args3);
}

但如果它更难一点，谁知道它会解压成什么？ :) 在尝试找到它之前，我认为如果在 VS 中将“属性->C/C++->预处理器->预处理到文件”切换为“是”，它将在预处理期间生成，我们可以看到这一点。但不是，在这个阶段它只适用于标题，#incldude's #define's ... 问题是如何查看解包参数包代码生成的结果？这段代码是否以可读的形式存在？或者结果翻译成二进制和*.exe文件？

Answer 1

你可以做的是一种静态印刷。

静态打印将停止编译并显示参数的错误

template <typename...> 
struct TParamViewer;

#define DEBUG_PRINT

#ifdef DEBUG_PRINT
#define VIEW_TPL_PARAMS(index, params) TParamViewer<params> td##index;
#else
#define VIEW_TPL_PARAMS(index, params)
#endif

//variadic template
template<class ... Ts>
void foo(Ts...args)
{
    VIEW_TPL_PARAMS(0, Ts...);
}

静态打印会显示警告并显示参数

在这里，我们向查看器类添加一个定义，该类将显示一个警告，显示模板参数。

template <typename...> 
struct TParamViewer {
    bool i = 10;
};

所有这些解决方案都是把戏。在 gcc 中，有一个 proposed patch 用于正确的调试打印。

问候，