与VC++中的std::void_t意外匹配的模板

与VC++中的std::void_t意外匹配的模板是指在使用模板元编程时，当我们希望根据某个条件来选择不同的模板实例化方式时，可能会遇到与std::void_t不匹配的情况。

std::void_t是C++17引入的一个类型工具，它可以将任意类型转换为void。在模板元编程中，我们可以利用std::void_t来进行类型推断和SFINAE（Substitution Failure Is Not An Error）。

当我们希望根据某个条件来选择不同的模板实例化方式时，可以使用std::void_t来判断条件是否成立。如果条件成立，那么std::void_t<T>会匹配成功，否则会匹配失败。

然而，有时候我们可能会遇到std::void_t意外匹配的情况。这通常是因为在模板参数推断过程中，编译器会根据一定的规则进行类型转换和匹配，可能会导致std::void_t匹配成功，而我们并不希望它匹配成功。

为了解决这个问题，我们可以使用其他的技巧来避免std::void_t意外匹配。例如，可以使用std::enable_if来进行条件判断，或者使用其他的类型工具来替代std::void_t。

总结一下，与VC++中的std::void_t意外匹配的模板是指在模板元编程中，由于编译器的类型推断规则，导致std::void_t匹配成功，而我们并不希望它匹配成功的情况。为了避免这种情况，我们可以使用其他的技巧来进行条件判断和类型推断。