<分区>
在 C++20 中，NTTP 扩展了新类型，这给我们带来了术语结构:
- 左值引用
- 整体
- 指针、指向成员的指针和空指针
- 枚举
- float
- 一个类，其中:所有基类和非静态数据成员都是公共(public)的和不可变的，并且数据成员和基类的类型也必须结构化递归(我猜)并且数组。
发件人:https://en.cppreference.com/w/cpp/language/template_parameters
这里有一个解决实现的方法，它不会简单地工作:
template <auto>
struct nttp_test {};
template <typename T, typename = void>
struct is_structural : std::false_type {};
template <typename T>
struct is_structural<T, std::void_t<nttp_test<T{}>>> : std::true_type {};
template <typename T>
inline constexpr bool is_structural_v = is_structural<T>::value;
我不完全确定这是否可行，但我担心默认初始化(我不能同时使用 std::declval)。
如果无法实现，是否涉及编译器魔术？