template<typename… Types> using void_t=void

`void_t` 是一种在模板编程中常用的元编程技术，它是由C++11标准引入的。`void_t` 的主要作用是检测模板参数中的类型特性，比如类型是否支持某个操作或者是否是一个完整类型等。它通过利用SFINAE（Substitution Failure Is Not An Error）原则，来在编译时进行条件检查。

`template<typename… Types> using void_t=void` 这行代码定义了一个名为`void_t`的类型别名模板，它接受任意数量的类型参数，但其本身并不依赖于这些类型参数。`void_t`总是等价于`void`类型。这个定义本身看似无用，但结合SFINAE原则，它就可以在模板实例化过程中发挥作用。

例如，如果我们想检查一个类型是否具有`data`成员，我们可以定义一个`void_t`的特化版本，如下所示：

template <typename, typename = std::void_t<>>
struct has_data : std::false_type {};

template <typename T>
struct has_data<T, std::void_t<decltype(T::data)>> : std::true_type {};

在这个例子中，第一个模板是一个通用的结构体，它继承自`std::false_type`。第二个模板特化了一个`has_data`结构体，它依赖于`std::void_t`和`decltype`来检查`T::data`是否存在。如果`T::data`存在，则`decltype`会推导出一个类型，使得`std::void_t`有有效的参数，这样第二个特化版本就会被实例化，从而使得`has_data<T>`继承自`std::true_type`。如果`T::data`不存在，则由于SFINAE原则，这个特化版本会被忽略，不会产生编译错误，而第一个通用版本会被实例化。