是否可以使用强制编译器错误扩展 typedef？

Question

我一直在使用下面显示的方法来强制编译器对我大喊变量类型：

template <class T>
struct show_type;

将它与所需的变量一起使用，因此编译器会出错一个不完整的结构类型：

typedef int32_t s32;
s32 a;
show_type<decltype(a)>();

所以 GCC 5.3.0 产生错误：

不完整类型'struct show_type<int>'的使用无效

和 MSVC 2015：

'show_type<s32>': 没有合适的默认构造函数可用

现在我想知道是否有办法强制错误显示typedefs（即s32 -> int32_t -> int）的完整层次结构，或者至少是最新的typedef 和第一个原始类型？我不介意肮脏或邪恶的把戏。

Answer 1

现在我想知道是否有办法强制错误显示 typedef 的完整层次结构（即s32 -> int32_t -> int），或者至少是最新的 typedef 和第一个原始类型？

没有这样的层次结构。 s32 是 int32_t 是 int。没有办法区分这三种类型，因为它们实际上不是三种不同的类型。其中两个只是别名。

---

您真正需要的是静态反射，或P0194。这将允许您执行以下操作：

using meta_s32   = reflexpr(s32);
using meta_int32 = meta::get_aliased_t<meta_s32>;
using meta_int   = meta::get_aliased_t<meta_int32>;
std::cout << meta::get_name_v<meta_s32> << ", "
          << meta::get_name_v<meta_int32> << ", "
          << meta::get_name_v<meta_int> << '\n';

您可以通过反复向上使用get_aliased_t 并在is_alias_v 产生false_type 时停止来生成反射层次结构。