std::is_void_v

`std::is_void_v` 是 C++ 标准库中的一种辅助工具，它是一个 `constexpr` 变量模板，用于判断给定类型的是否为 `void` 类型。`is_void_v` 的作用类似于一个布尔常量，如果 `type` 等价于 `void`（即没有 cv-qualifiers），则 `is_void_v<type>` 返回 `true`，否则返回 `false`。

举个例子来说明如何使用 `std::is_void_v`：

template <typename T>
struct MyStruct {
    // ...
};

// 检查MyStruct 是否为void类型
static_assert(!std::is_void_v<MyStruct<int>>, "MyStruct is not a void type");  // 成立，因为MyStruct不是void

// 检查void类型
static_assert(std::is_void_v<void>, "void should be considered as a void type");  // 成立，因为void就是void类型

// 使用if constexpr 判断并根据类型执行不同操作
if constexpr (std::is_void_v<T>) {
    // 对void类型的处理
} else {
    // 对非void类型的处理
}

这个特性通常用于模板元编程，尤其是在编译时条件语句 (`if constexpr`) 中，可以根据类型是否为 `void` 来决定代码路径。