关于 C++中 type_name 关键字的理解与应用

今天在 Github 上有看到一个有趣的项目：dbg-macro。见名知意：其功能类似于一个 Debug 宏，但比较有趣的地方在于，其能够输出变成语句，以及相应的结果，而不需要我们通过printf等形式输出具体信息。以下是一个具体的例子：

#include <vector>
#include <dbg.h>

// You can use "dbg(..)" in expressions:
int factorial(int n) {
  if (dbg(n <= 1)) {
    return dbg(1);
  } else {
    return dbg(n * factorial(n - 1));
  }
}

int main() {
  std::string message = "hello";
  dbg(message);  // [example.cpp:15 (main)] message = "hello" (std::string)

  const int a = 2;
  const int b = dbg(3 * a) + 1;  // [example.cpp:18 (main)] 3 * a = 6 (int)

  std::vector<int> numbers{b, 13, 42};
  dbg(numbers);  // [example.cpp:21 (main)] numbers = {7, 13, 42} (size: 3) (std::vector<int>)

  dbg("this line is executed");  // [example.cpp:23 (main)] this line is executed

  factorial(4);

  return 0;
}

本人在查看源码的过程中，对于以下实现中的dbg_macro::type_name不太理解：

#define dbg(...)                                                     \
  dbg_macro::DebugOutput(__FILE__, __LINE__, __func__, #__VA_ARGS__) \
      .print(dbg_macro::type_name<decltype(__VA_ARGS__)>(), (__VA_ARGS__))

代码连接点这里

还往各位大神试点迷津。